Making IP=PSPACE practical: Efficient Interactive Certification of 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