EATCS Sponsored Events

Except ICALP, EATCS also sponsors or co-sponsors various other events. Recent and forthcoming events co-sponsored by EATCS include

2008

(CiE 2008) 4th conference on Computability in Europe: Logic and Theory of Algorithms
(DLT 2008) 12th International Conference on Developments in Language Theory
(ESSLLI 2008) European Summer School in Logic, Language and Information
(FoIKS 2008) Fifth International Symposium on Foundations of Information and Knowledge Systems
(TCS 2008) 5th IFIP International Conference on Theoretical Computer Science (part of WCC 2008)
(WoLLIC 2008) 15th Workshop on Logic, Language, Information and Computation

(CiE 2007) Computability in Europe: Computation and Logic in the Real World
(DLT 2007) 11th International Conference on Developments in Language Theory
(ETAPS 2007) 10th European Joint Conferences on Theory and Practice of Software
(FCT 2007) 16th International Symposium on Fundamentals of Computation Theory
(MFCS 2007) 32nd International Symposium on Mathematical Foundations of Computer Science
(SFM-07:PE) 7th International School on Formal Methods for the Design of Computer, Communication and Software Systems: Performance Evaluation
(WABI 2007) 7th Workshop on Algorithms in Bioinformatics

(CCC 2006) 21st IEEE Conference on Computational Complexity
(CiE 2006) 2nd conference on Computability in Europe: Logical Approaches to Computational Barriers
(DLT 2006) 10th International Conference on Developments in Language Theory
(ETAPS'2006) European Joint Conferences on Theory and Practice of Software
(EWCG'06) 22nd European Workshop on Computational Geometry
(FoIKS 2006) 4th International Symposium on Foundations of Information and Knowledge Systems
(WABI 2006) 6th Workshop on Algorithms in Bioinformatics
(WINE 2006) 2nd international Workshop on Internet and Network Economics
(WoLLIC'2006) 13th Workshop on Logic, Language, Information and Computation

(AFL'05) 11th International Conference On Automata and Formal Languages
(CCC 2005) 20th IEEE Conference on Computational Complexity
(CIAA 2005) 10th International Conference on Implementation and Application of Automata
(CiE 2005) 1st Conference of Computability in Europe: New Computational Paradigms
(DCFS05) Descriptional Complexity of Formal Systems 2005
(DCOSS'05) International Conference on Distributed Computing in Sensor Systems
(DLT'05) 9th International Conference on Developments in Language Theory
(ETAPS'2005) European Joint Conferences on Theory and Practice of Software
(FroCoS 2005) 5th International Workshop on Frontiers of Combining Systems
(HiPC 2005) 12th Annual International Conference on High Performance Computing
(ICATPN 2005) 26th International Conference on Application and Theory of Petri Nets and Other Models of Concurrency
(ICTCS'05) 9th Italian Conference on Theoretical Computer Science
(SFM-05:Moby) 5th International School on Formal Methods for the Design of Computer, Communication and Software Systems: Mobile Computing
(SPAA'05) 17th ACM Symposium on Parallelism in Algorithms and Architectures
(TAPSOFT 2005) : Distinguished Lectures
(UC'05) UNCONVENTIONAL COMPUTATION
(WoLLIC'2005) 12th Workshop on Logic, Language, Information and Computation