CiE Newsletter No.17, July 28, 2009 ___________________________________________________________________________ CONTENTS: 1. CCA 2009, August 18-22, 2009, Ljubljana, Slovenia - Early registration deadline: July 31, 2009 2. 2010 Federated Logic Conference (FLoC 2010) Edinburgh, Scotland, U.K., July 9-21, 2010 - Final call for workshop proposals 3. British Logic Colloquium 2009, Swansea, 3-5 September 4. 17th Workshop on Logic, Language, Information and Computation (WoLLIC 2010), Brasilia, Brazil - Call for Papers 5. Bletchley Park codebreakers reunion, and exhibition of cypher machines =========================================================================== 1. (from Peter Hertling) CCA 2009, August 18-22, 2009, Ljubljana, Slovenia - Early registration deadline: July 31, 2009: ______________________________________________________________ Call for Participation Sixth International Conference on Computability and Complexity in Analysis 2009 (CCA 2009) August 18-22, 2009, Ljubljana, Slovenia Early registration deadline: July 31, 2009 ______________________________________________________________ Invited Speakers * Mark Braverman (Cambridge, USA) * Vladik Kreinovich (El Paso, USA) * Dana Scott (Pittsburgh, USA) * Ning Zhong (Cincinnati, USA) Scientific Program Committee * Andrej Bauer (Ljubljana, Slovenia) * Vasco Brattka (Cape Town, South Africa) * Mark Braverman (Cambridge, USA) * Pieter Collins (Amsterdam, The Netherlands) * Peter Hertling, co-chair (Munich, Germany) * Hajime Ishihara (Ishikawa, Japan) * Ker-I Ko, co-chair (Stony Brook, USA) * Robert Rettinger (Hagen, Germany) * Victor Selivanov (Novosibirsk, Russia) * Alex Simpson (Edinburgh, Great Britain) * Dieter Spreen (Siegen, Germany) * Frank Stephan (Singapore) * Xizhong Zheng (Glenside, USA) Organizing Committee * Andrej Bauer, chair (Ljubljana, Slovenia) * Iztok Kavkler (Ljubljana, Slovenia) * Davorin Lešnik (Ljubljana, Slovenia) * Matija Pretnar (Ljubljana, Slovenia) Tutorials * Martin Escardo (Birmingham, UK) * Bas Spitters and Russell O'Connor (Eindhoven, The Netherlands) Venue Faculty of Mathematics and Physics, University of Ljubljana, and Institute of Mathematics, Physics, and Mechanics, Slovenia Registration Fees * Euro 100 until July 31, 2009 (standard fee) * Euro 120 after July 31, 2009 (late fee) Schedule The tentative schedule as well as further information on registration, accommodation, and traveling is available here: http://cca.fmf.uni-lj.si/ Proceedings Accepted papers will be published in an electronic proceedings volume in the DROPS series of Schloss Dagstuhl. In addition, a technical report containing the accepted papers will be available at the conference. It is planned to publish a special issue of some journal dedicated to CCA 2009 after the conference. Conference Web Page http://cca-net.de/cca2009/ =========================================================================== 2. (from Nicole Schweikardt) 2010 Federated Logic Conference (FLoC 2010) Edinburgh, Scotland, U.K., July 9-21, 2010 - Final call for workshop proposals: THE 2010 FEDERATED LOGIC CONFERENCE (FLoC 2010) Edinburgh, Scotland, U.K., July 9-21, 2010 http://www.floc-conference.org FINAL CALL FOR WORKSHOP PROPOSALS (proposals are due by July 31, 2009) * The fifth Federated Logic Conference (FLoC'10), will be 9-21 July, 2010 hosted by the University of Edinburgh. The following seven conferences will participate in FLoC: - International Conference on Computer-Aided Verification (CAV). Workshop Chair: Tomas Vojnar . - International Conference on Logic Programming (ICLP). Workshop Chair: Veronica Dahl . - International Joint Conference on Automated Reasoning (IJCAR). Workshop Chair: Aaron Stump . - International Conference on Interactive Theorem Proving (ITP). Workshop Chair: Michael Norrish . - IEEE Symposium on Logic in Computer Science (LICS). Workshop Co-Chairs: Adriana Compagnoni and Maribel Fernandez . - International Conference on Rewriting Techniques and Applications (RTA). Workshop Chair: Christopher A. Lynch . - International Conference on Theory and Applications of Satisfiability Testing (SAT). Workshop Chair: Carsten Sinz . * The organizers have made arrangements to facilitate the running of pre-, post-, and mid-FLoC workshops. Each workshop will have its own registration, with uniform FLoC workshop fees. It is not necessary to register for FLoC in order to attend workshops. Meeting rooms and accommodations will be reserved by the university in the center of Edinburgh. - Pre-FLoC workshops: Friday & Saturday, July 9-10 - Mid-FLoC workshops: Wednesday & Thursday, July 14-15 - Post-FLoC workshops: Tuesday & Wednesday, July 20-21. * Researchers and practitioners are invited to submit proposals for workshops on topics relating logic, broadly understood, applied to computer science. Each workshop proposal must indicate one sponsoring conference among the participating conferences. (It is suggested that prospective workshop organizers contact the relevant conference Workshop Chair before submitting a proposal.) Workshops will have to be financially self-supporting, unless the sponsoring conference accepts financial responsibility. The FLoC Organizing Committee will determine the final list of accepted workshops based on the recommendations from the Workshop Chairs of the sponsoring conferences and subject to the availability of space and facilities. * Proposals should consist of two parts. First, a short scientific justification of the proposed topic, its significance, and the particular benefits of the workshop to the community, as well as a list of previous or related workshops (if relevant). A second, organizational part should include: - contact information of the workshop organizers - proposed sponsoring conference - estimate of the audience size - proposed format and agenda (for example, demo sessions, tutorials, etc.) - potential invited speakers - procedures for selecting papers and participants - plans for dissemination, if any (for example, special issues of journals) - duration (which may vary from one day to two days) and preferred period - special technical or AV needs. * Workshops are strongly encouraged to find external financial support. This will be wholly their responsibility. Modest funding, based upon numbers of registrants, minus FLoC local expenses, will be made available to each workshop. * Proposals are due by July 31, 2009. Organizers will be notified by September 15, 2009. Proposals should be submitted electronically to EasyChair at the following address (which opens June 18, 2009): http://www.easychair.org/conferences/?conf=floc10cfw (Clearly indicate at the top of the proposal the relevant conference.) For further enquiries or information, please contact: Philip Scott (FLoC Workshop Chair) Department of Mathematics and Statistics University of Ottawa Ottawa, Ont. Canada K1N 6N5 Email: phil@site.uottawa.ca =========================================================================== 3. (from Natasha Alechina) British Logic Colloquium 2009, Swansea, 3-5 September: ------------------------------------------------------------- BRITISH LOGIC COLLOQUIUM 2009 Swansea, 3-5 September, still student grants available! ------------------------------------------------------------- BRITISH LOGIC COLLOQUIUM 2009 http://www.cs.swan.ac.uk/blc09/ The Annual Meeting of the British Logic Colloquium will be held at the Department of Computer Science, Swansea University, from Thursday to Saturday, September 3-5, 2009. The meeting is supported by the London Mathematical Society and the British Logic Colloquium. Confirmed invited speakers: Peter Dybjer (Gothenburg); Richard Kaye (Birmingham); Margarita Korovina (Manchester); Julien Melleray (Lyon); Paulo Oliva (Queen Mary); Mark Priestley (Westminster); Stephen Read (St Andrews); Peter Schuster (Leeds); Alexander Summers (Imperial); Neil Thapen (Prague); Stan Wainer (Leeds); Andreas Weiermann (Gent). We have space for a few contributed talks. Please send an abstract to Ulrich Berger (u.berger@swansea.ac.uk). Deadline: Monday, August 3, 2009 There are still a few student grants for UK-based research students funded by the London Mathematical Society available. See our web-site for details. Deadline: Monday, August 3, 2009. We have reserved a limited number of on campus accommodation. Please register and book accommodation by Monday, August 10, 2009, http://www.cs.swan.ac.uk/blc09/. Organizers: Ulrich Berger, Arnold Beckmann, Anton Setzer, Monika Seisenberger, John Tucker. =========================================================================== 4. (from Ruy de Queiroz) 17th Workshop on Logic, Language, Information and Computation (WoLLIC 2010), Brasilia, Brazil - Call for Papers: WoLLIC 2010 17th Workshop on Logic, Language, Information and Computation July 6th to 9th, 2010 Universidade de Brasilia, Brasilia, Brazil Scientific Sponsorship Interest Group in Pure and Applied Logics (IGPL) The Association for Logic, Language and Information (FoLLI) Association for Symbolic Logic (ASL) European Association for Theoretical Computer Science (EATCS) Sociedade Brasileira de Computacao (SBC) Sociedade Brasileira de Logica (SBL) Funding (tbc) Special: A screening of I want to be a mathematician: A conversation with Paul Halmos Organisation Department of Mathematics, Universidade de Brasilia, Brazil Centro de Informatica, Universidade Federal de Pernambuco, Brazil ____________________________________________________________________________ Call for Papers WoLLIC is an annual international forum on inter-disciplinary research involving formal logic, computing and programming theory, and natural language and reasoning. Each meeting includes invited talks and tutorials as well as contributed papers. The Seventeenth WoLLIC will be held in Brasilia, Brazil, from July 6th to 9th, 2010. It is sponsored by theAssociation for Symbolic Logic (ASL), the Interest Group in Pure and Applied Logics (IGPL), the The Association for Logic, Language and Information (FoLLI), the European Association for Theoretical Computer Science (EATCS), the Sociedade Brasileira de Computacao (SBC), and the Sociedade Brasileira de Logica (SBL). Special Event 2010 will mark the 50-th anniversary of the first publication of Paul Halmos' classic book Naive Set Theory by Springer Verlag. WoLLIC will celebrate this by screening the documentary about Paul Halmos which was directed by George Csicsery: "I want to be a mathematician. A conversation with Paul Halmos" http://zalafilms.com/films/halmos.html Paper submission Contributions are invited on all pertinent subjects, with particular interest in cross-disciplinary topics. Typical but not exclusive areas of interest are: foundations of computing and programming; novel computation models and paradigms; broad notions of proof and belief; formal methods in software and hardware development; logical approach to natural language and reasoning; logics of programs, actions and resources; foundational aspects of information organization, search, flow, sharing, and protection. Proposed contributions should be in English, and consist of a scholarly exposition accessible to the non-specialist, including motivation, background, and comparison with related works. They must not exceed 10 pages (in font 10 or higher), with up to 5 additional pages for references and technical appendices. The paper's main results must not be published or submitted for publication in refereed venues, including journals and other scientific meetings. It is expected that each accepted paper be presented at the meeting by one of its authors. Papers must be submitted electronically at the WoLLIC 2010 EasyChair website (soon to be announced). A title and single-paragraph abstract should be submitted by February 28, and the full paper by March 7 (firm date). Notifications are expected by April 12, and final papers for the proceedings will be due by May 3 (firm date). Proceedings The proceedings of WoLLIC 2010, including both invited and contributed papers, will be published in advance of the meeting as a volume in Springer's LNCS series (TBC). In addition, abstracts will be published in the Conference Report section of the Logic Journal of the IGPL, and selected contributions will be published as a special post-conference WoLLIC 2010 issue of a scientific journal (soon to be announced). Invited Speakers (tba) Student Grants ASL sponsorship of WoLLIC 2010 will permit ASL student members to apply for a modest travel grant (deadline: April 1, 2010). Seehttp://www.aslonline.org/studenttravelawards.html for details. Important Dates February 28, 2010: Paper title and abstract deadline March 7, 2010: Full paper deadline (firm) April 12, 2010: Author notification May 3, 2010: Final version deadline (firm) Programme Committee Veronica Becher (Buenos Aires) Rafaella Bernardi (Bolzano) Ricardo Bianconi (Sao Paulo) Vasco Brattka (Cape Town) Balder ten Cate (ENS, Cachan) Bob Coecke (Oxford) Adriana Compagnoni (Stevens) Marcelo Coniglio (Campinas) Anuj Dawar (Cambridge), chair Valentin Goranko (Copenhagen) Masahito Hasegawa (Kyoto U, Japan) Rosalie Iemhoff (Utrecht) Makoto Kanazawa (National Institute of Informatics, Japan) Giuseppe Longo (CNRS & ENS, Paris) Mike Mislove (Tulane) Michael Norrish (NICTA, Canberra) Bart Selman (Cornell) Scott Weinstein (Penn) Organising Committee Mauricio Ayala-Rincon (U Brasilia, Brazil) (co-chair) Flavio L. C. Moura (U Brasilia, Brazil) Claudia Nalon (U Brasilia, Brazil) Anjolina G. de Oliveira (U Fed Pernambuco, Brazil) Ruy de Queiroz (U Fed Pernambuco, Brazil) (co-chair) Further information Contact one of the Co-Chairs of the Organising Committee. Web page http://wollic.org/wollic2010/ Steering committee Samson Abramsky, Johan van Benthem, Joe Halpern, Wilfrid Hodges, Daniel Leivant, Angus Macintyre, Grigori Mints, Hiroakira Ono, Ruy de Queiroz =========================================================================== 5. (from Caroline Murdoch) Bletchley Park codebreakers reunion, and exhibition of cypher machines: A truly enigmatic reunion - LARGEST-EVER EXHIBITION OF ENIGMA & OTHER CYPHER MACHINES - IN CELEBRATION OF 70th ANNIVERSARY OF ARRIVAL OF CODEBREAKERS AT BLETCHLEY PARK - Saturday 5 and Sunday 6 September 2009 - On 4 September 1939, the day after the declaration of war by Prime Minister Chamberlain, codebreakers, including Alan Turing and Gordon Welchman, reported for top-secret duties at Bletchley Park and so began a most remarkable period in codebreaking history; the breaking of the Enigma. Today, Bletchley Park is home to an impressive permanent collection of Enigma and other vintage cypher machines and equipment but to mark this special anniversary weekend, the exhibits will multiply when over 70 more, previously top-secret, machines from all around the world will be on display. The arrival of these extraordinary encoding machines will coincide on the Sunday with Bletchley Park's Annual Enigma Reunion event, uniting them with many of the men and women who cracked their codes during World War Two, often without ever having seen the machine itself. The machines will be arriving from museums and private and government collections all around the world, including the UK's own Government Communications Headquarters (GCHQ), the USA's National Cryptologic Museum and military museums in Scandinavia and Europe. Some of the machines have never before been publicly shown in the UK - such as the Enigma KD, Swiss K, T and other interesting machines that are still under wraps until this event opens. Based on the same general principles, these Enigma models were developed for specific purposes and users: the Enigma T was made in Germany for the Japanese to encipher messages but only a few ever arrived at their destination, as many were intercepted or destroyed in convoy by the allied forces; Enigma K was an early commercially available version - originally the Enigma machine was designed for the banking industry and only later put to military use by Germany. Simon Greenish, director of the Bletchley Park Trust said, "We are extremely privileged to be hosting this event with the support of GCHQ. It promises to be an exciting, once-in-a-lifetime opportunity to see such a large number of the world's incredibly rare cypher machines in one place. The fact that we will also be in the presence of so many of Bletchley Park's exceptional wartime veterans will make it a truly phenomenal occasion." Other highlights of the Event will be special talks by VIP guest speakers, a Battle of Britain Memorial Flight flypast by a Lancaster on the Saturday, a World War Two RAF plotting table, World War Two re-enactors and the opportunity for the children to have a go at making and breaking codes in Spy Workshops. For visitor information, contact 01908 640404, info@bletchleypark.org.uk, or go to www.bletchleypark.org.uk Bletchley Park is open every day except Christmas Eve, Christmas Day, Boxing Day and New Years Day: 1 November to 31 March: weekdays, weekends and Bank Holidays 10.30am - 4.00pm. 1 April to 31 October: weekdays 9.30am - 5.00pm, weekends and Bank Holidays 10.30am - 5.00pm. =========================================================================== Items for the next CiE Newsletter should be sent to s.b.cooper@leeds.ac.uk to arrive by August 16, 2009 ___________________________________________________________________________ ASSOCIATION COMPUTABILITY IN EUROPE http://www.computability.org.uk CiE Conference Series http://www.illc.uva.nl/CiE CiE 2009 http://www.math.uni-heidelberg.de/logic/cie2009 CiE Membership Application Form http://www.cs.swan.ac.uk/acie ___________________________________________________________________________