Neuresa Workshop

A full-day of presentations and discussions about the project "Neuro-Symbolic Reasoning for Embedded System Architectures Design" (NEURESA) in cooperation with Cognifyer.

Schedule

Thursday 9 July 2026 in MNO 1.040. The breakfast and coffee are provided by Jolt, as well as the afternoon coffee and pastries.

  • Morning session:

    • From 09:00: Breakfast and coffee.
    • 09:25-09:30: Pierre Talbot, "Welcome Speech".
    • 09:30-10:00: Hasan Hakan, "Towards Distributed Constraint Solving with CRDT", CP/SAT doctoral program.
    • 10:00-10:30: Manuel Combarro, "Combining an ϵ-Constraint Method with the Pareto Global Constraint", CP 2026.
    • 10:30-11:00: Wei Huang, "Toward Faster Constraint Propagation on GPU", MHPC Master thesis.
    • 11:00-11:30: Anisa Meta, "Equality Abstract Domain Accelerated on GPU", MHPC Master thesis.

  • Afternoon session:

    • 13:00: Coffee and pastries.
    • 13:30-14:30: Invited Talk: Mohand Mezmaz, "Language Models as Optimizers: Towards a Framework for Combinatorial Optimization".
    • 14:30-15:00: Patrick Keller, "Presentation of Cognifyer".
    • 15:00-15:30: Clement Poncelet, "A First Prototype Involving Turbo for Solving LLM-Driven Generated Constraints? ".
    • 15:30-15:45: break.
    • 15:45-16:00: Wenbo Han, "How Many Cycles to Access L1 and Shared Memory on NVIDIA GPUs?".
    • 16:00-16:30: Frédéric Pinel, "Designing a Parallel Fixpoint Algorithm for Breadth-First Search".
    • 16:30-17:00: Pierre Talbot, "Towards Turbo 1.3".

Sponsors

  • This project is supported by the Luxembourg National Research Fund (FNR), project AI-HPC BRIDGES 2025/IS/19833538/NEURESA, 2026-2029, PI: Pierre Talbot.
  • This project is supported by EuroHPC Development Access Call/EPICURE, project "Parallel Fixpoint-Oriented Programming", PI: Pierre Talbot.