[ Main Page | Second Announcement ( .txt) | Registration Form ( .txt) ]

Click on the name of the lecturer/organizer to whom you would like to send an email submission. If you are not sure, or if you want to submit to the open session, email luatcs99@na.rau.ac.za

• Hajnal Andreka, Istvan Nemeti (Math. Inst. Hungarian Acad. of Sciences):
  • Logic, relativity theory and Tarskian geometry.
• Johan van Benthem (Univ. of Amsterdam, Netherlands):
  • Game theory and modal logic.
• Zhou Chaochen, (United Nations Univ., Macau):
  • Duration Calculus.
• Anuj Dawar (Univ. of Cambridge, UK):
  • Fixed point logics and finite model theory.
• Brian Davey (La Trobe Univ.,Australia):
  • Advanced universal algebra.
• Jonathan Farley (Vanderbilt University, USA)
  • Exponentiation, Duality, and the Arithmetic of Ordered Sets and Lattices.
• Mai Gehrke (New Mexico State Univ., USA):
  • Lattices with additional operations.
• Robin Hirsch (Univ. College London, UK):
  • Algebraic logic.
• Wilfrid Hodges (Queen Mary and Westfield College,UK):
  • Advanced logic.
• Bart Jacobs (University of Nijmegen, Netherlands) and
  Jan Rutten (Centre for Mathematics and Computer Science, Netherlands):
  • Co-algebra, theory and applications.
• Thomas Jech (Penn State Univ., USA):
  • Left-distributive algebras.
• Maarten de Rijke (Univ. of Amsterdam, Netherlands):
  • Computational logic and automated theorem proving.
• Moshe Vardi (Rice Univ., USA):
  • Automata-theoretic approach to design verification.
• Jeff Zucker (McMaster Univ., Canada),
  • Computability on abstract algebras.