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 THIRD ANNOUNCEMENT & PROGRAMME Last Update: 24 November 1999 DEAR LECTURERS AND PARTICIPANTS, One month before the beginning of the LUATCS'99, the preparation is getting in full swing. We are looking forward to a very interesting and memorable event! With this announcement we are sending you the detailed programme and a few important requests. Please respond in time! I. PROGRAM PART 1: December 1-4: INTRODUCTORY COURSES. (Legend: L: Logic, UA: Universal Algebra, TCS: Theoretical Computer Science) 9.00-10.00: L: Patrick Blackburn 10.15-11.15: UA: Matt Valeriote 11.30-12.30: TCS: Austin Melton 12.30-14.00: Lunch break 14.00-15.00: L & UA: Yde Venema 15.15-16.15: UA & TCS: H. Peter Gumm 16.30-17.30: L & TCS: Holger Schlingloff 17.45-18.15: L: Patrick Blackburn / tutorial session SUNDAY, December 5: 12.00 - 16.00: registration for part 2. MONDAY, December 6: 8.00-8.30: registration 8.30- 8.50: Opening 9.00- 9.50: Vardi(1) / Davey(1) 10.00-10.50: Jacobs(1) / Farley(1) 10.50-11.10: Coffee break 11.10-12.00: Baltag(1) / Gehrke(1) 12.10-13.00: Dawar(1) / Zucker(1) 13.00-14.30: Lunch break 13.30-14.30: registration 14.30-15.20: de Rijke(1) / Jech(1) 15.30-16.30: Zhou(1) / Hirsh(Kurucz) 16.30-16.45: Coffee break 16.45-17.30: Zhou(2) / Hirsh(Hodkinson) 17.35-18.30: OPEN SESSION: 17.35-18.00: Beziau / Denecke / Visser 18.05-18.30: Bilyk / Delic / Raja TUESDAY, December 7: 9.00- 9.50: Vardi(2) / Davey(2) 10.00-10.50: Rutten(1) / Hirsh(Mikulas) 10.50-11.10: Coffee break 11.10-12.00: Baltag(2) / Gehrke(2) 12.10-13.00: Dawar(2) / Zucker(2) 13.00-14.30: Lunch break 14.30-15.20: de Rijke(2) / Jech(2) 15.30-16.20: Jacobs(2) / Farley(2) 16.20-16.40: Coffee break 16.40-17.30: Hodkinson(1) / Hodges(1) 17.40-18.30: Hodkinson(1-cont.) / Hirsh(Ahmed) WEDNESDAY, December 8: 9.00- 9.50: Vardi(3) / Davey(3) 10.00-10.50: Rutten(2) / Hodges(2) 10.50-11.10: Coffee break 11.10-12.00: Baltag(3) / Gehrke(3) 12.10-13.00: Dawar(3) / Zucker(3) 13.00-14.30: Lunch break 14.30-15.20: de Rijke(3) / Jech(3) 15.30-16.20: Jacobs(3) / Farley(3) 16.20-16.40: Coffee break 16.40-17.25: Hodkinson(Dawar) / Hodges(3) 17.30-18.55: OPEN SESSION: 17.30-17.55: Haviar / Rossiger / Shimoda 18.00-18.25: Halas / Areces / Rewitzky 18.30-18.55: Rachunek / Marcos / Velinov 19.30: Dinner THURSDAY, December 9: 9.00- 9.50: Vardi(4) / Davey(4) 10.00-10.50: Rutten(3) / Hodges(4) 10.50-11.10: Coffee break 11.10-12.00: Baltag(4) / Gehrke(4) 12.10-13.00: Dawar(4) / Zucker(4) 13.00-14.30: Lunch break 14.30-15.20: de Rijke(4) / Hirsh 15.30-16.20: Jacobs(4) / Farley(4) 16.20-16.40: Coffee break 16.40-17.30: Hodkinson(Hodges) / Gehrke(Nagahashi) 17.35-18.30: OPEN SESSION: 17.35-18.00: Chajda / Caceres / Grygiel 18.05-18.30: Criado / Hounnon / FRIDAY, December 10: 9.00- 9.50: Vardi(5) / Davey(5) 10.00-10.50: Rutten(4) / Hodges(5) 10.50-11.10: Coffee break 11.10-12.00: Baltag(5) / Hirsch(Venema) 12.10-13.00: Dawar(5) / Zucker(5) 13.00-14.30: Lunch break 14.30-15.20: Hodkinson(2) / Farley(5) 15.30-16.20: de Rijke(5) / 16.20-16.40: Coffee break 16.40: Closure SATURDAY, December 11: 9.30-17.00: outings to Gold Reef City and Lion & Rhino Nature Reserve and Sterkfontain caves. PART 2: December 6-10: COURSES, TUTORIALS, WORKSHOPS (for abstracts and updates, see the webpage). -) Alexandru Baltag: Game theory and modal logic. -) Zhou Chaochen: Duration calculus and its treatment for continuous time. -) Brian Davey: An introduction to the theory of natural dualities. -) Anuj Dawar: Fixed point logics and finite model theory. -) Jonathan Farley: Exponentiation, duality, and the arithmetic of ordered sets and lattices. -) Mai Gehrke: Lattices with additional operations. -- Hideo Nagahashi: Generalized Modal Logic -) Robin Hirsch: Algebraic logic workshop. Programme: -- Agi Kurucz: Introduction to algebraic logic. -- Ian Hodkinson: The Rainbow construction for relation algebras. -- Szabolcs Mikulas: Reducts of relation algebras. -- Tarek Ahmed: Relation algebras, cylindric algebras and neat reducts. -- Robin Hirsch and Roger Maddux: Algebraic Logic and first-order proof theory. -- Yde Venema: Complex algebras. -) Wilfrid Hodges: Advanced course on logic: Distinguishing one structure from another. -) Ian Hodkinson: Games and logic workshop. Programme: -- Ian Hodkinson (1): Some games in temporal logic. -- Anuj Dawar: Finite variable games on finite models. -- Wilfrid Hodges: Game semantics for Hintikka-Sandu logic. -- Ian Hodkinson (2): Representability is undecidable for finite relation algebras. -) Bart Jacobs: Exercises in coinduction and coalgebraic specification. (Introduction to co-algebraic specification via examples). -) Thomas Jech: Left-distributive algebras. -) Maarten de Rijke: Computing with modal logic. -) Jan Rutten: Exercises in coinduction and coalgebraic specification. (Definitions and proofs by co-induction). -) Moshe Vardi: Automata-theoretic approach to automated verification. -) Jeff Zucker: Computability on abstract algebras. OPEN SESSION (CONTRIBUTED TALKS): - Carlos Areces: Accounting for assertional information. - Jean-Yves Beziau: From Paraconsistent Logic to Universal Logic. - Olexiy Bilyk* and Yaroslav Bilyk: On Hilbert's Endeavour to Formalise Mathematics. - A. Bujosa and R. Criado*: The Zorn condition: a characterization of algebraic closure systems. - Luis Caceres-Duque: Ultraproduct of Ideals in a Noetherian Ring. - Ivan Chajda: Deductive systems in universal algebra. - Dejan Delic: Locally finite discriminator varieties with group stalks. - K. Denecke and O. L"ders: Categorical Equivalence of Varieties and Invariant Relations. - Brian A. Davey and Miroslav Haviar*: An efficient transfer of strong dualities. - Joanna Grygiel: Constructing distributive lattices with a given link lattice. - R. Halas: Algebraic properties of generalized MV-algebras. - Hippolyte Hounnon: Second Order Varieties of Semirings. - Joao Marcos: Possible translations semantics: a special way of combining logics. - Hideo Nagahashi: Generalized modal logic. - Jiri Rachunek: A non-commutative generalization of MV-algebras. - Natarajan Raja: Combinators for Concurrent Computing. - Ingrid Rewitzky: A power algebra of games of choice. - Martin Rossiger: Modal logic for coalgebras. - Mamoru Shimoda: A natural interpretation of fuzzy mapings. - Yuri Velinov: Multicategories in computer science. - Willem C. Visser: Analytic Verification at NASA: A View from the Trenches. You can view the abstracts of the courses, tutorials, workshops and contributed talks on our webpage at: http://proof.mth.uct.ac.za/~pjipsen/luatcs99 mirrored at http://math.vanderbilt.edu/~pjipsen/luatcs99. II. TRAVEL, ACCOMMODATION, AND VARIA: 1. IF YOU HAVE NOT SENT US THE DETAILS OF YOUR ARRIVAL AND DEPARTURE (date, time, flight No., if applicable) YET, PLEASE DO SO AS SOON AS POSSIBLE. We shall organize shuttle cars between the airport, RAU and the hotels on November 30, December 5, 11 and 12. Soon we shall send you a schedule of the shuttles and instructions how to get here, in case you cannot make use of them. 2. Also, you will be notified soon on the details regarding your accommodation during the second part. 3. Don't forget that December is summer time down here, so you can leave your coats and gloves at home, but be prepared for some good rains, too. We are looking forward to meeting you soon! If you have any queries, do not hesitate to contact us at luatcs99@na.rau.ac.za, fax: ++27-11-489-2874, phone: ++27-11-489-2835 (Dept. of Mathematics, RAU). You can also contact each of us directly: Isabella Burger (local arrangements): icb@na.rau.ac.za. Val Goranko (co-chair): vfg@na.rau.ac.za Peter Jipsen (co-chair): pjipsen@maths.uct.ac.za Anita du Plessis (secretary): adpl@na.rau.ac.za or send a letter to: LUATCS'99 Department of Mathematics Rand Afrikaans University PO BOX 524 Auckland Park 2006 South Africa