[ US Mirror | Second Announcement | Third Announcement | Travel and Accomodation ]

Logic, Universal Algebra, Theoretical Computer Science

L UA TCS L&UA L&TCS UA&TCS

Prepare for the 21st century

FIRST SOUTHERN AFRICAN SUMMER SCHOOL AND WORKSHOP ON

LOGIC,
UNIVERSAL ALGEBRA, AND
THEORETICAL COMPUTER SCIENCE

(LUATCS'99)

Rand Afrikaans University, Johannesburg, South Africa
December 1-10, 1999

(Last change: 7 January 2000)

ADVISORY BOARD: Samson Abramsky, Hajnal Andreka, Johan van Benthem (Chair), Chris Brink, Robin Hirsch, Wilfrid Hodges, Bjarni Jonsson, Istvan Nemeti, Jeff Zucker

Part 1: Introductory courses, December 1-4, RAU-Island (Vaal Dam).

• Patrick Blackburn (University of Saarland, Germany)
  • Introduction to Logic
• Matt Valeriote (McMaster University, Canada)
  • Introduction to Universal Algebra
• Austin Melton (Kent State University, USA)
  • Introduction to Theoretical Computer Science
• Yde Venema (University of Amsterdam, Netherlands)
  • Introduction to Logic and Universal Algebra Course notes (.ps 337K)
• Holger Schlingloff (University of Bremen, Germany)
  • Introduction to Logic and Theoretical Computer Science
• H. Peter Gumm (University of Marburg, Germany)
  • Introduction to Universal Co-Algebra and Theoretical Computer Science

Part 2: Advanced courses, Tutorials and Workshops, December 6-10, Rand Afrikaans University (Johannesburg). Lecturers/Organizers and Topics:

• Alexandru Baltag (Centre for Mathematics and Computer Science, Netherlands)
  • Game theory and modal logic
• Zhou Chaochen (United Nations University, Macau)
  • Duration Calculus and its Treatment for Continuous Time
• Brian Davey (La Trobe University, Australia)
  • An Introduction to the Theory of Natural Dualities
• Anuj Dawar (University of Cambridge, UK)
  • Fixed point logics and finite model theory
• Jonathan Farley (Vanderbilt University, USA)
  • Exponentiation, duality, and the arithmetic of ordered sets and lattices
• Mai Gehrke (New Mexico State University, USA)
  • Lattices with additional operations
• Robin Hirsch (University College London, UK)
  • Algebraic logic
• Wilfrid Hodges (Queen Mary and Westfield College,UK)
  • Advanced course on logic: Distinguishing one structure from another
• Ian Hodkinson (Imperial College,UK)
  • Some Applications of Games in Logic
• Bart Jacobs (University of Nijmegen, Netherlands)
  • Exercises in coinduction and coalgebraic specification (Introduction to co-algebraic specification via examples) Slides of talks (.ps 303K) (.ps.Z 146K)
• Thomas Jech (The Pennsylvania State University, USA)
  • Left-distributive algebras
• Maarten de Rijke (University of Amsterdam, Netherlands)
  • Computing with Modal Logic
• Jan Rutten (Centre for Mathematics and Computer Science, Netherlands)
  • Exercises in coinduction and coalgebraic specification (Definitions and proofs by co-induction)
• Moshe Vardi (Rice University, USA)
  • Automata-theoretic approach to design verification
• Jeff Zucker (McMaster University, Canada)
  • Computability on abstract algebras
• Open Session,
  • List of participants and abstracts

Third Announcement and preliminary Programme (see also Second Announcement for more general information)

Information on Travel and Accomodation

Map of the way from Johannesburg airport to the Road Lodge, Randburg (for those who are staying there).

Location map of Ridgeway Hotel, Randburg

Location map of Wits University Student Hostel

Organised by: Department of Mathematics, Rand Afrikaans University (RAU), the Laboratory for Formal Aspects and Complexity in Computer Science (FACCS-Lab) at the University of Cape Town, and the Interest Group in Logic, Universal Algebra and Theoretical Computer Science at the South African Mathematical Society (SAMS).

Sponsored by: the South African National Research Foundation (NRF), Rand Afrikaans University (RAU), University of Natal, Durban (UND), FACCS-lab (UCT), Anglo American, Xerox South Africa

Organizing Committee:
Isabella Burger (RAU, local arrangements, icb@na.rau.ac.za ),
Val Goranko (RAU, co-chair, vfg@na.rau.ac.za),
Peter Jipsen (University of Cape Town, co-chair, pjipsen@maths.uct.ac.za).

For more information, a registration form, and/or to participate at a workshop, please consult the LUATCS99 webpage at