Newsletter 137 June 1, 2012 ******************************************************************* * Past issues of the newsletter are available at http://www.informatik.hu-berlin.de/lics/newsletters/ * Instructions for submitting an announcement to the newsletter can be found at http://www.informatik.hu-berlin.de/lics/newsletters/inst.html ******************************************************************* TABLE OF CONTENTS * LICS MATTERS LICS 2012 - Call for Participation * DEADLINES Deadlines in the coming weeks * CALLS FOR PAPERS FACS 2012 - Final Call for Papers ESSLLI 2013 - Call for Course and Workshop Proposals CICLOPS 2012 - Call for Papers SOFSEM 2013 - Call for Papers GAMES 2012 - Call for Contributions YR-CONCUR 2012 - Call for Papers GCM 2012 - Call for Papers DS-Event-B-2012 - Call for Papers * CALLS FOR PARTICIPATION CiE 2012 TURING CENTENARY CONFERENCE - Final Call for Participation THE TURING CENTENARY CONFERENCE - Call for Participation IJCAR 2012 - Call for Participation CAV 2012 - Call for Participation * SCHOOLS ISR 2012 - Call for Participation ESSLLI 2012 - Call for Participation SEFM 2012 - Call for Applications NASA/NIA PVS Class - Call for Participation FSFLA 2012 - Call for Participation * AWARDS E. W. BETH DISSERTATION PRIZE - Call for Nominations * POSITIONS POSTDOC POSITION AT INRIA/LIG, GRENOBLE, FRANCE PHD POSITIONS AT ETH ZURICH 27TH ANNUAL ACM/IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE (LICS 2012) Call for Participation June 25-28, 2012 Dubrovnik, Croatia http://www2.informatik.hu-berlin.de/lics/lics12/ * The LICS Symposium is an annual international forum on theoretical and practical topics in computer science that relate to logic, broadly construed. LICS 2012 will be hosted by the University of Dubrovnik, in Dubrovnik, Croatia, from June 25th to 28th, 2012. * TUTORIALS LICS 2012 will continue the tradition of pre-conference tutorials that was initiated in 2011. This year, Jan Willem Klop will give a tutorial on term rewriting systems and Andre Platzer will give a tutorial on logics of dynamical systems. * SPECIAL EVENTS AND INVITED LECTURES There will be an invited lecture by Robert J. Aumann, winner of the 2005 Nobel Prize in Economic Sciences, and a plenary session in honor of Alan Turing on the occasion of his centenary, with talks by Robert L. Constable, E. Allen Emerson (co-winner of 2008 A. M. Turing Award), Joan Feigenbaum, and Leonid Levin. * AFFILIATED WORKSHOPS - June 24 (Sunday) Logic and Computational Complexity (LCC'12) Syntax and Semantics of Low-Level Languages (LOLA'12) - June 29 (Friday) Algorithmics on Infinite-State Systems (AISS'12) Games for Logic and Programming Languages (GALOP'12) Intersection Types and Related Systems (ITRS'12) Logic and Systems Biology (LSB'12) * REGISTRATION Visit http://www2.informatik.hu-berlin.de/lics/lics12/ and follow the link to "Registration". In case of any problems, please contact the conference chairs: - Vlatko Lipovac, Univ. of Dubrovnik (vlipovac at unidu.hr) - Andre Scedrov, Univ. of Pennsylvania (scedrov at math.upenn.edu) DEADLINES * FACS 2012 Abstract submission: Jun 8, 2012 http://www.cmu.edu/silicon-valley/facs12/ * ESSLLI 2013 Proposal submission deadline: Jun 15, 2012 http://esslli2013.de/ * CICLOPS 2012 Paper submission: Jun 20, 2012 http://www.cs.unipr.it/ciclops12/ * SOFSEM 2013 Abstract deadline: Jun 22, 2012 http://www.sofsem.cz/ * GAMES 2012 Abstract submission: Jun 27, 2012 http://www.games.unina.it/ * YR-CONCUR Deadline for 4-page abstracts: Jun 29, 2012 http://www.lsv.ens-cachan.fr/~bollig/YR-CONCUR12/ * E. W. BETH DISSERTATION PRIZE Deadline for Nominations: Jun 30, 2012 * GCM 2012 Abstract Submission: Jul 8, 2012 http://gcm2012.imag.fr/ * DS-Event-B-2012 Submission Deadline: Aug 10, 2012 http://research.nii.ac.jp/eventb2012/ 9TH INTERNATIONAL SYMPOSIUM FORMAL ASPECTS OF COMPONENT SOFTWARE (FACS 2012) Final Call for Papers Mountain View, USA, September 12-14, 2012 http://www.cmu.edu/silicon-valley/facs12/ * INVITED SPEAKERS - Shaz Qadeer, Microsoft, USA http://research.microsoft.com/en-us/people/qadeer/ - Tevfik Bultan, University of California Santa Barbara, USA http://www.cs.ucsb.edu/~bultan/ * SCOPE The component-based software development approach has emerged as a promising paradigm to cope with the complexity of present-day software systems by bringing sound engineering principles into software engineering. However, many challenging conceptual and technological issues still remain in component-based software development theory and practice. Moreover, the advent of service-oriented computing has brought to the fore new dimensions, such as quality of service and robustness to withstand inevitable faults, that require revisiting established component-based concepts in order to meet the new requirements of the service-oriented paradigm. FACS 2012 is concerned with how formal methods can be used to make component-based and service-oriented software development succeed. Formal methods have provided a foundation for component-based software by successfully addressing challenging issues such as mathematical models for components, composition and adaptation, or rigorous approaches to verification, deployment, testing, and certification. * TOPICS The symposium seeks to address the applications of formal methods in all aspects of software components and services. Specific topics include, but are not limited to: - formal models for software components and their interaction - formal aspects of services, service oriented architectures, business processes, and cloud computing - design and verification methods for software components and services - composition and deployment: models, calculi, languages - formal methods and modeling languages for components and services - model based and GUI based testing of components and services - models for QoS and other extra-functional properties (e.g., trust, compliance, security) of components and services - components for real-time, safety-critical, secure, and/or embedded systems - industrial or experience reports, and case studies - update and reconfiguration of component and service architectures - component systems evolution and maintenance - autonomic components and self-managed applications - formal and rigorous approaches to software adaptation and self-adaptive systems * IMPORTANT DATES Abstract submission: June 8, 2012 Paper submission: June 15, 2012 Notification: July 27, 2012 Final version due: August 13, 2012 Symposium: September 12-14, 2012 * PROGRAM CO-CHAIRS Corina Pasareanu, NASA Ames, USA Gwen Salaun, Grenoble INP, INRIA, France * PUBLICITY CHAIR Javier Camara, University of Coimbra, Portugal * PROGRAM COMMITTEE Erika Abraham, RWTH Aachen University, Germany Farhad Arbab, CWI and Leiden University, The Netherlands Christian Attiogbe, University of Nantes, France Christel Baier, Technical University of Dresden, Germany Luis Barbosa, University of Minho, Portugal Frank de Boer, CWI, The Netherlands Roberto Bruni, University of Pisa, Italy Carlos Canal, University of Malaga, Spain Jose Luiz Fiadeiro, University of Leicester, UK Carlo Ghezzi, Politecnico di Milano, Italy Rolf Hennicker, Ludwig-Maximilians-Universitat Munich, Germany Zhiming Liu, IIST UNU, Macau Markus Lumpe, Swinburne University of Technology, Australia Eric Madelaine, INRIA, Centre Sophia Antipolis, France Sun Meng, Peking University, China John Mullins, Polytechnical School of Montreal, Canada Peter Olveczky, University of Oslo, Norway Corina Pasareanu, NASA Ames, USA Frantisek Plasil, Charles University, Czech Republic Pascal Poizat, University of Evry Val d'Essonne, France Shaz Qadeer, Microsoft, USA John Rushby, SRI International, USA Gwen Salaun, Grenoble INP, INRIA, France Bernhard Schaetz, fortiss GmbH, Germany Nishant Sinha, IBM Research Labs, Bangalore, India Marjan Sirjani, Reykjavik University, Iceland Volker Stolz, University of Oslo, Norway Carolyn Talcott, SRI International, USA Oksana Tkachuk, NASA Ames, USA Sebastian Uchitel, University of Buenos Aires, Argentina and Imperial College London, UK Gianluigi Zavattaro, University of Bologna, Italy 25TH EUROPEAN SUMMER SCHOOL IN LOGIC, LANGUAGE AND INFORMATION (ESSLLI 2013) Call for Course and Workshop Proposals August 5-16, 2013 Duesseldorf, Germany http://esslli2013.de/ * IMPORTANT DATES 15 June 2012: Proposal submission deadline 15 September 2012: Notification 1 June 2013: Course material due * TOPICS AND FORMAT Proposals for courses and workshops at ESSLLI'2013 are invited in all areas of Logic, Linguistics and Computing and Information Sciences. Cross-disciplinary and innovative topics are particularly encouraged. Each course and workshop will consist of five 90 minute sessions, offered daily (Monday-Friday) in a single week. Proposals for two-week courses should be structured and submitted as two independent one-week courses, e.g. as an introductory course followed by an advanced one. In such cases the ESSLLI programme committee reserves the right to accept just one of the two proposals. All instructional and organizational work at ESSLLI is performed completely on a voluntary basis, so as to keep participation fees to a minimum. However, organizers and instructors have their registration fees waved, and are reimbursed for travel and accommodation expenses up to a level to be determined and communicated with the proposal notification. ESSLLI can only guarantee reimbursement for at most one course/workshop organizer, and can not guarantee full reimbursement of travel costs for lecturers or organizers from outside of Europe. The ESSLLI organizers would appreciate any help in controlling the School's expenses by seeking complete coverage of travel and accommodation expenses from other sources. * CATEGORIES Each proposal should fall under one of the following categories. - FUNDAMENTAL COURSES Such courses are designed to present the basics of a research area, to people with no prior knowledge in that area. They should be of elementary level, without prerequisites in the course's topic, though possibly assuming a level of general scientific maturity in the relevant discipline. They should enable researchers from related disciplines to develop a level of comfort with the fundamental concepts and techniques of the course's topic, thereby contributing to the interdisciplinary nature of our research community. - INTRODUCTORY COURSES Introductory courses are central to ESSLLI's mission. They are intended to introduce a research field to students, young researchers, and other non-specialists, and to foster a sound understanding of its basic methods and techniques. Such courses should enable researchers from related disciplines to develop some comfort and competence in the topic considered. Introductory courses in a cross-disciplinary area may presuppose general knowledge of the related disciplines. - ADVANCED COURSES Advanced courses are targeted primarily to graduate students who wish to acquire a level of comfort and understanding in the current research of a field. - WORKSHOPS Workshops focus on specialised, usually topics of current interest. Workshops organisers are responsible for solliciting papers and selecting the workshop programme. * GUIDELINES Please refer to the website for further guidelines. 12TH INTERNATIONAL COLLOQUIUM ON IMPLEMENTATION OF CONSTRAINT AND LOGIC PROGRAMMING SYSTEMS (CICLOPS 2012) Call for Papers September 4, 2012 Budapest, Hungary http://www.cs.unipr.it/ciclops12/ * AIMS This workshop aims at discussing and exchanging experience on the design, implementation, and optimisation of logic, constraint (logic) programming systems, and other systems based on logic as a means to express computations. Experience backed up by real implementations and their evaluation will be given preference, as well as descriptions of work in progress in that direction. * TOPICS Sequential and parallel logic and constraint schemes;type inference and type checking; memory management and garbage collection issues; optimisations; object oriented, functional and other extensions; inductive LP; extensions to learning with relations; cross engine compatibility; user-enabled development. * INVITED SPEAKER Tom Schrijvers (University of Ghent, Belgium) * IMPORTANT DATES Paper submission: 20 June 2012 Notifications 16 July 2012 39TH INTERNATIONAL CONFERENCE ON CURRENT TRENDS IN THEORY AND PRACTICE OF COMPUTER SCIENCE (SOFSEM 2013) Call for Papers January 26-31, 2013 VZ Bedrichov (Spindleruv Mlyn), Czech Republic http://www.sofsem.cz * TRACKS SOFSEM 2013 will consist of four tracks and will be focussed on the following topics: - FOUNDATIONS OF COMPUTER SCIENCE (chaired by Guiseppe F. Italiano) algorithmic game theory, algorithms and data structures, including sequential, parallel, distributed, randomized, online and approximation algorithms, automata theory, grammars, formal languages, rewriting, computational biology, complexity theory, computational geometry, computational learning theory, discrete mathematics related to computer science, quantum computing, logics and semantics of programs, theory of databases, semi-structured data, and finite model theory, theory of programming languages. - SOFTWARE and WEB ENGINEERING (chaired by Jerzy Nawrocki) Application Engineering: engineering methodologies, agile development, modelling and model driven development, requirements engineering, architecture and design, components and reuse, program comprehension and visualization, testing, human-computer interaction, tools and development environments, software dependability, safety and reliability, web service-based architectures and applications, semantic web services, web service composition. Data Engineering: data and information modelling, data and information semantics, data privacy and security, semantics discovery and representation, social web applications, context aware applications, web 2.0 technologies, personalized software and web applications, information extraction, mobile data and Information, future Internet applications. - DATA, INFORMATION and KNOWLEDGE ENGINEERING (chaired by Harald Sack) databases and database architectures, machine learning, knowledge discovery and data mining, provenance and trust in data management and knowledge engineering, data integration, multimedia databases and multimedia retrieval, information retrieval, intelligent agents, multi-agent systems, knowledge engineering and acquisition, knowledge modeling and processing, semantic web technologies, ontology engineering and ontology dynamics, linked data and open data, information and knowledge visualization. - SOCIAL COMPUTING and HUMAN FACTORS (chaired by Frans C. A. Groen) intelligent systems / robotics, computer vision, intelligent vehicles, datamining and logic, visualisation, graphics, virtual reality, security, cryptography, multimedia, human factors, computational science. Moreover, for PhD students there will be the traditional `STUDENT RESEARCH FORUM'. Student papers (with a checked Student Contribution at the Submission System) not accepted for a regular track but of sufficient high quality can be selected for in the Student Research Forum. * IMPORTANT DATES Abstract deadline: June 22, 2012 Full paper deadline: June 29, 2012 Acceptance notification: September 21, 2012 Camera-ready papers: October 5, 2012 Conference: January 26-31, 2013 ANNUAL WORKSHOP OF THE ESF NETWORKING PROGRAMME ON GAMES FOR DESIGN AND VERIFICATION (GAMES 2012) Call for Contributions 7-12 September 2012, Napoli, Italy http://www.games.unina.it/ * OBJECTIVES The ESF Networking Programme on Games for Design and Verification is a European Network pursuing research and training on the design and verification of computing systems. This network proposes a research and training programme for the design and verification of computing systems, using a methodological framework that is based on the interplay of finite and infinite games, mathematical logic and automata theory. For details, see www.games.rwth-aachen.de/ GAMES is the annual workshop of the Network and this year edition is the concluding one. GAMES 2012 will be held at Universita di Napoli Federico II, Italy. * SCOPE The scope of the workshop includes the mathematical and algorithmic analysis of finite and infinite games, the interplay of games with automata theory and logic, and applications of games, automata, and logic to the design and verification of computing systems. * PROGRAMME As in previous years, GAMES 2012 will be an informal workshop, without proceedings. Its programme consists of 10 invited talks, contributed talks (30 min) and short presentations (15 min). Contributed talks and short presentations will be selected by the programme committee on the basis of submitted abstracts. * INVITED SPEAKERS - Mikolaj Bojanczyk (Warsaw University, Poland) - Krishnendu Chatterjee (IST Vienna, Austria) - Thomas Colcombet (CNRS Paris, France) - Olivier Friedman (University of Munich, Germany) - Hugo Gimbert (CNRS, France) - Joseph Halpern (Cornell University, USA) - Damian Niwinsky (Warsaw University, Poland) - Luke Ong (Oxford University, UK) - Jean-Francois Raskin (Université Libre de Bruxelles, Belgium) - Wolfgang Thomas (RWTH Aachen University, Germany) * IMPORTANT DATES: Abstract submission: June 27th 2012 Author notification: July 17th 2012 Travel grant application: July 30th 2012 Regular registration: July 30th 2012 Workshop: September 7th - 12th 2012 * TRAVEL SUPPORT We will be able to cover travel and accommodation costs for a limited number of participants (especially students). For information, please contact Aniello Murano via. There will be no registration fee. * LOCATION The workshop will be held at the Centro Congressi Ateneo Federico II, Via Partenope 36, Napoli, located on a wonderful seafront promenade, close to the historical center and the Castel dell'Ovo. The location is just in front of the baia that hosted last America's Cup World Competition. * PROGRAMME COMMITTEE - Krzysztof Apt, CWI and University of Amsterdam, The Netherlands - Dietmar Berwanger, CNRS and ENS Cachan, France - Erich Graedel, RWTH Aachen University, Germany - Christof Loeding, RWTH Aachen University, Germany - Angelo Montanari, University of Udine, Italy - Aniello Murano, Universita di Napoli Federico II, Italy (Main Organizer) - Mimmo Parente, Univerita di Salerno, Italy - Sven Shewe, University of Liverpool, UK - Igor Walukiewicz, Universite Bordeaux 1, France * CO-LOCATED EVENTS GandALF 2012 - Third International Symposium on Games, Automata, Logics, and Formal Verification - www.gandalf.unina.it/ - September 6th-8th, 2012 YOUNG RESEARCHERS WORKSHOP ON CONCURRENCY THEORY (YR-CONCUR 2012) Call for Papers September 3, 2012, Newcastle upon Tyne, UK http://www.lsv.ens-cachan.fr/~bollig/YR-CONCUR12/ * AIMS AND OBJECTIVES This workshop aims at providing a platform for PhD students and young researchers who recently completed their doctoral studies, to exchange new results related to concurrency theory and receive feedback on their research. Focus is on informal discussions. Excellent master students working on concurrency theory are also encouraged to contribute. * FORMAT YR-CONCUR 2012 is a satellite workshop of CONCUR 2012, and will be held on Monday, September 3, 2012. It is anticipated that many CONCUR participants will attend the YR-workshop (and vice versa). Presentations are based on a four-page abstract (incl. references). No particular format is required. Submissions are judged on the expected interest in and quality of the talk. The accepted abstracts will be made available at the workshop, but no formal proceedings are planned. It is thus also allowed (and encouraged) to send results that have been published at other conferences (although preferably not at CONCUR 2012 or any of its other satellite workshops). * IMPORTANT DATES Deadline for 4-page abstracts: June 29, 2012 Notification of acceptance: July 23, 2012 Workshop: September 3, 2012. * SUBMISSION Papers should be submitted via the YR-CONCUR 2012 submission page: https://www.easychair.org/conferences/?conf=yrconcur2012 * PROGRAM COMMITTEE Benedikt Bollig (Cachan, France) Rohit Chadha (Cachan, France) Hugo Gimbert (Bordeaux, France) Stefan Goeller (Bremen, Germany) Bas Luttik (Eindhoven, The Netherlands) Roland Meyer (Kaiserslautern, Germany) Nir Piterman (Leicester, UK) Jiri Srba (Aalborg, Denmark) Marielle Stoelinga (Twente, The Netherlands) Verena Wolf (Saarbruecken, Germany) FOURTH INTERNATIONAL WORKSHOP ON GRAPH COMPUTATION MODELS (GCM 2012) Call for Papers Bremen, Germany, September 29th, 2012 http://gcm2012.imag.fr/ (Part of ICGT2012 http://www.informatik.uni-bremen.de/icgt2012/) * AIMS The aim of the International Workshop GCM2012 is to bring together researchers interested in all aspects of computation models based on graphs and graph transformation techniques. It promotes the cross-fertilizing exchange of ideas and experiences among researchers and students from the different communities interested in the foundations, applications, and implementations of graph computation models and related areas. GCM2012 is a one-day satellite event of ICGT 2012, which will take place in Bremen, Germany, from 24 to 29 of September 2012. Previous editions of GCM series were held in Natal, Brazil (GCM 2006), in Leicester, UK (GCM 2008) and in Enschede, The Netherlands (GCM 2010). * TOPICS GCM 2012 solicits papers in all areas of Graph Computation Models including but not limited to: - Foundations : Models of graph transformation; Parallel, concurrent, and distributed; graph transformations; Term graph rewriting; Logics on graphs and graph transformations; Formal graph languages Analysis and verification of graph transformation systems; Foundations of programming languages - Applications : Software architecture; Software validation; Software evolution; Visual programming; Security models; Implementation of programming languages; Rule-based systems; Workflow and business processes; Model-driven engineering; Service-oriented applications; Bioinformatics and system biology; Quantum computing, Case-studies * IMPORTANT DATES Abstract Submission : July 8th, 2012 Paper Submission : July 15th, 2012 Acceptance Notification: August 13th, 2012 Preliminary Proceedings: September 2nd, 2012 Workshop : September 29th, 2012 WORKSHOP ON EXPERIENCE AND ADVANCES IN DEVELOPING DEPENDABLE SYSTEMS IN EVENT-B (DS-Event-B-2012) Call for Papers 13 November 2012, Kyoto, Japan http://research.nii.ac.jp/eventb2012/ In conjunction with ICFEM 2012 * AIMS AND SCOPE Event-B is a formal method for system level modelling and analysis of dependable applications. It is supported by an open and extendable Eclipse-based toolset called Rodin, that has been developed in a series of European projects (notably DEPLOY). Recently a wide community of users, developers, researchers and educators has been formed with a strong interest in these method and tools. The workshop aims to bring this community together to discuss new and emerging issues in application and advancing the Event-B method and the Rodin platform and to address the questions that the industrial takers are facing during their deployment. One of the aims of this workshop is to expand the community of researchers and practitioners working with Event-B/Rodin. This will be achieved in two ways: by addressing general scientific challenges and providing information valuable for the newcomers. In doing this this workshop will complement the ongoing series of informal Rodin workshops focusing on technical exchange among Rodin users and developers. The organisers are specifically interested in submissions from the industrial partners from Asia. * TOPICS The topics of interest include, but are not limited to: - Theoretical foundations: refinement, composition, verification and proofs - Engineering methods: modeling strategy, refinement strategy, integration with other methods - Applications: practical usage, case study, use for critical systems, use for emerging computing paradigms - Education: teaching and training, positioning in SE or FM educations * IMPORTANT DATES Submission Deadline: Aug 10, 2012 Notification: Sep 10, 2012 Workshop: Nov 13, 2012 * PUBLICATION The proceedings will be published as a technical report of Newcastle University (UK). They will also be made available online in the ACM Computing Research Repository (CORR) before the workshop. * ORGANISATION Workshop Co-Chairs: Fuyuki Ishikawa (National Institute of Informatics, Japan) Alexander Romanovsky (Newcastle University, UK). Program Committee - http://research.nii.ac.jp/eventb2012/organization.html COMPUTABILITY IN EUROPE 2012: HOW THE WORLD COMPUTES (CiE 2012) Final Call for Participation 18-23 June 2012 Cambridge, UK http://www.cie2012.eu * CiE 2012 is one of a series of special events, running throughout the Alan Turing Year, celebrating Turing's unique impact on mathematics, computing, computer science, informatics, morphogenesis, artificial intelligence, philosophy and computational aspects of physics, biology, linguistics, economics and the wider scientific world. * CiE 2012 is planned to be an event worthy of the remarkable scientific career it commemorates, and will be the largest ever conference centred on the Computability Theoretic legacy of Turing and his contemporaries. Current registrations indicate a final participation approaching 400, with over 240 speakers. * ONLINE REGISTRATION is invited for this historic event. For registration details, see: http://www.cl.cam.ac.uk/~amp66/CiE%20Homepage/ ONLINE REGISTRATION DEADLINE: JUNE 8th, 2012 * PLENARY SPEAKERS Andrew Hodges (Oxford, Special Public Lecture), Ian Stewart (Warwick, Special Public Lecture), Dorit Aharonov (Jerusalem), Veronica Becher (Buenos Aires), Lenore Blum (Carnegie Mellon, The 2012 APAL Lecture), Rodney Downey (Wellington), Yuri Gurevich (Microsoft, The EACSL Lecture), Juris Hartmanis (Cornell), Richard Jozsa (Cambridge, jointly organised lecture with King's College), Stuart Kauffman (Vermont/ Santa Fe), James Murray (Oxford/Princeton, Microsoft Research Lecture), Stuart Shieber (Harvard), Paul Smolensky (Johns Hopkins) and Leslie Valiant (Harvard, jointly organised lecture with King's College). * SPECIAL SESSIONS - Cryptography, Complexity, and Randomness Chairs: Rod Downey and Jack Lutz Speakers: Eric Allender, Laurent Bienvenu, Lance Fortnow, Valentine Kabanets, Omer Reingold, Alexander Shen - The Turing Test and Thinking Machines Chairs: Mark Bishop and Rineke Verbrugge Speakers: Bruce Edmonds, John Preston, Susan Sterrett, Kevin Warwick, Jiri Wiedermann + Panel Discussion on Future Directions - Computational Models After Turing: The Church-Turing Thesis and Beyond Chairs: Martin Davis and Wilfried Sieg Speakers: Giuseppe Longo, Peter Nemeti, Stewart Shapiro, Matthew Szudzik, Philip Welch, Michiel van Lambalgen - Morphogenesis/Emergence as a Computability Theoretic Phenomenon Chairs: Philip Maini and Peter Sloot Speakers: Jaap Kaandorp, Shigeru Kondo, Nick Monk, John Reinitz, James Sharpe, Jonathan Sherratt - Open Problems in the Philosophy of Information Chairs: Pieter Adriaans and Benedikt Loewe Speakers: Patrick Allo, Luis Antunes, Mark Finlayson, Amos Golan, Ruth Millikan + Panel Discussion on Future Directions - The Universal Turing Machine, and History of the Computer Chairs: Jack Copeland and John Tucker Speakers: Jack Copeland, Steven Ericsson-Zenith, Ivor Grattan-Guinness, Mark Priestley, Bruno Scarpellini, Robert I. Soare, John Tucker There will be the annual Women in Computability Workshop, supported by a grant from Elsevier, with contributions from Lenore Blum, Dorit Aharonov and Ann Copestake. * PROGRAMME COMMITTEE: Samson Abramsky (Oxford), Pieter Adriaans (Amsterdam), Franz Baader (Dresden), Arnold Beckmann (Swansea), Mark Bishop (London), Paola Bonizzoni (Milan), Luca Cardelli (Cambridge),Douglas Cenzer (Gainesville), S Barry Cooper (Leeds, Co-chair), Ann Copestake (Cambridge), Anuj Dawar (Cambridge, Co-chair), Solomon Feferman (Stanford), Bernold Fiedler (Berlin), Luciano Floridi (Hertfordshire), Martin Hyland (Cambridge), Marcus Hutter (Canberra), Viv Kendon (Leeds), Stephan Kreutzer (Oxford), Ming Li (Waterloo), Benedikt Loewe (Amsterdam), Angus MacIntyre (London), Philip Maini (Oxford), Larry Moss (Bloomington), Amitabha Mukerjee (Kanpur), Damian Niwinski (Warsaw), Dag Normann (Oslo), Prakash Panangaden (Montreal), Jeff Paris (Manchester), Brigitte Pientka (Montreal), Helmut Schwichtenberg (Munich), Wilfried Sieg (Carnegie Mellon), Mariya Soskova (Sofia), Bettina Speckmann (Eindhoven), Christof Teuscher (Portland), Peter van Emde Boas (Amsterdam), Jan van Leeuwen (Utrecht), Rineke Verbrugge (Groningen) * ORGANISING COMMITTEE Arnold Beckmann (Swansea), Luca Cardelli (Cambridge), S Barry Cooper (Leeds), Ann Copestake (Cambridge), Anuj Dawar (Cambridge, Chair), Bjarki Holm (Cambridge), Martin Hyland (Cambridge), Benedikt Loewe (Amsterdam), Arno Pauly (Cambridge), Andrew Pitts (Cambridge) THE TURING CENTENARY CONFERENCE Call for Participation June 22-25, 2012 Manchester, UK http://www.turing100.manchester.ac.uk/ * NEWS (1) The early registration deadline has been extended to June 11, 2012 (2) The organisers have funds for supporting participants. Please write to the programme chair if support is essential for your attendance. The programme includes 18 invited talks (of which 10 are given by Turing Award winners), 2 public talks, 2 panels, a poster session, a chess programme and a competition of programs proving theorems. * PUBLIC LECTURES -- Jack Copeland (University of Canterbury, New Zealand) Alan Turing, Pioneer of the Information Age -- Sir Roger Penrose (University of Oxford, Wolf Prize winner) The Problem of Modelling the Mathematical Mind * INVITED LECTURES -- Garry Kasparov (Kasparov Chess Foundation) The Reconstruction of Turing's "Paper Machine" -- Vint Cerf (Google, Turing Award winner) Turing's Legacy in the Networked World -- David Ferrucci (IBM) Beyond Jeopardy! The Future of Watson -- Don Knuth (Stanford University, Turing Award winner) All Remaining Questions Answered -- Adi Shamir (Weizmann Institute of Science, Turing Award winner) Turing's Cryptography from a Modern Perspective -- Samuel Klein (Wikipedia) TBC -- George Ellis (University of Cape Town, Templeton Award winner) On the Nature of Causation in Digital Computer Systems -- Frederick P. Brooks, Jr. (University of North Carolina, Turing Award winner) Pilot ACE Architecture in Context -- Sir Tony Hoare (Microsoft Research, Turing Award winner) Can Computers Understand Their Own Programs? -- Edmund M. Clarke (Carnegie Mellon University, Turing Award winner) Model Checking and the Curse of Dimensionality -- Michael O. Rabin (Harvard University, Turing Award winner) Turing, Church, Goedel, Computability, Complexity and Randomization: A Personal Perspective -- Leslie Valiant (Harvard University, Turing Award winner) Computer Science as a Natural Science -- Andrew Chi-Chih Yao (Tsinghua University, Turing Award winner) Quantum Computing: A Great Science in the Making -- Manuela M. Veloso (Carnegie Mellon University) Symbiotic Autonomy: Robots, Humans, and the Web -- Rodney Brooks (MIT) Turing's Humanoid Thinking Machines -- Hans Meinhardt (Max Planck Institute for Developmental Biology) Turing's Pioneering Paper 'The Chemical Basis of Morphogenesis and the Subsequent Development of Theories of Biological Pattern Formation -- Yuri Matiyasevich (Institute of Mathematics, St. Petersburgh) Alan Turing and Number Theory * PANEL SPEAKERS -- Samson Abramsky (Oxford University) -- Ron Brachman (Yahoo Labs) -- Martin Davis (New York University) -- Steve Furber (The University of Manchester) -- Carole Goble (The University of Manchester) -- Pat Hayes (Institute for Human and Machine Cognition, Pensacola) -- Bertrand Meyer (Swiss Federal Institute of Technology) -- Moshe Vardi (Rice University) For more details please check http://www.turing100.manchester.ac.uk/. * REGISTRATION The number of participants is limited. Register early to avoid disappointment! To register, access https://www.easychair.org/conferences/?conf=turing100 and click on "Registration". To qualify for a student registration you must be a registered full-time student on June 23, 2012. * CHAIRS Honorary Chairs: Rodney Brooks (MIT) Roger Penrose (Oxford) Conference Chairs: Matthias Baaz (Vienna University of Technology) Andrei Voronkov (The University of Manchester) Turing Fellowships Chair: Barry Cooper (University of Leeds) Theorem Proving Competition Chair: Geoff Sutcliffe (University of Miami) Computer Chess Programme Chair Frederic Friedel (Chessbase) Programme Chair Andrei Voronkov (The University of Manchester) 6TH INTERNATIONAL JOINT CONFERENCE ON AUTOMATED REASONING (IJCAR 2012) Call for Participation June 26th - July 1st Manchester, UK http://ijcar.cs.man.ac.uk/ * GENERAL IJCAR 2012 is a merger of leading events in automated reasoning: - CADE (International Conference on Automated Deduction) - FroCoS (International Symposium on Frontiers of Combining Systems) - FTP (International Workshop on First-order Theorem Proving) - TABLEAUX (International Conference on Automated Reasoning with Analytic Tableaux and Related Methods) * DEADLINES - Late registration will end on June 11th - Very late and on-site registration will never end * SCIENTIFIC PROGRAMME - 4 Invited Speakers: -- Nikolaj Bjorner, Microsoft Research Redmond, WA, USA -- Yuri Matiyasevich, Steklov Institute of Mathematics, St. Petersburg, Russia -- Robert Nieuwenhuis, Technical University of Catalonia, Barcelona, Spain -- Nicole Schweikardt, University of Frankfurt, Germany - 3 Evening Lectures by the following pioneers of automated reasoning: -- Peter Andrews, Carnegie Mellon University, USA -- Martin Davis, New York University, USA -- John Alan Robinson, Syracuse University, New York, USA - Herbrand Award Presentation - 32 full papers - 9 system descriptions * WORKSHOPS - Workshop on Automated Theory Exploration (ATX 2012) - Workshop on Synthesis, Verification and Analysis of Rich Models (SVARM 2012) joint with The 7th International Verification Workshop (VERIFY 2012) - Satisfiability Modulo Theories (SMT 2012) - Practical Aspects of Automated Reasoning (PAAR 2012) - Proof eXchange for Theorem Proving (PxTP 2012) - The 4th International Workshop on Invariant Generation (WING 2012) - Uncertainty in Description Logics (UniDL 2012) - The 1st International Workshop on Comparative Empirical Evaluation of Reasoning Systems (COMPARE 2012) - The 2nd Joint International Workshop on Strategies in Rewriting, Proving and Programming (IWS 2012) - Workshop on Logics for Resources, Processes, and Programs (LRPP 2012) - The 26th International Workshop on Unification (UNIF 2012) - StarExec - OWL Reasoner Evaluation Workshop - Automated Reasoning for Enterprise Information Systems (AREIS 2012) * COMPETITIONS - CADE ATP System Competition (CASC-J6) - SMT Competition (SMT-COMP 2012) - Termination Competition 2012 - OWL Reasoner Evaluation 24TH INTERNATIONAL CONFERENCE ON COMPUTER AIDED VERIFICATION (CAV 2012) Call for Participation July 7-13, 2012 Berkeley, California, USA http://cav12.cs.illinois.edu/ * PROGRAM CHAIRS Madhusudan Parathasarathy and Sanjit A. Seshia * AIMS AND SCOPE The conference on Computer Aided Verification (CAV), 2012, is the 24th in a series dedicated to the advancement of the theory and practice of computer-aided formal analysis methods for hardware and software systems. CAV considers it vital to continue spurring advances in hardware and software verification while expanding to new domains such as biological systems and computer security. The conference covers the spectrum from theoretical results to concrete applications, with an emphasis on practical verification tools and the algorithms and techniques that are needed for their implementation. The proceedings of the conference will be published in the Springer-Verlag Lecture Notes in Computer Science series. A selection of papers will be invited to a special issue of Formal Methods in System Design and the Journal of the ACM. * NEW in 2012 CAV will have *special tracks* in the following four areas: 1. Hardware Verification (track chair: Andreas Kuehlmann) 2. Computer Security (track chair: Somesh Jha) 3. Embedded Systems (track chair: Stavros Tripakis) 4. SAT and SMT (track chair: Daniel Kroening) * INVITED TALKS - Wolfgang Thomas, RWTH Aachen University "Synthesis and Some of Its Challenges" - David Dill, Stanford University "Model Checking Cell Biology" - Alex Haldermann, University of Michigan On security of voting machines * INVITED TUTORIALS - Rastislav Bodik and Emina Torlak, University of California, Berkeley "Synthesizing Programs with Constraint Solvers" - Aaron Bradley, University of Colorado at Boulder "IC3 and Beyond: Incremental, Inductive Verification" - Chris Myers, University of Utah "Formal Verification of Genetic Circuits" - Michal Moskal, Microsoft Research, Seattle "From C to infinity and back: Unbounded auto-active verification with VCC" 6TH INTERNATIONAL SCHOOL ON REWRITING (ISR 2012) Call for Participation July 16th - 20th, 2012 Valencia, Spain http://www.dsic.upv.es/~isr2012 * AIMS Rewriting is a branch of computer science whose origins go back to the origins of computer science itself (with Thue, Church, Post, and many other prominent researchers). It has strong links with mathematics, algebra, and logic, and it is the basis of well-known programming paradigms like functional and equational programming, which are taught at the universitary level in many countries. In these programming paradigms and corresponding languages, the notions of reduction, pattern matching, confluence, termination, strategy, etc., are essential. Rewriting provides a solid framework for understanding, using, and teaching all these notions. Rewriting techniques are also used in many other areas of software engineering (scripting, prototyping, automated transformation of legacy systems, refactoring, web services, etc.) and are implemented in popular systems like Mathematica, Autocad, and others. Rewriting techniques play a relevant role in computing research, education, and industry. * TRACKS Two tracks are offered, including the lectures and the courses: - Track A: for newcomers in the field, or just for people who want to obtain a new, updated exposure. -- Jose Meseguer. Introduction to Term Rewriting -- Albert Rubio. Termination of Rewriting: Foundations and Automation -- Santiago Escobar. A Rewriting-Based Specification and Programming Language: Maude -- Beatriz Alarcon & Raul Gutierrez. Exercises on Term Rewriting - Track B: for those who want to get deeper in the most recent developments and applications of rewriting. -- Maria Alpuente: Narrowing Techniques and Applications -- Temur Kutsia: Matching, unification, and generalizations -- Pierre Lescanne: Lambda Calculus: extensions and applications -- Narciso Marti-Oliet: Rewriting Logic and Applications -- Georg Moser: Automated Complexity Analysis of Term Rewriting Systems -- Albert Oliveras: SAT and SMT techniques in Proof and Verification -- Sophie Tison: Tree Automata, Turing Machines and Term Rewriting -- Xavier Urbain: Certification of Rewriting Properties -- Andrei Voronkov: Automated Reasoning and Theorem Proving For more information, please contact Salvador Lucas 24TH EUROPEAN SUMMER SCHOOL IN LOGIC, LANGUAGE AND INFORMATION (ESSLLI 2012) Call for Participation Date: 6-17 Aug 2012 Location: Opole, Poland Meeting URL: http://www.esslli2012.pl Early registration deadline: 15-06-2012 * DESCRIPTION For the past 24 years, the European Summer School in Logic, Language and Information (ESSLLI) has been organized every year by the Association for Logic, Language and Information (FoLLI) in different sites around Europe. The main focus of ESSLLI is on the interface between linguistics, logic and computation. ESSLLI offers foundational, introductory and advanced courses, as well as workshops, covering a wide variety of topics within the three areas of interest: Language and Computation, Language and Logic, and Logic and Computation. Previous summer schools have been highly successful, attracting up to 500 students from Europe and elsewhere. The school has developed into an important meeting place and forum for discussion for students and researchers interested in the interdisciplinary study of Logic, Language and Information. During two weeks, 49 courses and 6 workshops are offered to the attendants, each of 1.5 hours per day during a five days week, with up to seven parallel sessions. ESSLLI also includes a student session (papers and posters by students only, 1.5 hour per day during the two weeks). There will be three evening lectures by Mel Fitting, Jonathan Ginzburg and Adam Przepiorkowski. In 2012, ESSLLI will held in Opole, Poland and will be organized by the University of Opole, Poland. Chair of the program committee is Andreas Herzig, and chairs of the organizing committee are Urszula Wybraniec-Skardowska and Janusz Czelakowski. * PROGRAMME http://www.esslli2012.pl/index.php?id=67 * REGISTRATION http://www.esslli2012.pl/index.php?id=68 * PROGRAM COMMITTEE Chair: Andreas Herzig (Universite de Toulouse and CNRS) Local co-chair: Anna Pietryga (University of Opole) Area specialists: Language and Computation: - Miriam Butt (Sprachwissenschaft, University of Konstanz) - Gosse Bouma (Groningen University) Language and Logic: - Regine Eckardt (Language and Literature, University of Goettingen) - Rick Nouwen (UiL-OTS, Utrecht University) Logic and Computation: - Natasha Alechina (CS, University of Nottingham) - Andreas Weiermann (Mathematics and Computation, Ghent University) * ORGANIZING COMMITTEE Chair: Urszula Wybraniec-Skardowska and Janusz Czelakowski (University of Opole) 5TH INTERNATIONAL SCHOOL ON SOFTWARE ENGINEERING AND FORMAL METHODS (SEFM 2012) Call for Applications 24-28 September 2012, Thessaloniki, Greece http://sefm.iist.unu.edu/School/ * CONTENT The school will have a total duration of approximately 30 hours and will consist of the following courses: 1. Introduction to Formal Methods; 2. Logics for Software Engineering; 3. The CSP Process Algebra; 4. Algebraic Specification in CASL; 5. Specification-based Testing; 6. Specification and Verification of Electronic Contracts; 7. Formal Methods for Human-computer Interaction; 8. Formal Verification of Security Protocol. * LECTURERS - Antonio Cerone United Nations University, UNU-IIST, Macau SAR China; - Markus Roggenbach Swansea University, Swansea, UK; - Bernd-Holger Schlingloff Humboldt University and Fraunhofer FIRST, Berlin, Germany; - Gerardo Schneider University of Gothenburg, Gothenburg, Sweden; - Siraj Ahmed Shaikh Coventry University, Coventry, UK. * APPLICATION AND FEE We welcome application from postgraduate students and researchers from academia and industry who have obtained at least an undergraduate degree in Computer Science or in a related discipline. The school fee will be EUR 350 and will cover: lunch, morning and afternoon coffee breaks during each of the 5 days and school materials, which include one book and one live-CD specifically prepared for the school and published by Springer. Application deadline: 15 July 2012. Applicants will be notified of the outcome of their application within one week after submitting their application. Accepted applicants must confirm their participation and pay the registration fee within one week from the acceptance notification. * EXAMINATION Participants who are interested in undertaking an examination for credit purpose on the topics presented at the school must explicitly request it in the Application Form. Participants who will pass the examination will receive a certificate suitable for credit recognition, according to the information they have provided in the Application Form. * ORGANISATION CO-CHAIRS - Antonio Cerone, United Nations University, UNU-IIST, Macau SAR China; - Dimitrios Kourtesis The University of Sheffield, International Faculty - City College, Thessaloniki, Greece NASA/NIA PVS Class Call for Participation October 9-12, 2012 Hampton, Virginia http://shemesh.larc.nasa.gov/PVSClass2012 * GENERAL The Formal Methods teams at the NASA Langley Research Center and the National Institute of Aerospace are offering a short course on the PVS theorem prover in the fall of 2012. The course is offered free of charge as a public service to the formal methods community. The class is open to all interested individuals. However, seats are limited and all attendees must register at http://shemesh.larc.nasa.gov/PVSClass2012/registration.html We emphasize a hands-on, immersion-style learning approach. Both lecturematerial and in-class exercises using PVS are featured. For this reason, we strongly encourage attendees to bring a laptop equipped to run PVS. All the instructors are members of the NASA Langley Formal Methods group and expert PVS users. The PVS Class 2012 will feature a technical lecture and an invited talk by Sam Owre, one of the creators of PVS and its main developer. For more information, please contact Cesar Munoz (Cesar.A.Munoz@nasa.gov), Anthony Narkawicz (Anthony.Narkawicz@nasa.gov) http://shemesh.larc.nasa.gov/PVSClass2012 2012 INTERNATIONAL FALL SCHOOL IN FORMAL LANGUAGES AND APPLICATIONS (FSFLA 2012) (formerly International PhD School in Formal Languages and Applications) Call for Participation October 29 - November 2, 2012 Tarragona, Spain http://grammars.grlmc.com/fsfla2012/ * ORGANIZERS Research Group on Mathematical Linguistics (GRLMC) Rovira i Virgili University * AIMS FSFLA 2012 offers a broad and intensive series of lectures at different levels on selected topics in language and automata theory and their applications. The students choose their preferred courses according to their interests and background. Instructors are top names in their respective fields. The School intends to help students initiate and foster their research career. The previous event in this series was FSFLA 2011 ( <http://grammars.grlmc.com/fsfla2011/> http://grammars.grlmc.com/fsfla2011/). * AUDIENCE Graduate (and advanced undergraduate) students from around the world. Most appropriate degrees include: Computer Science and Mathematics. Other students (for instance, from Linguistics, Electrical Engineering, Molecular Biology or Logic) are welcome too provided they have a good background in discrete mathematics. The School is appropriate also for people more advanced in their career who want to keep themselves updated on developments in the field. There is no overlap in the class schedule. * COURSES AND PROFESSORS: - Eric Allender (Rutgers), Circuit Complexity: Recent Progress in Lower Bounds [introductory/advanced, 8 hours] - Amihood Amir (Bar-Ilan), Periodicity and Approximate Periodicity in Pattern Matching [introductory, 6 hours] - Ahmed Bouajjani (Paris 7), Automated Verification of Concurrent Boolean Programs [introductory/advanced, 8 hours] - Bruno Courcelle (Bordeaux), Automata for Monadic Second-order Model Checking [intermediate, 8 hours] - Joerg Flum (Freiburg), The Halting Problem for Turing Machines [introductory/advanced, 6 hours] - Aart Middeldorp (Innsbruck), Termination of Rewrite Systems [introductory/intermediate, 8 hours] * REGISTRATION It has to be done on line at http://grammars.grlmc.com/fsfla2012/Registration.php * IMPORTANT DATES: Early registration deadline: August 15, 2012 Starting of the School: October 29, 2012 End of the School: November 2, 2012 E. W. BETH DISSERTATION PRIZE 2012 New Call for Nominations * AIMS Since 2002, FoLLI (the Association for Logic, Language, and Information, http://www.folli.org) awards the E.W. Beth Dissertation Prize to outstanding dissertations in the fields of Logic, Language, and Information. We invite submissions for the best dissertation which resulted in a Ph.D. degree in the year 2011. The dissertations will be judged on technical depth and strength, originality, and impact made in at least two of three fields of Logic, Language, and Computation. Interdisciplinarity is an important feature of the theses competing for the E.W. Beth Dissertation Prize. * WHO QUALIFIES Nominations of candidates are admitted who were awarded a Ph.D. degree in the areas of Logic, Language, or Information between January 1st, 2011 and December 31st, 2011. There is no restriction on the nationality of the candidate or the university where the Ph.D. was granted. After a careful consideration, FoLLI has decided to accept only dissertations written in English. Dissertations produced in 2011 but not written in English or not translated will be allowed for submission, after translation, also with the call next year (for dissertations defended in 2012). The present call for nominations for the E.W. Beth Disertation Award 2012 will also accept nominations of full English translations of theses originally written in another language than English and defended in 2010 or 2011. * PRIZE The prize consists of: -a certificate -a donation of 2500 euros provided by the E.W. Beth Foundation -an invitation to submit the thesis (or a revised version of it) to the FoLLI Publications on Logic, Language and Information (Springer). For further information on this series see the FoLLI site. * HOW TO SUBMIT Only electronic submissions are accepted. The following documents are required: 1. The thesis in pdf or ps format (doc/rtf not accepted); 2. A ten page abstract of the dissertation in ascii or pdf format; 3. A letter of nomination from the thesis supervisor. Self-nominations are not admitted: each nomination must be sponsored by the thesis supervisor. The letter of nomination should concisely describe the scope and significance of the dissertation and state when the degree was officially awarded; 4. Two additional letters of support, including at least one letter from a referee not affiliated with the academic institution that awarded the Ph.D. degree. All documents must be submitted electronically to buszko@amu.edu.pl. Hard copy submissions are not admitted. In case of any problems with the email submission or a lack of notification within three working days, nominators should write to buszko@amu.edu.pl. * IMPROTANT DATES Deadline for Submissions: June 30, 2012. Notification of Decision: July 31, 2012. * EXPLANATION Due to some technical obstacles, the first call for nominations was announced on the site of FoLLI in the beginning of March 2012 but not widely distributed through mailing lists. Therefore we essentially prolong the deadline now. We ask all potential nominators to inform the chair earlier by a mail to buszko@amu.edu.pl, even before having completed the required documents. * COMMITTEE Chris Barker (New York) Wojciech Buszkowski (chair) (Poznan) Dale Miller (Palaiseau) Larry Moss (Bloomington) Ian Pratt-Hartmann (Manchester) Ruy de Queiroz (Recife) Giovanni Sambin (Padua) Rob van der Sandt (Nijmegen) Rineke Verbrugge (Groningen) Heinrich Wansing (Bochum) POSTDOC POSITION ON COVERAGE ANALYSIS OF CONCURRENT SPECIFICATIONS AT INRIA/LIG, GRENOBLE, FRANCE * The Convecs team (Inria Grenoble Rhone-Alpes research center / LIG laboratory) recruits a postdoc. More information at: http://convecs.inria.fr/jobs/2012d.html * Applications should be addressed directly to Gwen Salaun, preferably by e-mail. Applications received after July 15th, 2012 might not be considered if a candidate has been selected already. PHD POSITIONS AT ETH ZURICH * The Chair of Programming Methodology is recruiting PhD students to do research in the following areas: - Static program analysis, especially abstract interpretation for mobile TouchDevelop (http://www.touchdevelop.com/) applications - Verification of concurrent programs, especially Scala programs - Programming languages - Programming environments * More information about our research can be found at http://www.pm.inf.ethz.ch Applications and questions should be sent to Prof. Peter Mueller at jobs-pm@inf.ethz.ch
Back to the LICS web page.