Research and Exchange Days

Abstract

A two-day plenary session of the Automata and Applications team dedicated to scientific presentations and discussions.

Program

24/6 : Amphi 0

  • 13h30 Intro / discussion
  • 14h30 Alexandre: Engineering an LTLf synthesis tool
  • 15h15 Pause
  • 15h45 Mazigh: D-Painless: A Framework for Distributed Portfolio SAT Solving
  • 16h30 Open whiteboard session
  • 18h00 Discussions
  • 18h30 End
  • 19h30 Butte aux Cailles

25/6 : Amphi 2

  • 9h00 Welcome / discussions
  • 9h30 Enzo: Expressivity of Linear Temporal Logic for Pomset Languages of Higher Dimensional Automata
  • 10h15 Laetitia: Communicating automata
  • 11h00 Ghiles: An Efficient and Uniform CSP Solution Generator Generator
  • 11h45 Discussions
  • 12h30 End

Speakers

Alexandre Duret-Lutz

Team - Automata and Applications

Mazigh Saoudi

Team - Automata and Applications

Enzo Erlich

Team - Automata and Applications

Laetitia Laversa

Team - Automata and Applications

Ghiles Ziat

Team - Automata and Applications