Autobóz 2023

Mon, 01 Jan 0001 00:00:00 +0000

Autobóz

Autobóz is a yearly week-long invitational research camp on Logic, Automata, and Games.

In 2023, Autobóz will take place at the Seminarhaus in the Hessische Staatsdomäne Frankenhausen the week between ICALP and Highlights. Indeed, Autobóz is excited to partnership with Highlights as part of the Highlights Collaborative Research Week.

We have solicited expert tutorials on topics as diverse as: Circuit Verification using Computer Algebra, Logic and Automta for message-passing systems, Decision Problems for Linear Recurrence Sequences, and Weak Memory Models in Concurrency.

Daniela Kaufmann (TU Wien, Austria) - Circuit Verification using Computer Algebra George Kenison (TU Wien, Austria) - Decision Problems for Linear Recurrence Sequences Krishna S (IIT Bombay, India) - On weak memory models in concurrency Marie Fortin (CNRS, France) - Logic and automata for message-passing systems

Organisers

George Kenison (TU Wien)
Mahsa Shirmohammadi (CNRS, Paris)
Klara Nosan (IRIF, Paris)

Acknowledgements

We gratefully acknowledge the financial support of both the CNRS and the ANR via the International Emerging Actions grant (IEA'22) and the VeSyAM grant (ANR-22-CE48-0005), respectively.

Research | George Kenison

Autobóz 2023

Autobóz

Organisers

Acknowledgements