EasyChair Smart CFPHelp/Log in
All CFPs for "automata"

CFPs in the table are ordered by the end date.

Click on the CFP acronym to open this CFP.

To add a CFP to your watchlist, click .

Click on a topic to see related CFPs.

CFPs are ordered by the end date.

Acronym
NameLocation
Submission
deadline
Start date
TopicsAdd to watchlist
ICALP 2020The 47th International Colloquium on Automata, Languages and ProgrammingSaarbrücken, GermanyFeb 18, 2020Jul 8, 2020algorithmic game theory computational complexity automata programming languageadd ICALP 2020 to watchlist
WAS-ESSLLI20Workshop on Automated SynthesisUtrecht, NetherlandsApr 9, 2020Aug 3, 2020logic games automata synthesisadd WAS-ESSLLI20 to watchlist
Highlights 2020Highlights of Logic, Games and Automata 2020Aachen, GermanyJun 5, 2020Sep 14, 2020logic automata gamesadd Highlights 2020 to watchlist
GandALF 2020The Eleventh International Symposium on Games, Automata, Logics, and Formal VerificationBruxelles, BelgiumJun 15, 2020Sep 21, 2020theoretical computer science automata games logicadd GandALF 2020 to watchlist
Copyright © 2002 – 2020 EasyChair