- Sites with Collections of Conference Announcements
- Announements of Conferences
- Homepages of Conferences regularly taking place
- Other Sites on this Server
- Conferences that already took place (external file)
- Back to Logic-server Worldwide (external file)

- Computability in Europe (CiE)
- Typed Lambda Calculi and Applications (TLCA)
- ASL Meetings --- Logic Colloquium, ASL Winter Meeting, ASL Spring Meeting.
- See as well Meetings, conferences and announcements of interest for logicians (ASL)

- EACSL -- CSL
- Kurt Gödel Society -- Kurt Gödel Colloquium
- LICS (Logic in Computer Science)
- The British Logic Colloquium
- British Colloquium for Theoretical Computer Science
- Advances in Modal Logic
- ACM Association for Computing Machinery -- Many conferences
- SIAM Society for Industrial and Applied Mathematics

- Computability in Europe (CiE) 2006, Swansea
- Schütte Colloquium
- II World Congress on Paraconsistency (WCP'2000) (May 8 - 12, 2000)x
- Congress of Mathematics, Satellite Conference: Barcelona Logic Meeting (July 6-8, 2000)
- LICS 2000
- CSL 2000
- Logic Colloquium 2000 Paris

- Colibri Agenda (Colibri is a newsletter and WWW-site on language and speech technology and logic).
- Meetings, conferences and announcements of interest for logicians (ASL)
- Logic-Related Conferences (LICS)
- Conference Deadlines
- Conference Announcement by Frauenhofer Institute (contains almost everything you need)
- DIKU TOPPS list of Programming Language Theory Conferences
- Conferences relevant for Deduction
- LICS Logic in Computer Science (u.a. Newsletter)
- News.Announce.Conferences-Newsgroup
- European Mathematical Society Conference Announcements
- Yahoo: Computer Science Conferences

- Conferences that already took place (external file)
- Back to Logic-server Worldwide (external file)