Frühere Konferenzen / Workshops

TitelDatum / OrtSubmission
2013
ISAAC
Int. Symposium on Algorithms and Computation
Dec 16-18
Hong Kong
Jun 15
FSTTCS
Foundations of Software Technology and Theoretical Computer Science
Dec 10-14
Guwahati, India
Jul 15
FOCS
IEEE Symposium on Foundations of Computer Science
Oct 27-28
Berkeley, USA
Apr 3
AlgoSyn
AlgoSyn Fall School
Oct 23-25
Aachen, Germany
 
SAGT
Int. Symposium on Algorithmic Game Theory
Oct 21-23
Aachen, Germany
Mar 22
ATVA
Int. Symposium on Automated Technology for Verification and Analysis
Oct 15-18
Hanoi, Vietnam
Apr 6
Highlights
Highlights of Logic, Games and Automata
Sep 18-21
Paris, France
Jun 20
AVoCS
Int. Workshop on Automated Verification of Critical Systems
Sep 11-13
Guildford, UK
Jun 7
ICTAC
Int. Colloquium on Theoretical Aspects of Computing
Sep 4-6
Shanghai, China
Mar 22
CSL
Computer Science Logic
Sep 2-5
Turin, Italy
Apr 15
GandALF
Games, Automata, Logics and Formal Verification
Aug 29-31
Borca di Cadore, Italy
May 19
CONCUR
Int. Conference on Concurrency Theory
Aug 27-30
Buenos Aires, Argentina
Apr 8
MFCS
Mathematical Foundations of Computer Science
Aug 26-30
Vienna, Austria
Apr 19
ESSLLI
European Summer School in Logic, Language and Information
Aug 5-16
Düsseldorf, Germany
Feb 22
GIGA
General Intelligence in Game-Playing Agents
Aug 3-5
Bijing, China
Apr 20
DCFS
Descriptional Complexity of Formal Systems
Jul 22-25
London, Canada
Mar 20
CIAA
Conference on Implementation and Application of Automata
Jul 16-19
Halifax, Canada
Mar 17
CAV
Computer-Aided Verification
Jul 13-19
Saint Petersburg, Russia
Jan 15
ICALP
Int. Colloquium on Automata, Languages, and Programming
Jul 8-12
Riga, Latvia
Feb 15
CiE
Computability in Europe
Jul 1-5
Milan, Italy
Feb 2
CSR
Computer Science Symposium in Russia
Jun 25-29
Ekaterinburg, Russia
Dec 11, 2012
LICS
IEEE Symposium on Logic in Computer Science
Jun 25-28
New Orleans, USA
Jan 14
RTA
Rewriting Techniques and Applications
Jun 23-28
Eindhoven, Netherlands
 
DLT
Developments in Language Theory
Jun 18-21
Paris, France
Jan 22
CADE
International Conference on Automated Deduction
Jun 9-14
Lake Placid, USA
Jan 21
Nordic Spring School
Nordic Spring School in Logic
May 27-31
Nordfjordeid, Norway
 
STOC
Annual ACM Symposium on Theory of Computing
May 1-4
Palo Alto, USA
Nov 5, 2012
ICDT
Int. Conference on Database Theory
Mar 18-22
Genoa, Italy
Aug 24, 2012
FOSSACS
Foundations of Software Science and Computation Structures (collocated with ETAPS 2013)
Mar 16-24
Rome, Italy
Oct 14, 2012
ETAPS
European Joint Conferences on Theory and Practice of Software
Mar 16-24
Rome, Italy
Oct 14, 2012
SR
Workshop on Strategic Reasoning
Mar 16-17
Rome, Italy
Dec 27, 2012
STACS
Symposium on Theoretical Aspects of Computer Science
Feb 27 - Mar 2
Kiel, Germany
Sep 21, 2012
AlMoTh
Workshop on Algorithmic Model Theory
Feb 25-26
Berlin, Germany
 
GAMES Winter School
Games for Design and Verification
Feb 4-8
Champéry, Switzerland
 
ICLA
Indian Conference on Logic and its Applications
Jan 10-12
Chennai, India
Aug 13, 2012
TARK
Theoretical Aspects of Rationality and Knowledge
Jan 7-9
Chennai, India
Sep 3, 2012
 
2012
ISAAC
Int. Symposium on Algorithms and Computation
Dec 19-21
Taipei, Taiwan
Jun 22
FSTTCS
Foundations of Software Technology and Theoretical Computer Science
Dec 15-17
Hyderabad, India
Jul 13
MOVEP
Modelling and Verifying parallel Processes
Dec 3-7
Marseille France
Oct 19
FOCS
IEEE Symposium on Foundations of Computer Science
Oct 20-23
New Brunswick, NJ, USA
 
ATVA
Int. Symposium on Automated Technology for Verification and Analysis
Oct 3-6
Trivandrum, India
Apr 30
ICTAC
Int. Colloquium on Theoretical Aspects of Computing
Sep 24-27
Bangalore, India
Apr 16
SBMF
Brazilian Symposium on Formal Methods
Sep 23-28
Natal, Brazil
May 14
RP
Workshop on Reachability Problems
Sep 17-19
Bordeaux, France
Aug 12
CL
Colloquium Logicum
Sep 13-15
Paderborn, Germany
Jul 15
AVoCS
Int. Workshop on Automated Verification of Critical Systems
Sep 12-15
Bamberg, Germany
 
JM
Journées Montoises d'Informatique Théorique
Sep 11-14
Louvain, Belgium
Jun 3
GandALF
Games, Automata, Logics and Formal Verification
Sep 6-8
Naples, Italy
May 22
CONCUR
Int. Conference on Concurrency Theory
Sep 3-8
Newcastle upon Tyne, UK
Apr 11
CSL
Computer Science Logic
Sep 3-6
Fontainebleau, France
Apr 2
EXPRESS
Int. Workshop on Expressiveness in Concurrency (collocated with CONCUR 2012)
Sep 3
Newcastle upon Tyne, UK
Jun 8
GASICS
Workshop on Games for Design, Verification and Synthesis (collocated with CONCUR 2012)
Sep 3
Newcastle upon Tyne, UK
 
MFCS
Mathematical Foundations of Computer Science
Aug 27-31
Bratislava, Slovakia
Apr 23
FM
Int. Symposium on Formal Methods Europe Symposium
Aug 27-31
Paris, France
Mar 5
INFINITY
Int. Workshop on Verification of Infinite-State Systems (co-located with FM 2012)
Aug 27
Paris, France
May 15
NCMA
Int. Workshop on Non-Classical Models of Automata and Applications
Aug 23-24
Fribourg, Switzerland
May 13
NCMA
Int. Workshop on Non-Classical Models of Automata and Applications
Aug 23-24
Fribourg, Switzerland
May 13
DLT
Developments in Language Theory
Aug 14-17
Taipei, Taiwan
Mar 15
ESSLLI
European Summer School in Logic, Language and Information
Aug 6-17
Opole, Poland
Feb 15
DCFS
Descriptional Complexity of Formal Systems
Jul 23-25
Braga, Portugal
Mar 25
CIAA
Conference on Implementation and Application of Automata
Jul 17-27
Porto, Portugal
Mar 11
ICALP
Int. Colloquium on Automata, Languages, and Programming
Jul 9-13
University of Warwick, UK
Feb 21
CAV
Computer-Aided Verification
Jul 7-13
Berkeley, California, USA
Jan 22
CSR
Computer Science Symposium in Russia
Jul 3-7
Nizhni Novgorod, Russia
Dec 11, 2011
CLODEM
Workshop on Comparing Logical Decision Methods
Jun 30
Manchester, UK
Apr 2
AISS
Algorithmics of Infinite State Systems
Jun 29
Dubrovnik, Croatia
Mar 31
IJCAR
Int. Joint Conference on Automated Reasoning
Jun 26 - Jul 1
Manchester, UK
Jan 30
CADE
International Conference on Automated Deduction
Jun 26 - Jul 1
Manchester, UK
Jan 30
LICS
IEEE Symposium on Logic in Computer Science
Jun 25-28
Dubrovnik, Croatia
Jan 13
CiE
Computability in Europe
Jun 18-23
Cambridge, UK
Jan 20
LAMAS
Workshop on Logical Aspects of Multi-Agent Systems
Jun 4-5
Valencia, Spain
Mar 10
WATA
Weighted Automata: Theory and Applications
May 29 - Jun 2
Dresden, Germany
Mar 16
RTA
Rewriting Techniques and Applications
May 28 - Jun 2
Nagoya, Japan
Jan 9
STOC
Annual ACM Symposium on Theory of Computing
May 19-22
New York, NY, USA
Nov 2, 2011
ATANLP
Workshop on Applications of Tree Automata in Natural Language Processing
Apr 24
Avignon, France
Jan 27
SSFLA
Spring School in Formal Languages and Applications
Apr 2-6
Tarragona, Spain
 
ICDT
Int. Conference on Database Theory
Mar 26-30
Berlin, Germany
Jul 28, 2011
FOSSACS
Foundations of Software Science and Computation Structures (collocated with ETAPS 2012)
Mar 24 - Apr 1
Tallinn, Estonia
Oct 14, 2011
ETAPS
European Joint Conferences on Theory and Practice of Software
Mar 24 - Apr 1
Tallinn, Estonia
Oct 14, 2011
iWIGP
International Workshop on Interactions, Games and Protocols (collocated with ETAPS 2012)
Mar 24 - Apr 1
Tallinn, Estonia
 
WRLA
Int. Workshop on Rewriting Logic and its Applications (collocated with ETAPS 2012)
Mar 24 - Apr 1
Tallinn, Estonia
 
TACAS
Tools and Algorithms for the Construction and Analysis of Systems (collocated with ETAPS 2012)
Mar 24 - Apr 1
Tallinn, Estonia
 
FICS
Fixed Points in Computer Science (collocated with ETAPS 2012)
Mar 24 - Apr 1
Tallinn, Estonia
 
LATA
Int. Conference on Language and Automata Theory and Applications
Mar 3-5
A Coruña, Spain
 
STACS
Symposium on Theoretical Aspects of Computer Science
Feb 29 - Mar 3
Paris, France
Sep 23, 2011
AlMoTh
Workshop on Algorithmic Model Theory
Feb 16-17
Ilmenau, Germany
Feb 3
ICCA
Int. Conference on Control & Automation
Jan 27-31
Pondicherry, India
Nov 27, 2011
VMCAI
Int. Conference on Verification, Model Checking, and Abstract Interpretation
Jan 25-27
Philadelphia, USA
Aug 1, 2011
SOFSEM
Current Trends in Theory and Practice of Computer Science
Jan 21-27
Špindlerův Mlýn, Czech Republic
Jun 22, 2011
 
2011
FSTTCS
Foundations of Software Technology and Theoretical Computer Science
Dec 12-14
Mumbai, India
Jul 6
ISAAC
Int. Symposium on Algorithms and Computation
Dec 5-8
Yokohama, Japan
Jun 24
SEFM
Software Engineering and Formal Methods
Nov 14-18
Montevideo, Uruguay
Apr 23
LAMAS
Workshop on Logical Aspects of Multi-Agent Systems
Nov 10-12
Osuna, Spain
Jul 15
FSFLA
Fall School in Formal Languages and Applications
Oct 31 - Nov 4
Tarragona, Spain
 
ICCA
Int. Conference on Control & Automation
Oct 26-28
Bali, Indonesia
May 31
GIPSy
Workshop on Games, Logic and Security
Oct 25-27
Rennes, France
 
FOCS
IEEE Symposium on Foundations of Computer Science
Oct 22-25
Palm Springs, CA, USA
Apr 13
ATVA
Int. Symposium on Automated Technology for Verification and Analysis
Oct 11-14
Taipei, Taiwan
May 6
INFINITY
Int. Workshop on Verification of Infinite-State Systems (co-located with ATVA 2011)
Oct 10
Taipei, Taiwan
Jun 20
RP
Workshop on Reachability Problems
Sep 28-30
Genova, Italy
May 10
Theorietag
Theorietag der GI-Fachgruppe 0.1.5 "Automaten und Formale Sprachen"
Sep 27-29
Allrode, Germany
Aug 15
SBMF
Brazilian Symposium on Formal Methods
Sep 26-30
São Paulo, Brazil
May 30
AVoCS
Int. Workshop on Automated Verification of Critical Systems
Sep 12-15
Newcastle upon Tyne, UK
Jun 13
CSL
Computer Science Logic
Sep 12-15
Bergen, Norway
Mar 27
TIME
Int. Symposium on Temporal Representation and Reasoning
Sep 12-14
Lübeck, Germany
Apr 17
GASICS
Workshop on Games for Design, Verification and Synthesis (collocated with CONCUR 2011)
Sep 10
Aachen, Germany
 
CONCUR
Int. Conference on Concurrency Theory
Sep 5-10
Aachen, Germany
Apr 8
EXPRESS
Int. Workshop on Expressiveness in Concurrency (collocated with CONCUR 2011)
Sep 5
Aachen, Germany
Jun 3
ICTAC
Int. Colloquium on Theoretical Advances in Computing
Aug 31 - Sep 2
Johannesburg, South Africa
Mar 15
GAMES
Games for Design and Verification
Aug 31-3
Paris, France
Jun 20
MFCS
Mathematical Foundations of Computer Science
Aug 22-26
Warsaw, Poland
Apr 15
FCT
Int. Symposium on Fundamentals of Computation Theory
Aug 22-25
Oslo, Norway
Apr 5
AFL
Int. Conference on Automata and Formal Languages
Aug 17-22
Debrecen, Hungary
Mar 1
ESSLLI
European Summer School in Logic, Language and Information
Aug 1-12
Ljubljana, Slovenia
 
CADE
International Conference on Automated Deduction
Jul 31 - Aug 5
Wroclaw, Poland
Dec 7, 2010
DCFS
Descriptional Complexity of Formal Systems
Jul 25-27
Limburg, Germany
Mar 14
CLMPS
Congress of Logic, Methodology and Philosophy of Science
Jul 19-26
Nancy, France
Dec 31, 2010
DLT
Developments in Language Theory
Jul 19-22
Milan, Italy
Feb 21
ISSTA
Int. Symposium on Software Testing and Analysis
Jul 17-21
Toronto, Canada
Feb 4
CLIMA
International Workshop on Computational Logic in Multi-Agent Systems
Jul 17-18
Barcelona, Spain
Apr 8
CAV
Computer-Aided Verification
Jul 14-20
Snowbird, Utah, USA
Jan 21
CIAA
Conference on Implementation and Application of Automata
Jul 13-16
Blois, France
Mar 1
FSMNLP
Workshop on Finite-State Methods and Natural Language Processing
Jul 12-15
Blois, France
Apr 15
Logic Colloquium
Jul 11-16
Barcelona, Spain
 
ICALP
Int. Colloquium on Automata, Languages, and Programming
Jul 4-8
Zürich, Switzerland
Feb 15
CiE
Computability in Europe
Jun 27 - Jul 2
Sofia, Bulgaria
Jan 14
LICS
IEEE Symposium on Logic in Computer Science
Jun 21-24
Toronto, Canada
Jan 12
WG
Graph-Theoretic Concepts in Computer Science
Jun 21-23
Teplá Monastery, Czech Republic
Mar 5
FM
Int. Symposium on Formal Methods Europe Symposium
Jun 20-24
Limerick, Ireland
Jan 10
GandALF
Games, Automata, Logics and Formal Verification
Jun 15-17
Minori, Italy
Mar 20
CSR
Computer Science Symposium in Russia
Jun 14-18
St. Petersburg, Russia
Dec 6, 2010
STOC
Annual ACM Symposium on Theory of Computing
Jun 6-8
San Jose, California, USA
Nov 4, 2010
LATA
Int. Conference on Language and Automata Theory and Applications
May 30 - Jun 3
Tarragona, Spain
Jan 3
RTA
Rewriting Techniques and Applications
May 30 - Jun 1
Novi Sad, Serbia
Jan 14
FSEN
Fundamentals of Software Engineering
Apr 20-22
Tehran, Iran
Oct 18, 2010
TAPAS
Theory and Practice of Algorithms in Computer Systems
Apr 18-20
Rome, Italy
Oct 24, 2010
ISCL
Int. Summer School in Computational Logic
Apr 10-15
Bertinoro, Italy
 
iWIGP
International Workshop on Interactions, Games and Protocols
Mar 27
Saarbrücken, Germany
Nov 28, 2010
TACAS
Tools and Algorithms for the Construction and Analysis of Systems
Mar 26 - Apr 3
Saarbrücken, Germany
Oct 8, 2010
FOSSACS
Foundations of Software Science and Computation Structures
Mar 26 - Apr 3
Saarbrücken, Germany
Oct 8, 2010
FOSSACS
Foundations of Software Science and Computation Structures
Mar 26 - Apr 3
Saarbrücken, Germany
Oct 8, 2010
ETAPS
European Joint Conferences on Theory and Practice of Software
Mar 26 - Apr 3
Saarbrücken, Germany
 
GAMES Spring School
Games for Design and Verification
Mar 23-27
Bordeaux, France
 
ICDT
Int. Conference on Database Theory
Mar 21-24
Uppsala, Sweden
Aug 14, 2010
STACS
Symposium on Theoretical Aspects of Computer Science
Mar 10-12
Dortmund, Germany
Sep 24, 2010
AlMoTh
Workshop on Algorithmic Model Theory
Feb 24-25
Leipzig, Germany
 
VMCAI
Int. Conference on Verification, Model Checking, and Abstract Interpretation
Jan 23-25
Austin, Texas, USA
Aug 29, 2010
SOFSEM
Current Trends in Theory and Practice of Computer Science
Jan 22-28
High Tatras, Slovakia
Sep 5, 2010
 
2010
FSTTCS
Foundations of Software Technology and Theoretical Computer Science
Dec 15-18
Chennai, India
Jul 7
Automata and Logic for Data Manipulating Programs
Dec 7-8
Paris, France
 
Highlights of AutoMathA
Automata: from Mathematics to Applications
Nov 21-24
Vienna, Austria
 
SBMF
Brazilian Symposium on Formal Methods
Nov 08-12
Natal, Rio Grande do Norte, Brazil
Jun 10
FOCS
IEEE Symposium on Foundations of Computer Science
Oct 23-26
Las Vegas, USA
Apr 7
LPAR
Int. Conf. on Logic for Programming Artificial Intelligence and Reasoning
Oct 10-15
Yogyakarta, Indonesia
Jun 1
Theorietag
Theorietag der GI-Fachgruppe 0.1.5 "Automaten und Formale Sprachen"
Sep 30 - Oct 1
Baunatal (Kassel), Germany
Aug 1
ATVA
Int. Symposium on Automated Technology for Verification and Analysis
Sep 21-24
Singapore
Apr 5
AVoCS
Int. Workshop on Automated Verification of Critical Systems
Sep 21-23
Düsseldorf, Germany
Jun 14
INFINITY
Int. Workshop on Verification of Infinite-State Systems (co-located with ATVA 2010)
Sep 21
Singapore
Jun 15
GAMES
Games for Design and Verification
Sep 19-23
Oxford, UK
Jul 1
SEFM
Software Engineering and Formal Methods
Sep 13-18
Pisa, Italy
Mar 29
JM
Journées Montoises d'Informatique Théorique
Sep 6-10
Amiens, France
May 30
TIME
Int. Symposium on Temporal Representation and Reasoning
Sep 6-8
Paris, France
Apr 9
GASICS
Workshop on Games for Design, Verification and Synthesis (collocated with CONCUR 2010)
Sep 4
Paris, France
Jun 15
ICTAC
Int. Colloquium on Theoretical Aspects of Computing
Sep 1-3
Natal, Rio Grande do Norte, Brazil
Mar 8
CONCUR
Int. Conference on Concurrency Theory
Aug 31 - Sep 3
Paris, France
Apr 8
EXPRESS
Int. Workshop on Expressiveness in Concurrency (collocated with CONCUR 2010)
Aug 31 - Sep 3
Paris, France
 
GPMFV
Games and Probabilistic Models in Formal Verification
Aug 28
Brno, Czech Republic
May 10
RP
Workshop on Reachability Problems
Aug 27-29
Brno, Czech Republic
May 11
YRF@MFCSL 2010
MFCSL 2010 Young Researchers Forum
Aug 23-27
Brno, Czech Republic
May 17
MFCS
Mathematical Foundations of Computer Science
Aug 23-27
Brno, Czech Republic
Apr 10
CSL
Computer Science Logic
Aug 23-27
Brno, Czech Republic
Mar 26
FICS
Fixed Points in Computer Science
Aug 21-22
Brno, Czech Republic
 
VSTTE 2010
Workshops on Theories, Tools and Experiments
Aug 19
Edinburgh, Scotland
May 21
DLT
Developments in Language Theory
Aug 17-20
London, Ontario, Canada
Mar 20
CLIMA
International Workshop on Computational Logic in Multi-Agent Systems
Aug 16-17
Lisbon, Portugal
May 7
CIAA
Conference on Implementation and Application of Automata
Aug 12-15
Winnipeg, Manitoba, Canada
Apr 23
ESSLLI
European Summer School in Logic, Language and Information
Aug 9-20
Copenhagen, Denmark
 
DCFS
Descriptional Complexity of Formal Systems
Aug 8-10
Saskatoon, Canada
Apr 25
Logic Colloquium
Jul 25-31
Paris, France
Apr 19
IJCAR
Int. Joint Conference on Automated Reasoning
Jul 16-19
Edinburgh, Scotland, UK
Jan 15
ATANLP
Workshop on Applications of Tree Automata in Natural Language Processing
Jul 16
Uppsala, Sweden
Apr 5
CAV
Computer-Aided Verification
Jul 15-19
Edinburgh, Scotland, UK
Jan 11
CLODEM
Workshop on Comparing Logical Decision Methods
Jul 15
Edinburgh, Scotland, UK
Apr 12
LICS
IEEE Symposium on Logic in Computer Science
Jul 11-14
Edinburgh, Scotland, UK
Jan 10
RTA
Rewriting Techniques and Applications
Jul 11-13
Edinburgh, Scotland, UK
Jan 15
MoChArt
Model Checking and Artificial Intelligence
Jul 11-12
Atlanta, Georgia, USA
Apr 8
HyLo
Int. Workshop on Hybrid Logic and Applications
Jul 10
Edinburgh, Scotland
Mar 30
FLoC
Federated Logic Conference
Jul 9-21
Edinburgh, Scotland, UK
 
ICALP
Int. Colloquium on Automata, Languages, and Programming
Jul 5-12
Bordeaux, France
Feb 10
JAF 29
29eme Journees sur les Arithmetiques Faibles (29th Weak Arithmetics Days)
Jun 22-24
Warsaw, Poland
 
GandALF
Games, Automata, Logics and Formal Verification
Jun 17-18
Minori, Italy
Mar 21
CSR
Computer Science Symposium in Russia
Jun 16-20
Kazan, Russia
Dec 18, 2009
ICCA
Int. Conference on Control & Automation
Jun 9-11
Xiamen, China
Oct 30, 2009
STOC
Annual ACM Symposium on Theory of Computing
Jun 6-8
Cambridge, Massachusetts, USA
Nov 5, 2009
LATA
Int. Conference on Language and Automata Theory and Applications
May 24-28
Trier, Germany
Dec 3, 2009
WATA
Weighted Automata: Theory and Applications
May 3-7
Leipzig, Germany
Jan 15
LPAR
Int. Conf. on Logic for Programming Artificial Intelligence and Reasoning
Apr 25 - May 1
Dakar, Senegal
Jan 5
LATIN
Latin American Theoretical INformatics
Apr 19-22
Oaxaca, Mexico
Sep 21, 2009
TACAS
Tools and Algorithms for the Construction and Analysis of Systems
Mar 22-28
Paphos, Cyprus
Oct 1, 2009
FOSSACS
Foundations of Software Science and Computation Structures
Mar 22-28
Paphos, Cyprus
Oct 1, 2009
ICDT
Int. Conference on Database Theory
Mar 22-26
Lausanne, Switzerland
Aug 31, 2009
ETAPS
European Joint Conferences on Theory and Practice of Software
Mar 20-28
Paphos, Cyprus
 
WRLA
Int. Workshop on Rewriting Logic and its Applications
Mar 20-21
Paphos, Cyprus
Dec 15, 2009
STACS
Symposium on Theoretical Aspects of Computer Science
Mar 4-6
Nancy, France
Sep 22, 2009
AlMoTh
Workshop on Algorithmic Model Theory
Feb 25-26
Frankfurt, Germany
 
Greifswald
Logical Approaches to Barriers in Computing and Complexity
Feb 17-20
Greifswald, Germany
Sep 15, 2009
Greifswald
Logical Approaches to Barriers in Computing and Complexity
Feb 17-20
Greifswald, Germany
Sep 15, 2009
SOFSEM
Current Trends in Theory and Practice of Computer Science
Jan 23-29
Spindleruv Mlyn, Czech Republic
Jun 23, 2009
VMCAI
Int. Conference on Verification, Model Checking, and Abstract Interpretation
Jan 17-19
Madrid, Spain
Aug 21, 2009
 
2009
ISAAC
Int. Symposium on Algorithms and Computation
Dec 16-18
Hawaii, USA
Jul 15
FSTTCS
Foundations of Software Technology and Theoretical Computer Science
Dec 15-17
Kanpur, India
Jul 7
FM
Int. Symposium on Formal Methods Europe Symposium
Oct 30 - Nov 7
Eindhoven, Netherlands
May 4
FOCS
IEEE Symposium on Foundations of Computer Science
Oct 24-27
Atlanta, GA, USA
Apr 2
ATVA
Int. Symposium on Automated Technology for Verification and Analysis
Oct 14-16
Macau SAR, China
May 1
Theorietag
Theorietag der GI-Fachgruppe 0.1.5 "Automaten und Formale Sprachen"
Sep 28-30
Lutherstadt Wittenberg, Germany
Jul 15
RP
Workshop on Reachability Problems
Sep 23-25
Ecole Polytechnique, France
Apr 23
Tbilisi
Int. Tbilisi Symposium on Language, Logic and Computation
Sep 21-25
Bakuriani, Georgia
May 1
VVPS
Workshop on Verification and Validation of Planning and Scheduling Systems
Sep 20
Thessaloniki, Greece
Jun 23
WORDS
Int. Conference on Words
Sep 14-18
Fisciano, Italy
Apr 29
GAMES
Games for Design and Verification
Sep 14-17
Udine, Italy
Jul 15
FORMATS
Int. Conference on Formal Modelling and Analysis of Timed Systems
Sep 13-16
Budapest, Hungary
Apr 17
CSL
Computer Science Logic
Sep 7-11
Coimbra, Portugal
Mar 30
EXPRESS
Int. Workshop on Expressiveness in Concurrency
Sep 5
Bologna, Italy
Jun 1
FCT
Int. Symposium on Fundamentals of Computation Theory
Sep 2-4
Wroclaw, Poland
Apr 9
CONCUR
Int. Conference on Concurrency Theory
Sep 1-4
Bologna, Italy
Apr 3
NCMA
Int. Workshop on Non-Classical Models of Automata and Applications
Aug 31 - Sep 1
Wroclaw, Poland
May 29
INFINITY
Int. Workshop on Verification of Infinite-State Systems
Aug 31
Bologna, Italy
Jun 6
MFCS
Mathematical Foundations of Computer Science
Aug 24-28
Novy Smokovec, High Tatras, Slovakia
Apr 10
CSR
Computer Science Symposium in Russia
Aug 18-23
Novosibirsk, Russia
Nov 26, 2008
ICTAC
Int. Colloquium on Theoretical Aspects of Computing
Aug 16-20
Kuala Lumpur, Malaysia
Apr 12
LICS
IEEE Symposium on Logic in Computer Science
Aug 11-14
Los Angeles, USA
Jan 19
Computability Theory
Workshop on Computability Theory
Aug 6-7
Sofia, Bulgaria
 
Logic Colloquium
Jul 31 - Aug 5
Sofia, Bulgaria
Apr 30
TASE
Int. Symposium on Theoretical Aspects of Software Engineering
Jul 29-31
Tianjin, China
Feb 20
ESSLLI
European Summer School in Logic, Language and Information
Jul 20-31
Bordeaux, France
Jul 1
CIAA
Conference on Implementation and Application of Automata
Jul 14-17
Sydney, Australia
Mar 22
DCFS
Descriptional Complexity of Formal Systems
Jul 6-9
Magdeburg, Germany
Apr 20
ICALP
Int. Colloquium on Automata, Languages, and Programming
Jul 5-12
Rhodes, Greece
Feb 10
VECoS
Int. Workshop on Verification and Evaluation of Computer and Communication Systems
Jul 2-3
Rabat, Morroco
Apr 10
DLT
Developments in Language Theory
Jun 30 - Jul 3
Stuttgart, Germany
Jan 26
RTA
Rewriting Techniques and Applications
Jun 29 - Jul 1
Brasilia, Brazil
Jan 30
AAL
Workshop on Automata and Algorithmic Logic
Jun 28-29
Stuttgart, Germany
Apr 21
GASICS
Workshop on Games for Design, Verification and Synthesis
Jun 28
Grenoble, France
Apr 10
CAV
Computer-Aided Verification
Jun 26 - Jul 2
Grenoble, France
Jan 25
WG
Graph-Theoretic Concepts in Computer Science
Jun 24-26
Montpellier, France
Mar 1
AutoMathA
Automata: from Mathematics to Applications
Jun 8-12
Liège, Belgium
Mar 15
GAMES Spring School
Games for Design and Verification
May 31 - Jun 6
Bertinoro, Italy
Feb 28
STOC
Annual ACM Symposium on Theory of Computing
May 31 - Jun 2
Bethesda, Maryland, USA
Nov 10, 2008
LATA
Int. Conference on Language and Automata Theory and Applications
Apr 2-8
Tarragona, Spain
Oct 31, 2008
ICDT
Int. Conference on Database Theory
Mar 23-25
St. Petersburg, Russia
Aug 14, 2008
FOSSACS
Foundations of Software Science and Computation Structures
Mar 22-29
York, UK
Oct 9, 2008
TACAS
Tools and Algorithms for the Construction and Analysis of Systems
Mar 22-29
York, UK
Oct 2, 2008
ETAPS
European Joint Conferences on Theory and Practice of Software
Mar 22-29
York, UK
 
STACS
Symposium on Theoretical Aspects of Computer Science
Feb 26-28
Freiburg, Germany
Sep 15, 2008
SOFSEM
Current Trends in Theory and Practice of Computer Science
Jan 24-30
Spindleruv Mlyn, Czech Republic
Aug 24, 2008
 
2008
Theorietag
Theorietag der GI-Fachgruppe 0.1.5 "Automaten und Formale Sprachen"
Sep 30 - Oct 2
Wettenberg-Launsbach, Germany
Sep 1
DLT
Developments in Language Theory
Sep 16-19
Kyoto, Japan
Apr 9
RP
Workshop on Reachability Problems
Sep 15-17
Liverpool, UK
May 28
JM
Journées Montoises d'Informatique Théorique
Aug 27-30
Mons, Belgium
May 30
MFCS
Mathematical Foundations of Computer Science
Aug 25-29
Torun, Poland
Mar 31
ESSLLI
European Summer School in Logic, Language and Information
Aug 4-15
Hamburg, Germany
Jul 2, 2007
CIAA
Conference on Implementation and Application of Automata
Jul 21-24
San Francisco, USA
Mar 15
ISSTA
Int. Symposium on Software Testing and Analysis
Jul 20-24
Seattle, USA
Jan 31
RTA
Rewriting Techniques and Applications
Jul 15-17
Hagenberg, Austria
Feb 4
BPR
Int. Workshop on Bit-Precise Reasoning
Jul 14
Princeton, New Yersey, USA
Apr 28
ICALP
Int. Colloquium on Automata, Languages, and Programming
Jul 6-13
Reykjavik, Iceland
Feb 10
WG
Graph-Theoretic Concepts in Computer Science
Jun 30 - Jul 2
Durham, England
Mar 2
AFL
Int. Conference on Automata and Formal Languages
May 27-30
Balatonfüred, Hungary
Mar 7
FM
Int. Symposium on Formal Methods Europe Symposium
May 26-30
Turku, Finland
Nov 10, 2007
WATA
Weighted Automata: Theory and Applications
May 13-16
Dresden, Germany
Feb 1
LATIN
Latin American Theoretical INformatics
Apr 7-11
Rio de Janeiro, Brazil
Sep 21, 2007
FOSSACS
Foundations of Software Science and Computation Structures
Mar 29 - Apr 6
Budapest, Hungary
Oct 5, 2007
ETAPS
European Joint Conferences on Theory and Practice of Software
Mar 29 - Apr 6
Budapest, Hungary
Oct 5, 2007
LATA
Int. Conference on Language and Automata Theory and Applications
Mar 13-19
Tarragona, Spain
Nov 23, 2007
STACS
Symposium on Theoretical Aspects of Computer Science
Feb 21-23
Bordeaux, France
Sep 14, 2007
SOFSEM
Current Trends in Theory and Practice of Computer Science
Jan 20-24
High Tatras, Slovakia
Aug 22, 2007
 
2007
ISAAC
Int. Symposium on Algorithms and Computation
Dec 17-19
Sendai, Japan
Jun 26
WAL
Automata and Logic: History and Perspectives
Dec 14-15
Aachen, Germany
 
FSTTCS
Foundations of Software Technology and Theoretical Computer Science
Dec 12-14
New Delhi, India
Jun 10
ATVA
Int. Symposium on Automated Technology for Verification and Analysis
Oct 22-24
Tokyo, Japan
May 14
FOCS
IEEE Symposium on Foundations of Computer Science
Oct 20-23
Providence, RI, USA
Apr 20
Theorietag
Theorietag der GI-Fachgruppe 0.1.5 "Automaten und Formale Sprachen"
Sep 27-29
Leipzig, Germany
Sep 1
CSL
Computer Science Logic
Sep 11-15
Lausanne, Switzerland
Apr 2
GAMES
Games and Automata for Synthesis and Validation
Sep 10-13
Lausanne, Switzerland
 
CONCUR
Int. Conference on Concurrency Theory
Sep 4-7
Lisbon, Portugal
Mar 26
MFCS
Mathematical Foundations of Computer Science
Aug 27-31
Cesky Krumlov, Czech Republic
Apr 10
FCT
Int. Symposium on Fundamentals of Computation Theory
Aug 27-30
Budapest, Hungary
Mar 11
ESSLLI
European Summer School in Logic, Language and Information
Aug 6-17
Dublin, Ireland
Jun 15, 2006
DCFS
Descriptional Complexity of Formal Systems
Jul 20-22
Nový Smokovec, High Tatras, Slovakia
Apr 4
CIAA
Conference on Implementation and Application of Automata
Jul 16-18
Prague, Czech Republic
Apr 10
LICS
IEEE Symposium on Logic in Computer Science
Jul 10-14
Wroclaw, Poland
Jan 15
ICALP
Int. Colloquium on Automata, Languages, and Programming
Jul 9-13
Wroclaw, Poland
Jan 25
DLT
Developments in Language Theory
Jul 3-6
Turku, Finland
Feb 11
RTA
Rewriting Techniques and Applications
Jun 26-28
Paris, France
Jan 26
WG
Graph-Theoretic Concepts in Computer Science
Jun 21-23
Dornburg, Germany
Mar 2
AutoMathA
Automata: from Mathematics to Applications
Jun 18-22
Palermo, Italy
Feb 9
STOC
Annual ACM Symposium on Theory of Computing
Jun 11-13
San Diego, USA
Nov 20, 2006
LATA
Int. Conference on Language and Automata Theory and Applications
Mar 29 - Apr 4
Tarragona, Spain
Dec 7, 2006
FOSSACS
Foundations of Software Science and Computation Structures
Mar 24 - Apr 1
Braga, Portugal
Oct 6, 2006
ETAPS
European Joint Conferences on Theory and Practice of Software
Mar 24 - Apr 1
Braga, Portugal
Oct 6, 2006
STACS
Symposium on Theoretical Aspects of Computer Science
Feb 22-24
Aachen, Germany
Sep 18, 2006
ICDT
Int. Conference on Database Theory
Jan 10-12
Barcelona, Spain
Jul 10, 2006
 
2006
ISAAC
Int. Symposium on Algorithms and Computation
Dec 18-20
Kolkata, India
Jun 28
FSTTCS
Foundations of Software Technology and Theoretical Computer Science
Dec 13-15
Kolkata, India
Jun 18
ATVA
Int. Symposium on Automated Technology for Verification and Analysis
Oct 23-26
Beijing, China
May 20
FOCS
IEEE Symposium on Foundations of Computer Science
Oct 22-24
Berkeley, CA, USA
Apr 11
Theorietag
Theorietag der GI-Fachgruppe 0.1.5 "Automaten und Formale Sprachen"
Sep 27-29
Vienna, Austria
Sep 1
CSL
Computer Science Logic
Sep 25-29
Szeged, Hungary
Apr 24
ICGT
Int. Conference on Graph Transformation
Sep 19-21
Natal, Rio Grande do Norte, Brazil
Apr 10
JM
Journées Montoises d'Informatique Théorique
Aug 30 - Sep 1
IRISA, Rennes, France
Jun 5
MFCS
Mathematical Foundations of Computer Science
Aug 28 - Sep 1
Bratislava, Slovak Republic
Apr 3
CONCUR
Int. Conference on Concurrency Theory
Aug 27-30
Bonn, Germany
Mar 23
TCS
Int. Conference on Theoretical Computer Science
Aug 22-24
Santiago de Chile, Chile
Jan 22
FM
Int. Symposium on Formal Methods Europe Symposium
Aug 21-27
Hamilton, Ontario, Canada
Feb 24
CIAA
Conference on Implementation and Application of Automata
Aug 21-23
Taipei, Taiwan
Apr 7
CAV
Computer-Aided Verification
Aug 16-20
Seattle, USA
Jan 27
RTA
Rewriting Techniques and Applications
Aug 12-15
Seattle, USA
Feb 15
LICS
IEEE Symposium on Logic in Computer Science
Aug 12-15
Seattle, USA
Feb 3
FLoC
Federated Logic Conference
Aug 10-22
Seattle, USA
 
ESSLLI
European Summer School in Logic, Language and Information
Jul 31 - Aug 11
Malaga, Spain
Jun 17, 2005
ISSTA
Int. Symposium on Software Testing and Analysis
Jul 17-20
Portland, USA
Jan 27
ICALP
Int. Colloquium on Automata, Languages, and Programming
Jul 9-16
Venice, Italy
Feb 10
GAMES
Games and Automata for Synthesis and Validation
Jul 3-7
Cambridge, England
 
DLT
Developments in Language Theory
Jun 26-29
Santa Barbara, CA, USA
Feb 12
WG
Graph-Theoretic Concepts in Computer Science
Jun 22-24
Bergen, Norway
Mar 3
DCFS
Descriptional Complexity of Formal Systems
Jun 21-23
Las Cruces, New Mexico, USA
Apr 7
STOC
Annual ACM Symposium on Theory of Computing
May 21-23
Seattle, USA
Nov 3, 2005
WATA
Weighted Automata: Theory and Applications
Mar 27-31
Leipzig, Germany
Dec 18, 2005
FOSSACS
Foundations of Software Science and Computation Structures
Mar 25 - Apr 2
Vienna, Austria
Oct 7, 2005
ETAPS
European Joint Conferences on Theory and Practice of Software
Mar 25 - Apr 2
Vienna, Austria
Oct 7, 2005
LATIN
Latin American Theoretical INformatics
Mar 20-24
Valdivia, Chile
Sep 21, 2005
STACS
Symposium on Theoretical Aspects of Computer Science
Feb 23-25
Marseille, France
Sep 16, 2005
 
2005
ISAAC
Int. Symposium on Algorithms and Computation
Dec 19-21
Sanya, Hainan, China
 
FSTTCS
Foundations of Software Technology and Theoretical Computer Science
Dec 15-18
Hyderabad, India
Jun 17
LPAR
Int. Conf. on Logic for Programming Artificial Intelligence and Reasoning
Dec 2-6
Montego Bay, Jamaica
Jul 11
FOCS
IEEE Symposium on Foundations of Computer Science
Oct 23-25
Pittsburgh, PA, USA
Apr 8
ICTAC
Int. Colloquium on Theoretical Aspects of Computing
Oct 17-21
Hanoi, Vietnam
May 25
ATVA
Int. Symposium on Automated Technology for Verification and Analysis
Oct 4-7
Taipei, Taiwan
May 23
Theorietag
Theorietag der GI-Fachgruppe 0.1.5 "Automaten und Formale Sprachen"
Sep 27-29
Lauterbad, Germany
Aug 15
GAMES
Games and Automata for Synthesis and Validation
Sep 21-24
Paris, France
 
MFCS
Mathematical Foundations of Computer Science
Aug 29 - Sep 2
Gdansk, Poland
Mar 15
CONCUR
Int. Conference on Concurrency Theory
Aug 23-26
San Francisco, CA, USA
Mar 28
CSL
Computer Science Logic
Aug 22-25
Oxford, England
Mar 25
FCT
Int. Symposium on Fundamentals of Computation Theory
Aug 17-20
Lübeck, Germany
Mar 7
ESSLLI
European Summer School in Logic, Language and Information
Aug 8-19
Edinburgh, Scotland
Jul 15, 2004
FM
Int. Symposium on Formal Methods Europe Symposium
Jul 18-22
Newcastle, England
Jan 24
ICALP
Int. Colloquium on Automata, Languages, and Programming
Jul 11-15
Lisboa, Portugal
Feb 13
CAV
Computer-Aided Verification
Jul 6-10
Edinburgh, Scotland
Jan 28
DLT
Developments in Language Theory
Jul 4-8
Mondello, Palermo, Italy
Feb 27
DCFS
Descriptional Complexity of Formal Systems
Jun 30 - Jul 2
Como, Italy
Mar 30
CIAA
Conference on Implementation and Application of Automata
Jun 27-29
Sophia Antipolis, France
Apr 1
LICS
IEEE Symposium on Logic in Computer Science
Jun 26-29
Chicago, USA
Jan 5
WG
Graph-Theoretic Concepts in Computer Science
Jun 23-25
Metz, France
Mar 2
STOC
Annual ACM Symposium on Theory of Computing
May 21-24
Baltimore, MD, USA
Nov 4, 2004
AFL
Int. Conference on Automata and Formal Languages
May 17-20
Dobogoko, Hungary
Mar 7
RTA
Rewriting Techniques and Applications
Apr 19-21
Nara, Japan
Nov 12, 2004
ETAPS
European Joint Conferences on Theory and Practice of Software
Apr 2-10
Edinburgh, Scotland
Oct 8, 2004
FOSSACS
Foundations of Software Science and Computation Structures
Apr 2-8
Edinburgh, Scotland
Oct 8, 2004
STACS
Symposium on Theoretical Aspects of Computer Science
Feb 24-26
Stuttgart, Germany
Sep 7, 2004
ICDT
Int. Conference on Database Theory
Jan 5-7
Edinburgh, Scotland
Jun 22, 2004
 
2004
FSTTCS
Foundations of Software Technology and Theoretical Computer Science
Dec 16-18
Chennai, India
Jun 22
DLT
Developments in Language Theory
Dec 13-17
Auckland, New Zealand
Jun 14
FOCS
IEEE Symposium on Foundations of Computer Science
Oct 17-19
Rome, Italy
Apr 9
ISAAC
Int. Symposium on Algorithms and Computation
Oct 6-10
Natal, Rio Grande do Norte, Brazil
Dec 31, 2003
ICGT
Int. Conference on Graph Transformation
Sep 28 - Oct 2
Rome, Italy
Apr 26
Theorietag
Theorietag der GI-Fachgruppe 0.1.5 "Automaten und Formale Sprachen"
Sep 28-30
Caputh, Germany
Aug 27
CSL
Computer Science Logic
Sep 20-24
Karpacz, Poland
Apr 3
GAMES
Games and Automata for Synthesis and Validation
Sep 15-18
Bordeaux, France
 
JM
Journées Montoises d'Informatique Théorique
Sep 8-11
Liège, Belgium
Jun 10
CONCUR
Int. Conference on Concurrency Theory
Aug 31 - Sep 3
London, England
Apr 9
TCS
Int. Conference on Theoretical Computer Science
Aug 23-26
Toulouse, France
Jan 15
MFCS
Mathematical Foundations of Computer Science
Aug 22-27
Prague, Czech Republic
Mar 15
ESSLLI
European Summer School in Logic, Language and Information
Aug 9-21
Nancy, France
Jul 16, 2003
DCFS
Descriptional Complexity of Formal Systems
Jul 26-28
London, Ontario, Canada
May 15
CIAA
Conference on Implementation and Application of Automata
Jul 22-24
Kingston, Ontario, Canada
Apr 4
LICS
IEEE Symposium on Logic in Computer Science
Jul 14-17
Turku, Finland
Jan 26
ICALP
Int. Colloquium on Automata, Languages, and Programming
Jul 12-16
Turku, Finland
Feb 8
CAV
Computer-Aided Verification
Jul 11-17
Boston, USA
Jan 16
ISSTA
Int. Symposium on Software Testing and Analysis
Jul 11-14
Boston, USA
Jan 16
WG
Graph-Theoretic Concepts in Computer Science
Jun 21-23
Bad Honnef, Germany
Feb 28
ISCL
Int. Summer School in Computational Logic
Jun 14-17
Dallas, USA
 
STOC
Annual ACM Symposium on Theory of Computing
Jun 13-15
Chicago, USA
Nov 5, 2003
RTA
Rewriting Techniques and Applications
Jun 3-5
Aachen, Germany
Jan 15
WATA
Weighted Automata: Theory and Applications
Jun 1-5
Dresden, Germany
Feb 15
LATIN
Latin American Theoretical INformatics
Apr 5-9
Buenos Aires, Argentina
Sep 19, 2003
FOSSACS
Foundations of Software Science and Computation Structures
Mar 29 - Apr 2
Barcelona, Spain
Oct 17, 2003
ETAPS
European Joint Conferences on Theory and Practice of Software
Mar 27 - Apr 4
Barcelona, Spain
Oct 17, 2003
STACS
Symposium on Theoretical Aspects of Computer Science
Mar 25-27
Montpellier, France
Sep 15, 2003
 
2003
FSTTCS
Foundations of Software Technology and Theoretical computer science
Dec 15-17
Mumbai, India
Jul 4
ISAAC
Int. Symposium on Algorithms and Computation
Dec 15-17
Kyoto, Japan
May 31
FMT
Finite Model Theory Workshop
Nov 13-14
Marburg, Germany
 
FOCS
IEEE Symposium on Foundations of Computer Science
Oct 11-14
Cambridge, MA, USA
Apr 7
Theorietag
Theorietag der GI-Fachgruppe 0.1.5 "Automaten und Formale Sprachen"
Sep 29 - Oct 2
Herrsching, Germany
Aug 15
FORTE
Formal Description Techniques in Internet and Communication Domains
Sep 29 - Oct 2
Berlin, Germany
Mar 24
LPAR
Int. Conf. on Logic for Programming Artificial Intelligence and Reasoning
Sep 22-26
Almaty, Kazakhstan
May 12
FM
Int. Symposium on Formal Methods Europe Symposium
Sep 8-14
Pisa, Italy
Mar 16
CONCUR
Int. Conference on Concurrency Theory
Sep 2-6
Marseille, France
 
INFINITY
Int. Workshop on Verification of Infinite-State Systems
Sep 2
Marseille, France
 
GAMES
Games and Automata for Synthesis and Validation
Aug 30 - Sep 2
Vienna, Austria
 
CSL'03 & KGC
Computer Science Logic and Kurt Gödel Colloquium
Aug 25-30
Vienna, Austria
 
MFCS
Mathematical Foundations of Computer Science
Aug 25-29
Bratislava, Slovak Republic
 
ESSLLI
European Summer School in Logic, Language and Information
Aug 18-29
Vienna, Austria
 
CIAA
Conference on Implementation and Application of Automata
Jul 16-18
Santa Barbara, CA, USA
 
DCFS
Descriptional Complexity of Formal Systems
Jul 12-14
Budapest, Hungary
 
CAV
Computer-Aided Verification
Jul 8-12
Boulder, Colorado, USA
 
DMTCS
Conference on Discrete Mathematics and Theoretical Computer Science
Jul 7-12
Dijon, France
 
DLT
Developments in Language Theory
Jul 7-11
Szeged, Hungary
 
ICALP
Int. Colloquium on Automata, Languages, and Programming
Jun 30 - Jul 4
Eindhoven, Netherlands
 
LICS
IEEE Symposium on Logic in Computer Science
Jun 22-25
Ottawa, Canada
 
WG
Graph-Theoretic Concepts in Computer Science
Jun 19-21
Elspeet, Netherlands
 
STOC
Annual ACM Symposium on Theory of Computing
Jun 9-11
San Diego, California
 
RTA
Rewriting Techniques and Applications
Jun 9-11
Valencia, Spain
 
FICS
Fixed Points in Computer Science
Apr 12-13
Warsaw, Poland
 
FOSSACS
Foundations of Software Science and Computation Structures
Apr 5-13
Warsaw, Poland
 
ETAPS
European Joint Conferences on Theory and Practice of Software
Apr 5-13
Warsaw, Poland
 
STACS
Symposium on Theoretical Aspects of Computer Science
Feb 27 - Mar 1
Berlin, Germany
 
ICDT
Int. Conference on Database Theory
Jan 8-10
Siena, Italy
 
 
2002
FSTTCS
Foundations of Software Technology and Theoretical Computer Science
Dec 12-14
Kanpur, India
 
ISAAC
Int. Symposium on Algorithms and Computation
Nov 20-23
Vancouver, Canada
 
FOCS
IEEE Symposium on Foundations of Computer Science
Nov 16-19
Vancouver, Canada
 
FORTE
Int. Conference on Formal Techniques for Networked and Distributed Systems
Nov 11-14
Houston, Texas
 
LPAR
Int. Conference on Logic for Programming Artificial Intelligence and Reasoning
Oct 14-18
Tbilisi, Georgia
 
ICGT
Int. Conference on Graph Transformation
Oct 7-12
Barcelona, Spain
 
GAMES
Games and Automata for Synthesis and Validation
Sep 26-28
Edinburgh, Scotland
 
Theorietag
Theorietag der Fachgruppe 0.1.5 "Automaten und Formale Sprachen"
Sep 23-26
Wittenberg, Germany
 
CSL
Computer Science Logic
Sep 22-25
Edinburgh, Scotland
 
DLT
Developments in Language Theory
Sep 18-21
Kyoto, Japan
 
JM
Journées Montoises on Theoretical Computer Science
Sep 9-11
Montpellier, France
 
MFCS
Mathematical Foundations of Computer Science
Aug 26-30
Warszawa - Otwock, Poland
 
TCS
Int. Conference on Theoretical Computer Science
Aug 25-30
Montreal, Canada
 
ISCL
Int. Summer School in Computational Logic
Aug 25-30
Acquafredda, Italy
 
INFINITY
Int. Workshop on Verification of Infinite-State Systems
Aug 24
Brno, Czech Republic
 
DCFS
Descriptional Complexity of Formal Systems
Aug 21-24
London, Ontario, Canada
 
CONCUR
Int. Conference on Concurrency Theory
Aug 20-23
Brno, Czech Republic
 
AFL
Int. Conference on Automata and Formal Languages
Aug 13-18
Debrecen, Hungary
 
ESSLLI
European Summer School in Logic, Language and Information
Aug 5-16
Trento, Italy
 
CAV
Computer-Aided Verification
Jul 27-31
Copenhagen, Denmark
 
LICS
IEEE Symposium on Logic in Computer Science
Jul 22-25
Copenhagen, Denmark
 
FLoC
Federated Logic Conference
Jul 20 - Aug 1
Copenhagen, Denmark
 
ICALP
Int. Colloquium on Automata, Languages, and Programming
Jul 8-13
Malaga, Spain
 
WG
Graph-Theoretic Concepts in Computer Science
Jun 13-15
Cesky Krumlov, Czech Republic
 
STOC
Annual ACM Symposium on Theory of Computing
May 19-21
Montréal, Québec, Canada
 
FOSSACS
Foundations of Software Science and Computation Structures
Apr 8-12
Grenoble, France
 
ETAPS
European Joint Conferences on Theory and Practice of Software
Apr 6-14
Grenoble, France
 
LATIN
Latin American Theoretical INformatics
Apr 3-6
Cancún, Mexico
 
STACS
Symposium on Theoretical Aspects of Computer Science
Mar 14-16
Antibes, France
 
WATA
Weighted Automata: Theory and Applications
Mar 4-8
Dresden, Germany
 
ELICS
Symposium on the Effectiveness of Logic in Computer Science in Honour of Moshe Vardi
Mar 4-6
Saarbrücken, Germany