Conferences / Workshops

TitleDate / PlaceSubmission
2014
AlMoTh
Workshop on Algorithmic Model Theory
Feb 20-21
Kassel, Germany
 
STACS
Symposium on Theoretical Aspects of Computer Science
Mar 5-8
Lyon, France
Sep 20, 2013
ICDT
Int. Conference on Database Theory
Mar 24-28
Athens, Greece
Aug 23, 2013
ETAPS
European Joint Conferences on Theory and Practice of Software
Apr 5-13
Grenoble, France
Oct 11, 2013
FOSSACS
Foundations of Software Science and Computation Structures (collocated with ETAPS 2014)
Apr 5-13
Grenoble, France
Oct 11, 2013
TACAS
Tools and Algorithms for the Construction and Analysis of Systems (collocated with ETAPS 2014)
Apr 5-13
Grenoble, France
Oct 11, 2013
FM
Int. Symposium on Formal Methods
May 12-16
Singapore
Nov 14, 2013
AFL
Int. Conference on Automata and Formal Languages
May 27-29
Szeged, Hungary
Mar 14
STOC
Annual ACM Symposium on Theory of Computing
May 31 - Jun 3
New York, USA
Nov 11, 2013
CSR
Computer Science Symposium in Russia
Jun 6-12
Moscow, Russia
Dec 9, 2013
CiE
Computability in Europe
Jun 23-28
Budapest, Hungary
 
ICALP
Int. Colloquium on Automata, Languages, and Programming
Jul 7-11
Copenhagen, Denmark
Feb 14
FLoC
Federated Logic Conference
Jul 9-24
Vienna, Austria
 
LCC
Int. Workshop on Logic and Computational Complexity
Jul 12-13
Vienna, Austria
May 2
RTA
Rewriting Techniques and Applications
Jul 14-17
Vienna, Austria
 
CSL
Computer Science Logic
Jul 14-18
Vienna, Austria
Jan 20
LICS
IEEE Symposium on Logic in Computer Science
Jul 14-18
Vienna, Austria
Jan 20
CAV
Computer-Aided Verification
Jul 18-22
Vienna, Austria
 
CADE
International Conference on Automated Deduction
Jul 19-22
Vienna, Austria
Jan 15
IJCAR
Int. Joint Conference on Automated Reasoning
Jul 19-22
Vienna, Austria
Jan 15
CIAA
Conference on Implementation and Application of Automata
Jul 30 - Aug 2
Gießen, Germany
 
DCFS
Descriptional Complexity of Formal Systems
Aug 5-8
Turku, Finland
Apr 11
ESSLLI
European Summer School in Logic, Language and Information
Aug 11-22
Tübingen, Germany
Jun 15
MFCS
Mathematical Foundations of Computer Science
Aug 25-29
Budapest, Hungary
 
DLT
Developments in Language Theory
Aug 26-29
Ekaterinburg, Russia
Mar 17
CONCUR
Int. Conference on Concurrency Theory
Sep 1-6
Rome, Italy
Apr 19
GandALF
Games, Automata, Logics and Formal Verification
Sep 10-12
Verona, Italy
May 25
AVoCS
Int. Workshop on Automated Verification of Critical Systems
Sep 24-26
Enschede, Netherlands
Jun 23
ATVA
Int. Symposium on Automated Technology for Verification and Analysis
Nov 3-7
Sydney, Australia
Apr 14
 
2015
ETAPS
European Joint Conferences on Theory and Practice of Software
Apr 11-19
London, UK