Transforming IP=PSPACE: Practical Interactive Certification for BDD Algorithms 🚀

Workshop on Automata, Concurrency and Timed Systems (ACTS 2023),
30 May – 2 June 2023

Talk by- Javier Esparza

Seminar Objective: ACTS2023 is the sixth edition of the Workshop on Automata, Concurrency, and Timed Systems. The workshop series emerged from a long-standing Indo-French cooperation in the areas of:

-Automata and Logic: automata theory and formal languages, modal and temporal logics, model-checking, infinite state systems, probabilistic and weighted models, finite model-theory and games.

-Concurrency Theory: models of concurrency, concurrent programming languages, program analysis and verification of concurrent systems.

-Timed Systems: automata and logics for the analysis of timed and hybrid systems.


This seminar is supported by the Indo-French Centre for the Promotion of Advanced Research (IFCPAR/CEFIPRA), a bilateral organization set up by the Department of Science and Technology (DST) of the Government of India, and the Ministry for Europe & Foreign Affairs, Government of France to enhance international collaborative research in the field of Science &Technology.

For more details, kindly visit: http://www.cefipra.org/

Follow us:
Twitter: https://twitter.com/IFCPAR
Facebook: https://www.facebook.com/CEFIPRA
Instagram: https://www.instagram.com/cefipra/
Linkedin: https://www.linkedin.com/company/cefi...


Indo-French Centre for the Promotion of Advanced Research (IFCPAR/CEFIPRA), a bilateral organisation set up by Government of India and Government of France is a model for international collaborative research in advanced areas of Science &Technology. The Centre was established in 1987 and is being supported by Department of Science & Technology, Government of India and the Ministry for Europe & Foreign Affairs, Government of France .

Reach us for any query:
Indo-French Centre for the Promotion of Advanced Research (IFCPAR/CEFIPRA)
5B, Ground Floor,
India Habitat Centre, Lodhi Road,
New Delhi - 110003
India
Mail ID - contact.ifcpar@cefipra.org
PBAX lines: (+91-11) 2468 2251 /2468 2252