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.