7-11 July 2009
Amsterdam, The Netherlands
========================= ========================= ========================= ==== =09TOPOLOGY, ALGEBRA AND CATEGORIES IN LOGIC (TACL 2009) ========================= ========================= ========================= ==== =09=09=09call for participation =09=09=09---------------------- =09=09=09 7-11 July 2009 =09 Institute for Logic, Language and Computation =09=09 University of Amsterdam =09=09=09 The Netherlands =09=09 http://www.illc.uva.nl/tacl09/ ----- Scope ----- Studying logics via semantics is a well-established and very active branch of mathematical logic, with many applications, in computer science and elsewhe re. The area is characterized by results, tools and techniques stemming from various fields, including universal algebra, topology, category theory, ord er, and model theory. The program of the conference TACL 2009 will focus on thr ee interconnecting mathematical themes central to the semantical study of logi cs and their applications: algebraic, categorical, and topological methods. Th is is the fourth conference in the series Topology, Algebra and Categories in Logic (TACL, formerly TANCL). Earlier installments of this conference have been organized in Tbilisi (2003), Barcelona (2005), and Oxford (2007). --------------- Invited Speakers --------------- * Martin Hyland * Achim Jung * Vincenzo Marra * Paul-Andre Mellies * Ieke Moerdijk * Ales Pultr * Lutz Schroeder * Dana Scott * Kazushige Terui * Constantine Tsinakis ----------------- Contributed talks ----------------- A list of contributed talks can be found at the conference web site. --------------- Important dates --------------- June 7, 2009: Early registration deadline June 30, 2009: Online registration deadline July 7-11, 2009: Conference ----------------- Program Committee ----------------- Guram Bezhanishvili, New Mexico State University, USA Nick Bezhanishvili, Imperial College London, United Kingdom Nick Galatos, University of Denver, USA Mai Gehrke, Radboud Universiteit, Nijmegen, Netherlands (Chair) Rob Goldblatt, Victoria University, Wellington, New Zealand Rosalie Iemhoff, University of Utrecht, Netherlands Ramon Jansana, University of Barcelona, Spain Alexander Kurz, University of Leicester, United Kingdom Franco Montagna, University of Siena, Italy Drew Moshier, Chapman University, USA Hiroakira Ono, Japan Advanced Institute of Science and Technology, Japan Yde Venema, Universiteit van Amsterdam, Netherlands Steve Vickers, University of Birmingham, United Kingdom Michael Zakharyaschev, Birkbeck, Universty of London, United Kingdom ---------------- More Information ---------------- Please direct any queries to the conference email address: tacl09@uva.nl ========================= ========================= ========================= ====