The following conferences are happening at times close to that of TAB2000 and FTP2000, but not in such a nice place, except for ISSAC and CSL 2000 :-).
| 17-20 June | 17th ... Conference on Automated Deduction (CADE) | Pittsburgh, USA |
| 2529 June | 15th.... Conference on Logic in Computer Science (LICS) | Santa Barbara, USA |
| 28 June- 2 July | 10th ... Conference on Computer Aided Verification (CAV) | Vancouver, Canada |
| 3-5 July |
FTP |
St Andrews |
| 10-12 July | 11th ... Conference on Rewriting Techniques and Applications (RTA) | East Anglia, England |
| 2021 July | 7th Workshop on Automated Reasoning | London, England |
| 24-28 July | 1st ... Conference on Computational Logic | London, England |
| 23-31 July | Association for Symbolic Logic, Logic Colloquium | Paris, France |
| 7-9 Aug | ISSAC (Symbolic and Algebraic Computation) | St Andrews |
| 6-18 Aug | ESSLLI (Logic, Language & Information) | Birmingham, England |
| 21-26 Aug | Computer Science Logic, CSL | Fischbachau/Munich, Germany |