| deadline | dates & place | ||
| Asian | July | Dec 10-12, 99, Phuket, Thailand | Asian Computing Science Conference |
| CADE | Mar 6 | Aug 16-21, 06, Seattle | International Conference on Automated Deduction. CADE homepage |
| CAV | Jan 27 | Aug 16-20, 06, Seattle | Conference on Computer-Aided Verification |
| CONCUR | Mar 23 | Aug 27-30, 06, Bonn | Int. conf. on CONCURrency theory |
| CSL | May 1 | 25-29 Sept 06, Szeged, Hungary | conf. of the european ass. for CS Logic (EACSL) |
| CMSB | Jan | 3-5 April 05, Edinburgh, UK | Workshop on Computational Methods in Systems Biology |
| ETAPS | Oct | Mar 25 - Apr 2, 06, Vienna | European joint conf. on Theory and Practice of Software: CC, ESOP, FASE, FOSSACS, TACAS |
| FLOC | . | Aug 10-22, 06, Seattle | Federated Logic Conference: CAV, ICLP, IJCAR, LICS, RTA, SAT |
| FOCS | April 8 | Oct 22-25, 05, Pittsburgh | IEEE symposium on Foundations Of Computer Science |
| FSTTCS | June | Dec 15-18, 05, Hyderabad, India | Foundations of Software Technology and Theoretical CS |
| ICFP | April | Sept 18-20, 06, Portland, Oregon | ICFP: International Conference on Functional Programming |
| ICALP | Feb 10 | July 9-16, 06, Venice | Int. Colloquium on Automata, Languages, and Programming |
| IJCAR | Feb 27 | Aug 16-21, 06, Seattle | Int. Joint Conf. on Automated Reasoning: CADe, FroCoS, FTP, Tableaux, TPHOLs |
| LFM:TP | May | Aug 16, 06, Seattle | Int. Workshop on Logical Frameworks and Meta-languages |
| LICS | Feb 10 | Aug 12-15, 06, Seattle | IEEE Symp. on Logic In Computer Science. LICS homepage |
| LPAR | April | 2-6 Dec 05, Montego Bay, Jamaica | Int conf on Logic for Programming Artificial Intelligence and Reasoning |
| MERLIN | June | Sept 30, 05, Talinn, Estonia | Workshop on MEchanized Reasoning about Languages with varIable biNding |
| MFCS | Apr 3 | Aug 28 - Sept 1, 06, High Tatras, Slovakia | Mathematical Foundations of Computer Science |
| MFPS | Jan | May 24-27, 06, Genova, Italy | Mathematical Foundations of Programming Semantics |
| MPC | Jan | 3-5 July 06, Kuressaare, Estonia | Int. Conf. on Mathematics of Program Construction |
| POPL | July | Jan 11-13, 06, Charleston | POPL: ACM SIGPLAN-SIGACT symp. on Principles Of Prog. Languages. |
| PPDP | Mar 15 | 10-12 July 06, Venice | ACM-SIGPLAN int. Conf. on Principles and Practice of Declarative Programming (PPDP) |
| RTA | Feb | Aug 12-14, 06, Seattle | Int. Conf. on Rewriting Techniques and Applications RTA homepage |
| SOS | June | Aug 26, 06, Bonn | Workshop on Structural Operational Semantics |
| STACS | Sept | Feb 23-25, 06, Marseille | Symp. on Theoretical Aspects of CS (FCS/AFCET) |
| TACS | April | Oct 29-31, 01, Sendai, Japan | Theoretical Aspects of Computer Science |
| TCS | Jan | Aug 22-24, 06, Santiago | IFIP Int. Conf. on Theoretical Computer Science |
| TLCA | Oct | April 21-23, 05, Nara, Japan | Int. conf. on Typed Lambda Calculi and Applications. TLCA homepage |
| TPHOLs | Mar 6 | Aug 16-21, 06, Seattle | Int. conf on Theorem Proving in Higher Order Logics |
| TYPES | . | 18-21 April 06, Nottingham, UK | TYPES annual meeting |