BRITISH LOGIC COLLOQUIUM Registered Charity No 275541 http://www.cs.bham.ac.uk/~exr/blc President Professor J M E Hyland [Cambridge] Vice-President Professor T Williamson FBA FRSE [Oxford] Treasurer Professor D Macpherson [Leeds] Secretary Dr N Alechina [Nottingham] Dr U Berger [Swansea] Dr E Ritter [Birmingham] Dr G Wilmers [Manchester] --------------------------------------------------------- 1) BLC 2010 meeting web page: http://events.cs.bham.ac.uk/BLC2010 2) Conference `A snapshot of logic -some recent results in mathematical logic' (London, 16 June). 3) International Workshop on Classical Logic and Computation (CL&C'10) (Brno, 21-22 August 2010) 4) Meeting in Honor of Jouko Vnnen's 60th Birthday (Helsinki, 16-18 September 2010) ---------------------------------------------------------- 1) BLC 2010 has a web page: http://events.cs.bham.ac.uk/BLC2010 ------------------------------------------------------------ 2) There will be a conference `A snapshot of logic - some recent results in mathematical logic', to be held on 16 June, 2010 in London. Venue: the new UEA London centre of the University of East Anglia . The speakers will be: Wilfrid Hodges, Oren Kolman, Dugald Macpherson, Lajos Soukup and Simon Thomas. The conference will start at 10:30 and finish around 17:00. More details about the conference can be found at the web site http://www.uea.ac.uk//~h020/UEALondon --------------------------------------------------------------- 3) 2nd Call forPapers International Workshop on Classical Logic and Computation (CL&C'10) http://www.doc.ic.ac.uk/~svb/CLaC10 21-22 August 2010 Brno, Czech Republic CL&C'10 is a joint workshop with PECP and a satellite of the federated conferences CSL and MFCS IMPORTANT DATES Deadline for abstract: June, 13, 2010 Deadline for submission: June, 27, 2010 Notification of acceptance: July, 17, 2008 Final version due: July, 27, 2010 Workshop date: August, 21-22, 2010 INTRODUCTION CL&C'10 is the third of a conference series on "Classical Logic and Computation". It intends to cover all work aiming to explore computational aspects of classical logic and mathematics. This year CL&C will be held as part of CSL and MFCS, jointly with PECP (Program Extraction and Constructive Proofs): http://www.cs.swansea.ac.uk/~csmona/pecp.html Through these two workshops we wish to honour Prof. Helmut Schwichtenberg's many important contributions to both fields. CL&C is focused on the interplay between program extraction from classical proofs and computer science, while PECP will focus on recent developments in Applied Proof Theory and Constructive Mathematics. The two fields have a substantial common interest, namely the exploration of the computational content of mathematical and logical principles. The scientific aim of this workshop is to bring together researchers from both fields and exchange ideas. SCOPE OF CL&C This workshop aims to support a fruitful exchange of ideas between the various lines of research on Classical Logic and Computation. Topics of interest include, but are not limited to, - version of lambda calculi adapted to represent classical logic, - design of programming languages inspired by classical logic, - cut-elimination for classical systems, - proof representation and proof search for classical logic, - translations of classical to intuitionistic proofs, - constructive interpretation of non-constructive principles, - witness extraction from classical proofs, - constructive semantics for classical logic (e.g. game semantics), - case studies (for any of the previous points). SUBMISSION AND PUBLICATION, This is intended to be an informal workshop. Participants are encouraged to present work in progress, overviews of more extensive work, and programmatic/position papers, as well as completed projects. We therefore ask for submission both of short abstracts and of longer papers. All submitted papers will be reviewed to normal standards. The PC recognises two kinds of papers: it will distinguish between accepted (full) papers that contain unpublished results not submitted elsewhere, and presentations of (short) papers about work in progress. The accepted papers will appear in EPTCS. Post-proceedings of CL&C'06 and CL&C'08 were published as special issues of APAL, for which an open call for papers was sent. A special issue of a journal, with the post-proceedings of CL&C'10, is being considered. In order to make a submission: - Format your file using the LNCS guidelines; there is a 15 page limit. - Use the submission instructions at http://www.easychair.org/conferences/?conf=clac10 A participants' proceedings will be distributed at the workshop. INVITED KEYNOTE SPEAKERS (Jointly with PECP) * Helmut Schwichtenberg (Munich) * Michael Rathjen (Leeds) (further speakers to be announced) PROGRAMME COMMITTEE * Bernard Reus (Sussex) * Hugo Herbelin (Inria Paris) * Richard McKinley (Bern) * Stefano Berardi (Turin) - co-chair * Steffen van Bakel (Imperial College London) - co-chair * Stephane Lengrand (LIX Paris) * Ugo de'Liguoro (Turin) * Ulrich Berger (Swansea) - co-chair * Zhaohui Luo (Royal Holloway London) CONTACT u.berger@swansea.ac.uk ------------------------------------------------------------- 4) ******************************************************** Meeting in Honor of Jouko Vnnen's 60th Birthday University of Helsinki 16-18 September 2010 (with tutorials 13-15 September 2010) http://www.helsinki.fi/~kulikov/jouko/ ******************************************************** GENERAL INFORMATION This meeting, organized by the Helsinki Logic Group, is in honour of professor Jouko Vnnen's sixtieth birthday. Topics include model theory, set theory, foundations of mathematics, logic in computer science, semantics of natural language, games, generalized quantifiers, infinitary languages, and abstract logic. DATES AND VENUE The conference takes place 16-18 September 2010. There will be two tutorials 13-15th September 2010. All talks in the Pieni Juhlasali, Main Building of the University of Helsinki, Fabianinkatu 33, Finland. INVITED SPEAKERS * Peter Aczel University of Manchester, * Joan Bagaria, University of Barcelona, * John Baldwin, University of Illinois at Chicago * Zoe Chatzidakis, Universit Paris 7, * Mirna Damonja, University of East Anglia Norwich, * Pietro Galliani, University of Amsterdam, * Lauri Hella, University of Tampere, * Wilfrid Hodges, University of London, * Tapani Hyttinen, University of Helsinki, * Meeri Kesl, University of Helsinki, * Oskari Kuusela, University of East Anglia * Peter Koepke, University of Bonn, * Phokion Kolaitis, University of California, * Juha Kontinen, University of Helsinki, * Roman Kossak, City University of New York, * Michal Krynicki, Cardinal Stefan Wyszynski University, Warsaw * Menachem Magidor, Hebrew University of Jerusalem, * Ilkka Niiniluoto, University of Helsinki, * Per Martin-Lf, Stockholm University, * Jaroslav Nesetril, Charles University Prague * Jeff Paris, University of Manchester, * Krister Segerberg, University of Uppsala, * Stevo Todorcevic, University of Toronto & CNRS Paris, * Dag Westerstahl, Gteborg University, * Boris Zilber, University of Oxford. TUTORIALS * Andres Villaveces, Universidad Nacional de Colombia title: Model Theory of Sheaves. * Boban Velickovic, University of Paris 7 title: Transfinite games. SPONSORS * Aaltonen foundation * Finnish National Graduate School of Mathematics and Its Applications * Federation of Finnish Learned Societies * Modelling intelligent interaction - Logic in the Humanities, Social and Computational sciences FURTHER INFORMATION http://www.helsinki.fi/~kulikov/jouko/

*Page maintained by E.Ritter@cs.bham.ac.uk
*