Atlas home || Conferences | Abstracts | about Atlas
Host: Rand Afrikaans University
Sponsor: South African National Research Foundation (NRF), Rand Afrikaans University (RAU), University of Natal, Durban (UND)
Homepage: http://proof.mth.uct.ac.za/~pjipsen/luatcs99/
Email: luatcs99@na.rau.ac.za
Organizers: Isabella Burger (RAU, local arrangements), Val Goranko (RAU, co-chair), Peter Jipsen (University of Cape Town, co-chair)
Description:
LUATCS'99 is organized under the auspices of the Department of Mathematics at the Rand Afrikaans University (RAU) in
Johannesburg, South Africa, the National Research Foundation of South Africa (NRF), 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).
ACTIVITIES: Short introductory and advanced courses, tutorials and workshops on each of the three subjects: Logic, Universal Algebra and Theoretical Computer Science, as well as combined courses and tutorials/workshops on specific topics within the scope of the school. Also, there will be open sessions with contributed talks.
The courses and tutorials will be given by invited lecturers and will be grouped in two parts: introductory and advanced.
The purpose of the single-subject courses is to give a concise introduction into the basics, and some advanced topics of the subject for participants with little or no background (for the introductory courses) and with basic knowledge (for the advanced courses) in the subject.
The purpose of the interdisciplinary courses, tutorials, and workshops is to discuss the interaction between the subjects of the school.
A general purpose of the school is to reflect the current development of each of the three subjects and the interaction between them, with an emphasis on recent trends and research topics in them.
The introductory part is aimed at lower graduate (honours and masters) students but will be accessible for undergraduates majoring in mathematics and computer science too. Essentially no special knowledge, but some formal background, will be expected for these courses. The advanced part will be suitable for higher graduate (masters and doctoral) students and researchers.
Speakers: Patrick Blackburn (University of Saarland, Germany), Matt Valeriote (McMaster University, Canada), Austin Melton (Kent State University, USA), Yde Venema (University of Amsterdam, Netherlands), Holger Schlingloff (University of Bremen, Germany), H. Peter Gumm (University of Marburg, Germany), Johan van Benthem (University of Amsterdam, Netherlands), Game theory and modal logic, Zhou Chaochen (United Nations University, Macau), Duration Calculus, 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), Wilfrid Hodges (Queen Mary and Westfield College, UK), Bart Jacobs (University of Nijmegen, Netherlands) and, Jan Rutten (Centre for Mathematics and Computer Science, Netherlands), Thomas Jech (The Pennsylvania State University, USA), Maarten de Rijke (University of Amsterdam, Netherlands), Moshe Vardi (Rice University, USA), Jeff Zucker (McMaster University, Canada)
Mail Address:
LUATCS'99, Department of Mathematics, Rand Afrikaans University, PO BOX 524, Auckland Park 2006, South Africa
Date received: September 18, 1999
© 2008 Atlas Conferences Inc.