List of Research Groups in Logic and Theoretical Computer Science World-wide

Conferences

(Since conference sites are changing rapidely, this is only a very small collection. I am very much interesting in links to conferences regularly taking place. Please supply me with such informations. Thank you. Anton Setzer , .

Overview

• 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)

Homepages of conferences regularly taking place

• 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

Announcements of Conferences

• 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

Sites with Collections of Conference Announcements

• 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)
  • Mathematics
    • Algorithms
    • Logic
  • Computer Science
    • Algorithms
    • Formal Languages
    • Fuzzy Logic
    • Logic
    • Theoretical Computer Sciences
• 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

Other Sites on this server

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

Please mail additions and corrections to Anton Setzer , .

---

Dept. of Computer Science, University of Wales Swansea | Last modified: Oct 12, 1999 | URL http://www-compsci.swan.ac.uk/~csetzer/logic-server/conferences.html | Anton Setzer,

• University of Wales Swansea
  • Department of Computer Science
    • Theoretical Computer Science