Newsletter 145
April 1, 2013
*******************************************************************
* Past issues of the newsletter are available at
http://lics.siglog.org/newsletters/
* Instructions for submitting an announcement to the newsletter
can be found at
http://lics.siglog.org/newsletters/inst.html
*******************************************************************
TABLE OF CONTENTS
* LICS-RELATED NEWS
Call for Short Presentations
Preview of LICS'13
* DEADLINES
Forthcoming Deadlines
* CALLS
CONCUR 2013 - Call for Papers
TACL 2013 - Call for Papers
ICLP 2013 - Call for Papers
TYPES 2013 - Call for Participation
SFM-13:DCS - Call for Applications (School)
CSL 2013 - Call for Papers
CALCO Tools 2013 - Call for Papers
CMSB 2013 - Call for Papers
FCS 2013 - Call for Papers
M4M-8 - Call for Papers
FroCoS 2013 - Call for Papers
QBF 2013 - Call for Papers
GandALF 2013 - Preliminary Call for Papers
PERSYVAL CPS SUMMER SCHOOL - Call for Applications
FMICS 2013 - Call for Papers
CALCO Early Ideas Workshop 2013 - Call for Contributions
Samson@60 - Call for Participation
FOPARA 2013 - Call for Papers
SAT/SMT SUMMER SCHOOL - Call for Participation
MihalisFest 2013 - Early Call for Participation
* AWARDS
Ackermann Award 2013 - Second Call for Nominations
* JOB ANNOUNCEMENTS
PhD Position at Twente on Accelerator Programming
European PhD Program in Computational Logic
28TH ANNUAL ACM/IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE (LICS 2013)
Call for Short Presentations
http://lics.siglog.org/lics13/lics13-short.html
* AIMS
As in the past, there will be a short-presentation session during LICS 2013,
which is intended for descriptions of works in progress, student projects,
trailers for longer presentations at affiliated workshops, and relevant
research being published elsewhere; other brief communications may be
acceptable. Talks can be on any topic related to logic in computer science
as summarized in the LICS call for papers. Proceedings of these sessions
will not be published.
* SUBMISSION INSTRUCTIONS
Proposals for short (10-minute) presentations must be submitted in the IEEE
(2-column; 10pt) proceedings format and must be 1 page long, including
references. The URL for submitting papers is
http://www.easychair.org/conferences/?conf=licsshort2013.
* IMPORTANT DATES
Submission Deadline: 20 April 2013
Author Notification: 6 May 2013
Final Version Deadline: 30 May 2013
28TH ANNUAL ACM/IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE (LICS 2013)
LICS conference: June 25-28, 2013
Workshops: June 28-29, 2013
New Orleans, USA
http://lics.siglog.org/lics13/
* COLOCATIONS
The twenty-eighth ACM/IEEE Symposium on Logic In Computer Science
(LICS 2013) will be held in New Orleans, USA, 25-28 June 2013. It
will be colocated with MFPS (Mathematical Foundations of Programming
Semantics) and CSF (IEEE Computer Security Foundations).
* INVITED SPEAKERS
LICS 2013 will feature invited lectures by Rajeev Alur, Joseph Halpern
(with CSF), Nancy Lynch and Prakash Panangaden. It will also include
a special session to mark the 80th birthday of Dana Scott, which will
have the following invited speakers: Andrew Pitts, Steve Awodey, Andrej
Bauer, Robert Harper, and Dana Scott.
* TUTORIAL SPEAKERS
Tutorials will be given by Hubert Comon and Jan Rutten (with MFPS).
* AFFILIATED WORKSHOPS
Foundations of Computer Security (FCS)
http://prosecco.gforge.inria.fr/personal/bblanche/fcs13/
Higher-Order Program Analysis (HOPA)
http://hopa.cs.rhul.ac.uk
Syntax and Semantics of Low-Level Languages (LOLA)
http://research.microsoft.com/en-us/events/lola2013/
Natural Language and Computer Science (NLCS)
http://www.indiana.edu/~iulg/nlcs.html
* ACCEPTED PAPERS
http://lics.siglog.org/lics13/accepted.html
DEADLINES
* CONCUR 2013
Abstract submission: April 1, 2013
Paper submission: April 8, 2013
http://concur-conferences.org/concur2013/
* TACL 2013
Abstract submission: April 1, 2013
http://www.math.vanderbilt.edu/~tacl2013/
* ICLP 2013
Abstract submission: April 3, 2013
Paper submission: April 10, 2013
http://www.iclp2013.org
* TYPES 2013
Early registration: April 3, 2013
http://www.irit.fr/TYPES2013/
* SFM-13: DS
Application deadline: April 4, 2013
http://www.sti.uniurb.it/events/sfm13ds/
* CSL 2013
Abstract submission: April 8, 2013
Paper submission: April 15, 2013
http://csl13.di.unito.it/
* CALCO Tools 2013
Paper submission: April 8, 2013
http://coalg.org/calco13/workshops.html#tools
* CMSB 2013
Abstract submission: April 8, 2013
Paper submission: April 15, 2013
http://ist.ac.at/cmsb13
* FCS 2013
Paper submission: April 10, 2013
http://prosecco.inria.fr/personal/bblanche/fcs13/
* M4M-8
Abstract submission deadline: April 12, 2013
Paper submission deadline: April 15, 2013
http://www.cs.famaf.unc.edu.ar/~careces/M4M/M4M8/
* ACKERMANN AWARD 2013
Deadline for nominations: April 15, 2013
http://www.eacsl.org/submissionsAck.html
* FroCoS 2013
Abstract submission: April 15, 2013
Paper submission: April 22, 2013
http://frocos2013.loria.fr
* LICS 2013
Proposals for short presentations: April 20, 2013
http://lics.siglog.org/lics13/lics13-short.html
* QBF 2013
Paper Submission: April 24, 2013
http://fmv.jku.at/qbf2013/
* GandALF 2013
Abstract submission: May 1, 2013
Paper submission: May 8, 2013
http://gandalf.di.univr.it
* PERSYVAL CPS SUMMER SCHOOL
Deadline for applications: May 1, 2013
http://www-verimag.imag.fr/PERSYVAL-Lab-Summer-School-on.html?lang=en
* FMICS 2013
Paper submission: May 3, 2013
http://lvl.info.ucl.ac.be/Fmics2013
* CALCO Early Ideas Workshop 2013
Submission deadline: May 27, 2013
http://coalg.org/calco13/workshops.html#ei
* FOPARA 2013
Draft submission: June 3, 2013
http://fopara2013.cs.unibo.it
24TH CONFERENCE ON CONCURRENCY THEORY (CONCUR 2013)
Call for Papers
Buenos Aires, Argentina
August 26-31, 2013
http://concur-conferences.org/concur2013/
* GOAL
The purpose of the CONCUR conferences is to bring together
researchers, developers, and students in order to advance
the theory of concurrency, and promote its applications.
* INVITED SPEAKERS
- Lorenzo Alvisi (University of Texas Austin, USA)
- Joost-Pieter Katoen (RWTH Aachen University, Germany)
- Philippe Schnoebelen (LSV, CNRS & ENS de Cachan, France)
- Reinhard Wilhelm (Saarland University, Germany)
* TOPICS
Submissions are solicited in semantics, logics, verification
and analysis of concurrent systems. The principal topics include
(but are not limited to):
- Basic models of concurrency such as abstract machines, domain
theoretic models, game theoretic models, process algebras,
graph transformation systems and Petri nets;
- Logics for concurrency such as modal logics, probabilistic and
stochastic logics, temporal logics, and resource logics;
- Models of specialized systems such as biology-inspired systems,
circuits, hybrid systems, mobile and collaborative systems,
multi-core processors, probabilistic systems, real-time systems,
service-oriented computing, and synchronous systems;
- Verification and analysis techniques for concurrent systems
such as abstract interpretation, atomicity checking, model
checking, race detection, pre-order and equivalence checking,
run-time verification, state-space exploration, static analysis,
synthesis, testing, theorem proving, and type systems;
- Related programming models such as distributed, component-based,
object-oriented, and web services.
* CO-LOCATED EVENTS
10th Intl. Conf. on Quantitative Evaluation of SysTems (QEST 2013)
11th Intl. Conf. on Formal Modeling and Analysis of Timed Systems
(FORMATS 2013)
8th Intl. Symposium on Trustworthy Global Computing (TGC 2013)
There will be co-located workshops, which take place on August 26
and August 31, and tutorials (associated with QEST) which take
place on August 26.
* SUBMISSIONS
CONCUR 2013 solicits high quality papers reporting research
results and/or experience reports related to the topics mentioned
above. All papers must be original, unpublished, and not submitted
for publication elsewhere. Contributions should be submitted
electronically as PDF, using the Springer LNCS style. Papers
should not exceed 15 pages in length.
Each paper will undergo a thorough review process. If necessary,
the paper may be supplemented with a clearly marked appendix,
which will be reviewed at the discretion of the program committee.
Papers should be submitted electronically using EasyChair online
submission system:
https://www.easychair.org/conferences/?conf=concur2013
The CONCUR 2013 proceedings will be published by Springer in the
ArCoSS subseries of LNCS. The proceedings will be available at
the conference.
* IMPORTANT DATES
Abstract Submission: 1st April 2013
Paper Submission: 8th April 2013
Paper Notification: 27th May, 2013
Camera Ready Copy Due: 10t June, 2013
CONCUR 2012: 27th-30th August, 2013
* AFFILIATED WORKSHOPS
Proposal for workshops are expected to be sent to the Workshops
Chairs, Eduardo Bonelli (ebonelli@unq.edu.ar) and Diego
Garbervetsky (diegog@dc.uba.ar), by January 14, 2013.
* PROGRAM CHAIRS
- Pedro R. D'Argenio (Universidad Nacional de Córdoba, Argentina)
- Hernán Melgratti (Universidad de Buenos Aires, Argentina)
* PROGRAM COMMITTEE
Christel Baier (Technical University of Dresden, DE)
Paolo Baldan (Universitá di Padova, IT)
Eike Best (Universitaet Oldenburg, DE)
Patricia Bouyer (LSV, CNRS & ENS Cachan, FR)
Tomas Brazdil (Masaryk University, CZ)
Franck van Breugel (York University, CA)
Krishnendu Chatterjee (IST, AT)
Rance Cleaveland (University of Maryland, US)
Wan Fokkink (Vrije Universiteit Amsterdam, NL)
Daniele Gorla (University of Rome "La Sapienza", IT)
Holger Hermanns (Saarland University, DE)
Radha Jagadeesan (DePaul University, US)
Bengt Jonsson (Uppsala University, SE)
Kim G. Larsen (Aalborg University, DK)
Ugo Montanari (Universitá di Pisa, IT)
Prakash Panangaden (McGill University, CA)
David Parker (University of Birmingham, UK)
Frank Pfenning (Carnegie Mellon University, US)
Nir Piterman (University of Leicester, UK)
Shaz Qadeer (Microsoft Research, US)
Jean-Francois Raskin (Universit Libre de Bruxelles, BE)
Jan Rutten (CWI, NL)
Davide Sangiorgi (University of Bologna, IT)
Geoffrey Smith (Florida International University, US)
P.S. Thiagarajan (National University of Singapore, SG)
Frits Vaandrager (Radboud University Nijmegen, NL)
Frank Valencia (CNRS, Ecole Polytechnique de Paris, FR)
Rob Van Glabbeek (NICTA, AU)
Nobuko Yoshida (Imperial College London, UK)
Lijun Zhang (Technical University of Denmark, DK)
SIXTH CONFERENCE ON TOPOLOGY, ALGEBRA AND CATEGOREIS IN LOGIC (TACL 2013)
Call for Presentations
July 28 - August 1, 2013
Nashville, Tennessee USA
http://www.math.vanderbilt.edu/~tacl2013/
* SCOPE
Studying logics via semantics is a well-established and very
active branch of mathematical logic, with many applications,
in computer science and elsewhere. The area is characterized
by results, tools and techniques stemming from various fields,
including universal algebra, topology, category theory, order,
and model theory. The program of the conference TACL 2013 will
focus on three interconnecting mathematical themes central to
the semantical study of logics and their applications: algebraic,
categorical, and topological methods. This is the sixth
conference in the series Topology, Algebra and Categories in
Logic (TACL, formerly TANCL). Earlier installments of this
conference have been organized in Tbilisi (2003), Barcelona
(2005), Oxford (2007), Amsterdam (2009), Marseilles (2011).
* CONFIRMED INVITED SPEAKERS
Vladimir Voevodsky, Institute for Advanced Studies, USA
Nick Bezhanishvili, Utrecht University, The Netherlands
Leo Cabrer, University of Oxford, UK
Silvio Ghilardi, University of Milan, Italy
George Metcalfe, University of Bern, Switzerland
Alex Simpson, University of Edinburgh, UK
* FEATURED TOPICS
Contributed talks can deal with any topic dealing with the use
of algebraic, categorical or topological methods in either
logic or computer science. This includes, but is not limited to,
the following areas:
- Algebraic structures in CS
- Algebraic logic
- Coalgebra
- Categorical methods in logic
- Domain theory
- Lattice theory
- Lattices with operators
- Many-valued and fuzzy logics
- Modal logics
- Non-classical logics
- Ordered topological spaces
- Ordered algebraic structures
- Pointfree topology
- Proofs and Types
- Residuated structures
- Semantics
- Stone-type dualities
- Substructural logics
- Topological semantics of modal logic
* SUBMISSIONS
Contributed presentations will be of two types:
- 20 minutes long presentations in parallel sessions and
- featured, 30 minutes long, plenary presentations.
The submission of an abstract will be required to be selected
for a contributed presentation of either kind. While preference
will be given to new work, results that have already been
published or presented elsewhere will also be considered.
More information on the submission procedure, as well as a link
to the EasyChair system, can be found at the conference web site.
* IMPORTANT DATES
April 1, 2013: Abstract submission deadline
May 1, 2013: Notification to authors
July 28-August 1, 2013: Conference
* PROGRAM COMMITTEE
Steve Awodey, Carnegie Mellon University
Guram Bezhanishvili, New Mexico State University
David Gabelaia, Razmadze Mathematical Institute, Tbilisi
Nick Galatos (co-chair), University of Denver
Mai Gehrke, LIAFA, University of Paris Diderot
Rob Goldblatt, Victoria University, Wellington
John Harding, New Mexico State University
Ramon Jansana, University of Barcelona
Peter Jipsen, Chapman University
Achim Jung, University of Birmingham
Alexander Kurz (co-chair), University of Leicester
Vincenzo Marra, University of Milan
Hiroakira Ono, Japan Advanced Institute of Science and Technology
Alessandra Palmigiano, University of Amsterdam
Hilary Priestley, St Anne's College, Oxford
James Raftery, University of KwaZulu-Natal, Durban
Thomas Streicher, Technical University of Darmstadt
Kazushige Terui, Kyoto University
Constantine Tsinakis, Vanderbilt University
Yde Venema, University of Amsterdam
Michael Zakharyaschev, Birkbeck College, University of London
* ORGANIZING COMMITTEE
Chris Conidis, Vanderbilt University
Lianzhen Liu, Jiangnan University, China
Warren McGovern, Florida Atlantic University
Francesco Paoli, University of Cagliari
Rebecca Steiner, Vanderbilt University
Constantine Tsinakis (chair), Vanderbilt University
William Young, Vanderbilt University
29TH INTERNATIONAL CONFERENCE ON LOGIC PROGRAMMING (ICLP 2013)
Call for Papers
Istanbul, Turkey
August 24-28, 2013
http://www.iclp2013.org
* CONFERENCE SCOPE
Since the first conference held in Marseilles in 1982, ICLP
has been the premier international conference for presenting
research in logic programming. Contributions are sought in all
areas of logic programming including but not restricted to:
- Theory: Semantic Foundations, Formalisms, Non-monotonic
Reasoning, Knowledge Representation.
- Implementation: Compilation, Virtual Machines, Parallelism.
- Environments: Program Analysis, Transformation, Validation,
Verification, Debugging, Pro- filing, Testing.
- Language Issues: Concurrency, Objects, Coordination, Mobility,
Higher Order, Types, Modes, Assertions, Programming Techniques.
- Related Paradigms: Inductive Logic Programming, Constraint Logic
Programming, Answer-Set Programming, SAT-Checking
- Applications: Databases, Data Integration and Federation,
Software Engineering, Natural Language Processing, Web and
Semantic Web, Agents, Artificial Intelligence, Bioinformatics.
In addition to the presentations of accepted papers, the technical
program will include invited talks, advanced tutorials, the
doctoral consortium, and several workshops.
* SUBMISSION DETAILS
The four broad categories for submissions are as follows. Regular
papers, including: (1) tech- nical papers for describing
technically sound, innovative ideas that can advance the state of
logic programming; (2) application papers, where the emphasis will
be on their impact on the application domain; (3) system and tool
papers, where the emphasis will be on the novelty, practicality,
usability and availability of the systems and tools described.
Technical communications (4) aimed at describing recent
developments, new projects, and other materials that are not ready
for publication as standard papers. All papers and technical
communications will be presented during the conference.
All submissions must describe original, previously unpublished
research, and must not simultaneously be submitted for publication
elsewhere. They must be written in English. Technical papers,
application papers, and system and tool papers must not exceed 12
pages plus bibliography: however a new condensed TPLP format may
be used and the papers may include appendices beyond 12 pages.
The limit for technical communications is 10 pages. Submissions
must be made in the condensed TPLP format (http://www.iclp2013.org)
via the Easychair submission system, available at
http://www.easychair.org/conferences/?conf=iclp2013
* IMPORTANT DATES
Paper registration (abstract): April 3, 2013
Submission deadline: April 10, 2013
Notification to authors: May 21, 2013
Revision deadline (when needed): June 21, 2013
Camera-ready copy due: July 18, 2013
Conference: August 24-28, 2013
* PAPER PUBLICATION
All accepted papers will be published in the journal Theory and
Practice of Logic Programming (TPLP), Cambridge University Press
(CUP), in one or more special issues. In order to ensure the
quality of the final version, papers may be subject to more than
one round of refereeing (within the decision period). Accepted
technical communications will be published in the online abstract
of the special issue(s). The program committee may also recommend
standard papers to be published as technical communications.
* ICLP 2013 ORGANIZATION
- General Co-Chairs:
Esra Erdem Sabanci University
Joohyung Lee Arizona State University
- Program Co-chairs:
Terrance Swift New University of Lisboa
Evelina Lamma University of Ferrara
- Workshops Chair:
Hans Tompits Vienna University of Technology
- Publicity Chair:
Peter Schueller Sabanci University
- Doctoral Consortium:
Marco Gavanelli University of Ferrara
Martin Gebser University of Potsdam
- Prolog Programming Contest:
Bart Demoen K.U. Leuven
19TH MEETING TYPES FOR PROOFS AND PROGRAMS (TYPES 2013)
Call for Participation
April 22-26, Toulouse, France
http://www.irit.fr/TYPES2013/
* AIMS
The Types Meeting is a forum to present new and on-going work in all
aspects of type theory and its applications, especially in formalized
and computer assisted reasoning and computer programming.
* INVITED SPEAKERS
- Steve Awodey (Institute for Advanced Study, Princeton & Carnegie
Mellon University, Pittsburgh):
"Higher Inductive Types in Homotopy Type Theory"
- Lars Birkedal (Aarhus University):
"Charge! a framework for higher-order separation logic in Coq."
- Ulrich Kohlenbach (Technische Universitaet Darmstadt):
"Types in Proof Mining"
* 34 contributed talks were selected by the program committee
* IMPORTANT DATES
- main conference: morning of April 23 to midday of April 26
- early registration until Wednesday, April 3, 23:59 Paris time
Access to the online registration system is through
http://www.irit.fr/TYPES2013/Registration.html
where the fees can be studied offline (several payment options
are available, in particular safe payment by credit card).
* SATELLITE EVENTS
- Twelfth international workshop Proof, Computation, Complexity
(PCC 2013) with 12 selected contributed talks on April 22 and 23
- tutorial on separation logic by Lars Birkedal in the late afternoon
of April 22: "An introduction to separation logic, and the benefits
of going higher-order"
- Workshop CSPM "Computer Science, Philosophy, Mathematics" in the
afternoon of April 26, with invited contributions as follows:
14:30-16:00 Steve Awodey: "Structuralism, Invariance, and Univalence"
16:15-17:45 Ulrich Kohlenbach: "Proof Theory : From the Foundations
of Mathematics to Applications in Core Mathematics"
All the details are accessible through the main web site of TYPES 2013.
13TH INTERNATIONAL SCHOOL ON FORMAL METHODS FOR THE DESIGN OF COMPUTER, COMMUNICATION AND SOFTWARE SYSTEMS: DYNAMICAL SYSTEMS
Call for Participation
17-22 June 2013
Bertinoro (Italy)
http://www.sti.uniurb.it/events/sfm13ds/
* GENERAL INFORMATION ABOUT SFM
Formal methods are emerging in computer science as a prominent
approach to the rigorous design of computer, communication and
software systems.
The aim of the SFM series is to offer a good spectrum of
current research in foundations as well as applications of
formal methods, which can be of interest for graduate students
and young researchers who intend to approach the field.
This year SFM is an offspring of the workshops QAPL and MLQA
and is devoted to dynamical systems. It covers topics such as
chaotic dynamics, information theory, systems biology, hybrid systems,
quantum computing, and automata-based models and model checking.
* LECTURERS
Herbert Wiklicky (Imperial College London, UK)
Abbas Edalat (Imperial College London, UK)
Boris Koepf (IMDEA Software, ES)
Renato Renner (ETH Zurich, CH)
Joost-Pieter Katoen (RWTH Aachen, DE)
Jeremy Bradley (Imperial College London, UK)
Oded Maler (VERIMAG, FR)
Ion Petre (Abo Akademi, FI)
Lubos Brim (Masaryk Univ., CZ)
Luca Bortolussi (Univ. Trieste, IT)
Andreas Podelski (Univ. Freiburg, DE)
Jiannis Pachos (Univ. Leeds, UK)
All participants will receive a copy of a tutorial book published by
Springer as a volume in the Lecture Notes in Computer Science series.
* LOCATION
SFM-13:DS will be held in the medieval hilltop town of Bertinoro.
This town is in Emilia Romagna, about 70 km south-east of Bologna,
at an elevation of about 230 m. It can be reached in a couple of
hours from the international airport "G. Marconi" of Bologna by
shuttle (from the airport to the railway station) + train (from
Bologna to Forli`) + bus/taxi (from the railway station to Bertinoro).
The closest airport is the "L. Ridolfi" airport of Forli`, which is
13 km away.
* ORGANIZATION
Scientific directors:
- Marco Bernardo (University of Urbino, IT)
- Erik de Vink (Eindhoven University of Technology, NL)
- Alessandra Di Pierro (University of Verona, IT)
- Herbert Wiklicky (Imperial College London, UK)
* SECRETARY
Monica Michelacci (CRU Bertinoro, IT)
* APPLICATION
Prospective participants should send by 4 April 2013
the application form, available on the school website,
to the two e-mail addresses below:
Marco Bernardo
marco.bernardo AT uniurb.it
Monica Michelacci
mmichelacci AT ceub.it
* FEES
The registration fee is 600 euros and includes the school material.
The accommodation fee is 350 euros and covers the period June 16-23
(7 nights), double room (to share with another participant),
half board (breakfast and lunch, dinner of June 16 included,
lunch of June 23 excluded).
The reduced accommodation fee for the participants who do not
need a room is 100 euros and covers the period June 17-22
(6 lunches).
A very limited number of grants is available to cover part
of the registration fee (no grant can be requested to cover
the accommodation fee or the travel expenses).
Notification of accepted/rejected applications and grant requests
will be communicated by April 10.
* Registration to the school is due by April 20.
No refund is possible for cancellation after May 15.
22ND EACSL ANNUAL CONFERENCES ON COMPUTER SCIENCE LOGIC (CSL 2013)
Call for Papers
Torino, Italy
September 2-5, 2013
http://csl13.di.unito.it/
* AIM AND SCOPE
Computer Science Logic (CSL) is the annual conference of the
European Association for Computer Science Logic (EACSL). The
conference is intended for computer scientists whose research
activities involve logic, as well as for logicians working on
issues significant for computer science.
* LOCATION
The 22nd EACSL Annual Conferences on Computer Science Logic
will be held at Museo di Scienze Naturali in Torino from
Monday 2nd through Thursday 5th of September 2013.
* LIST OF TOPICS OF INTEREST (NON EXHAUSTIVE)
automated deduction and interactive theorem proving, constructive
mathematics and type theory, equational logic and term rewriting,
automata and games, game semantics, modal and temporal logic,
model checking, decision procedures, logical aspects of
computational complexity, computational proof theory, bounded
arithmetic and propositional proof complexity, logic programming
and constraints, lambda calculus and combinatory logic, domain
theory, categorical logic and topological semantics, database
theory, specification, extraction and transformation of programs,
logical aspects of quantum computing, logical foundations of
programming paradigms, verification and program analysis, linear
logic, higher-order logic, non-monotonic reasoning.
* IMPORTANT DATES
Abstract submission: April, 1st 2013
Paper Submission: April, 8th 2013
Paper Notification: June, 10th 2013
Paper final version: July, 1st 2013
Conference: September, 2nd --- 5th 2013
* SUBMISSION
Authors are invited to submit papers of not more than 15 pages in
LIPIcs style presenting work not previously published. Papers are
to be submitted through Easychair.
* SATELLITE EVENTS
The 14th International Workshop on Logic and Computational
Complexity (LCC'13) will be held on 6th of September 2013 as
a satellite event of CSL'13. An international summer school
on Linear Logic and related topics will be held from 28th
through 31st of August 2013 as a satellite event of CSL'13.
Further details will appear on this page as soon as possible.
* PROGRAM COMMITTEE
Zena Ariola (University of Oregon)
Arnon Avron (Tel-Aviv University)
Roberto Bagnara (University of Parma, and BUGSENG srl)
Christel Baier (Technical University of Dresden)
Marc Bezem (University of Bergen)
Paola Bruscoli (University of Bath, Computer Science Department)
Agata Ciabattoni (TU Wien)
Thierry Coquand (Chalmers University)
Ugo Dal Lago (Universita di Bologna)
Valeria De Paiva (Nuance Communications)
Reinhard Kahle (CENTRIA and DM, UNL, Portugal)
Stephan Kreutzer (Technical University Berlin)
Olivier Laurent (CNRS - ENS Lyon)
Carsten Lutz (Universitaet Bremen)
Jean-Yves Marion (Universite de Lorraine, LORIA)
Damian Niwinski (Warsaw University)
Frank Pfenning (Carnegie Mellon University)
Elaine Pimentel (UFMG)
Ruzica Piskac (Max Planck Institute for Software Systems (MPI-SWS))
Simona Ronchi Della Rocca CHAIR (Universita di Torino)
Jan Rutten (CWI)
Helmut Schwichtenberg (LMU Munich)
Phil Scott (Dept. of Math & Stats, U. Ottawa)
Peter Selinger (Dalhousie University)
Makoto Tatsuta (National Institute of Informatics)
Tachio Terauchi (Nagoya University)
* ORGANIZING COMMITTEE
Erika De Benedetti (Dipartimento di Informatica, Torino)
Paola Giannini (Dipartimento di Scienze e Innovazione Tecnologica (DISIT), Alessandria)
Mauro Piccolo (Dipartimento di Informatica, Torino)
Luca Padovani (Dipartimento di Informatica, Torino)
Luca Paolini (Dipartimento di Informatica, Torino)
Simona Ronchi Della Rocca (Dipartimento di Informatica, Torino)
Luca Roversi (Dipartimento di Informatica, Torino)
Angelo Troina (Dipartimento di Informatica, Torino)
5TH INTERNATIONAL CONFERENCE ON ALGEBRA AND COALGEBRA IN COMPUTER SCIENCE, TOOLS WOORKSHOP
September 3-6, 2013
Warsaw, Poland
http://coalg.org/calco13/workshops.html#tools
* SCOPE
CALCO aims to bring together researchers and practitioners with
interests in foundational aspects, and both traditional and emerging
uses of algebra and coalgebra in computer science. It is a high-level,
bi-annual conference formed by joining the forces and reputations of
CMCS (the International Workshop on Coalgebraic Methods in Computer
Science), and WADT (the Workshop on Algebraic Development
Techniques). Previous CALCO editions took place in Swansea (Wales,
2005), Bergen (Norway, 2007), Udine (Italy, 2009) and Winchester (UK,
2011). The fifth edition will be held in Warsaw, the capital of
Poland.
As part of CALCO, a workshop dedicated to tools based on algebraic
and/or coalgebraic principles, CALCO Tools, will be held alongside the
main conference. Papers of this workshop will be
included in the CALCO proceedings.
* TOPICS
CALCO-Tools will take place on the same dates as the main CALCO
conference, with no overlap between the technical programmes of the
two events. Topics of interest include systems, prototypes, and tools
developed specifically for the design, checking, execution, and
verification of (co)algebraic specifications, but also tools targeting
different application domains while making core or interesting use of
(co)algebraic techniques.
Tool submissions should not exceed 5 pages in LNCS format. The
accepted tool papers will be included in the final proceedings of the
conference. The tools should be made available on the web at the time
of submission. Each submission will be evaluated by at least three
reviewers; one or more of the reviewers will be asked to download and
use the tool. At least one of the authors of each tool paper must
attend the conference to demo the tool. To submit a paper please visit
our easychair submission site at
https://www.easychair.org/conferences/?conf=calcotools2013
* CALCO Tools Dates
Paper submission: April 8, 2013
Author notification: May 6, 2013
Final version due: June 3, 2013
11TH ANNUAL CONFERENCE ON COMPUTATIONAL METHODS IN SYSTEMS BIOLOGY (CMSB 2013)
Call for Papers
IST Austria, Klosterneuburg, Austria
23-25 September, 2013
http://ist.ac.at/cmsb13
* IMPORTANT DATES
Abstract deadline 8 April, 2013
Paper submission deadline 15 April, 2013
Author notification 27 May, 2013
Poster submission deadline 27 May, 2013
Poster notification 10 June, 2013
Camera-ready deadline 24 June, 2013
* SCOPE
CMSB 2013 solicits original research articles on the computational
modeling and analysis of biological systems, pathways, networks,
data, and corresponding application domains. The conference brings
together computer scientists, biologists, mathematicians,
engineers, and physicists interested in a system-level
understanding of biological processes. It covers theory,
computation, as well as applications.
* TOPICS
- original paradigms, formalisms, and languages for modeling
biological processes
- original models together with their application domains
- frameworks, techniques, and tools for verifying, validating,
analyzing, and simulating biological systems
- high-performance computational systems biology and parallel
implementations
- inference from high-throughput experimental data
- model integration from biological databases
- multi-scale modeling and analysis methods
- synthetic biology.
* POSTER TRACK
CMSB 2013 also solicits poster submissions. The abstract of each
poster will get 2 pages in the proceedings. Some selected posters
will also be given slots of short talks at the conference. We
especially encourage poster submission from experimental
biologists! In order to facilitate biologists to attend the
conference and present their work, a limited number of travel
stipends for students and postdocs presenting biology posters
will be available.
WORKSHOP ON FOUNDATIONS OF COMPUTER SECURITY (FCS 2013)
Call for papers
June 29, 2013
New Orleans, Louisiana, USA
http://prosecco.inria.fr/personal/bblanche/fcs13/
* The FCS workshop aims at bringing computer security researchers in
closer contact with the LICS community and giving LICS attendees an
opportunity to talk to experts in computer security, on the one
hand, and contribute to bridging the gap between logical methods and
computer security foundations, on the other.
FCS'13 will be co-located with LICS'13 (ACM/IEEE Symposium on Logic
in Computer Science), CSF'13 (IEEE Computer Security Foundations
Symposium), and MFPS'13 (Conference on the Mathematical Foundations
of Programming Semantics).
* Possible topics include, but are not limited to: Automated reasoning
techniques, Composition issues, Formal specification, Foundations of
verification, Information flow analysis, Language-based security,
Logic-based design, Program transformation, Security models, Static
analysis, Statistical methods, Tools, Trust management for Access
control and resource usage control, Authentication, Availability and
denial of service, Covert channels, Confidentiality, Integrity and
privacy, Intrusion detection, Malicious code, Mobile code, Mutual
distrust, Privacy, Security policies, Security protocols.
* Submission format: full papers (15 pages) or short abstracts (1 page)
* Important dates: Submission: April 10, 2013
Notification: April 30, 2013; Final papers: May 31, 2013
8TH WORKSHOP ON METHODS FOR MODALITIES (M4M-8)
Call for Papers
Lake Placid, New York, June 9, 2013
http://www.cs.famaf.unc.edu.ar/~careces/M4M/M4M8/
* SCOPE
The workshop ''Methods for Modalities'' (M4M) aims to bring together
researchers interested in developing algorithms, verification methods
and tools based on modal logics. Here the term ''modal logics'' is
conceived broadly, including temporal logic, description logic,
guarded fragments, conditional logic, temporal and hybrid logic, etc.
To stimulate interaction and transfer of expertise, M4M will feature a
number of invited talks by leading scientists, research presentations
aimed at highlighting new developments, and submissions of
system demonstrations.
We strongly encourage young researchers and students to submit papers
and posters, especially for experimental and prototypical software tools
which are related to modal logics.
More information about the previous editions can be found at
http://www.cs.famaf.unc.edu.ar/~careces/M4M/M4M8/
* SUBMISSIONS
Authors are invited to submit papers in the following three categories.
In all cases the LNCS style should be used.
- Regular papers up to 15 pages including bibliography, describing original
research.
- System descriptions of up to 12 pages including bibliography, describing
new systems or significant upgrades of existing ones.
- Presentation-only papers, describing work recently published or submitted
(no page limit). These will not be included in the proceedings, but
pre-prints or post-prints can be made available to participants.
Submissions should be made via EasyChair at the following address:
http://www.easychair.org/conferences/?conf=m4m8
* IMPROTANT DATES
Abstract submission deadline: April 12th, 2013 [firm]
Paper submission deadline: April 15th, 2013 [firm]
Notification of acceptance: May 19th, 2013
Camera ready versions due: May 26th, 2013
Workshop dates: June 9, 2013
9TH SYMPOSIUM ON FRONTIERS OF COMBINING SYSTEMS (FroCoS 2013)
Call for Papers
Nancy, France
September 18-20, 2013,
http://frocos2013.loria.fr
co-located with TABLEAUX 2013
* AIMS
The aim of the conference is to publish and promote
progress in research areas requiring the development of general
techniques and methods for the combination and integration of
special, formally defined systems, as well as for the analysis
and modularization of complex systems.
* TOPICS
Typical topics of interest include (but are not limited to):
combinations of logics such as combined higher-order, first-order,
temporal, modal, or other non-classical logics; combinations and
modularity in ontologies; combination of decision procedures, of
satisfiability procedures, of constraint solving techniques or of
logical frameworks; combination and integration methods in SAT and
SMT solving; combinations and modularity in term rewriting;
integration of equational and other theories into deductive
systems; combination of deduction systems and computer algebra;
integration of data structures into constraint logic programming
and deduction; hybrid methods for deduction, resolution and
constraint propagation; hybrid systems in knowledge representation
and natural language semantics; combined logics for distributed and
multi-agent systems; logical aspects of combining and modularizing
programs and specifications.
* IMPORTANT DATES
Abstract submission: 15 Apr 2013
Paper submission: 22 Apr 2013
INTERNATIONAL WORKSHOP ON QUANTIFIED BOOLEAN FORMULAS (QBF 2013)
Call for Papers
Helsinki, Finland, July 9, 2013
http://fmv.jku.at/qbf2013/
Affiliated to and co-located with SAT 2013 conference
* AIMS
The goal of the International Workshop on Quantified Boolean Formulas
(QBF 2013) is to bring together researchers working on theoretical and
practical aspects of QBF solving. In addition to that, it addresses
(potential) users of QBF in order to reflect on the state-of-the-art and
to consolidate on immediate and long-term research challenges.
* IMPORTANT DATES
April 24 2013: paper submission
May 20 2013: notification of acceptance
June 15 2013: camera-ready version of papers
July 9 2013: workshop
* TOPICS OF INTEREST
The workshop is concerned with all aspects of current research on QBF
and related formalisms with quantifiers. The topics of interest include
(but are not limited to):
- QBF applications, encodings and benchmarks
- Case studies and experimental evaluations
- Certificates and proofs for QBF
- Formats of proofs and certificates
- Implementations of proof checkers and verifiers
- Decision procedures for QBF
- Calculi for QBF
- Data structures, implementation details and heuristics
- Pre- and inprocessing techniques
- Structural QBF solving
- Quantifiers in other formalisms like SMT or CSP
- Tools related to any aspect of QBF/CSP/SMT reasoning
* SUBMISSION
Submissions of extended abstracts are solicited and will be managed via
Easychair: http://fmv.jku.at/qbf2013/submission.html
Submitted extended abstracts should have an overall length of 4 pages in
LNCS format excluding references. Authors may decide to include an
appendix with additional material. Appendices will be considered at the
reviewers' discretion.
4TH INTERNATIONAL SYMPOSIUM ON GAMES, AUTOMATA, LOGICS, AND FORMAL VERIFICATION (GANDALF 2013)
Preliminary Call for Papers
Borca di Cadore, Dolomites, Italy
August 29th-31th, 2013
http://gandalf.di.univr.it/
* OBJECTIVES
The aim of the symposium is to bring together researchers from academia
and industry which are actively working in the fields of Games, Automata,
Logics, and Formal Verification. The idea is to cover an ample spectrum of
themes, ranging from theory to applications, and stimulate
cross-fertilization. Papers focused on formal methods are especially
welcome. Authors are invited to submit original research or tool papers on
all relevant topics in these areas. Papers discussing new ideas that are
at an early stage of development are also welcome.
* LIST OF TOPICS
The topics covered by the conference include, but are not limited to, the
following:
Automata Theory
Automated Deduction
Computational aspects of Game Theory
Concurrency and Distributed computation
Decision Procedures
Deductive, Compositional, and Abstraction Techniques for Verification
Finite Model Theory
First-order and Higher-order Logics
Formal Languages
Formal Methods for Systems Biology, Hybrid, Embedded, and Mobile Systems
Games and Automata for Verification
Game Semantics
Logical aspects of Computational Complexity
Logics of Programs
Modal and Temporal Logics
Model Checking
Models of Reactive and Real-Time Systems
Program Analysis and Software Verification
Run-time Verification and Testing
Specification and Verification of Finite and Infinite-state Systems
Synthesis
* INVITED SPEAKERS
Alessandro Cimatti (ITC-IRST, Italy)
Thomas Henzinger (IST, Austria)
Christof Loeding (University of Aachen, Germany)
* IMPORTANT DATES
Abstract submission: May 1, 2013
Paper submission: May 8, 2013
Acceptance notification: June 17, 2013
Final version: June 26, 2013
Conference: August 29-31, 2013
* PROGRAM CHAIRS
Tiziano Villa (University of Verona, Italy)
Gabriele Puppis (LaBRI, Bordeaux, France)
* ORGANIZING CHAIR
Pietro Sala (University of Verona, Italy)
PERSYVAL-LAB SUMMER SCHOOL ON CYBER-PHYSICAL SYSTEMS
Call for Applications
July 8-12, 2013
Grenoble, France
http://www-verimag.imag.fr/PERSYVAL-Lab-Summer-School-on.html?lang=en
* IET ICT Labs and PERSYVAL-Lab (Pervasive systems and algorithms at the
convergence of physical and digital worlds) Based on high-level research
laboratories present at Grenoble in Mathematics, Computer Science,
Automatic Control, Signal Processing, and Hardware Architecture, is
organizing the 1st edition of the CPS Summer School.
* This school will bring together some of the best lecturers from Europe
and the USA, in a one week programme, and be a fantastic opportunity
for interaction. It will be held in the campus of Grenoble University-France.
* IMPORTANT DATE
Hard deadline for applications is May 1st 2013. Attendance is limited
to 80, so we will be selecting amongst the candidates.
* FEES
Registration fee is EUR350 for students, EUR650 for non-students, which
includes lunches from Monday 8th through Friday 12th. The registration
fee only partially covers the costs incurred. The remaining costs are
covered by the EIT ICT Labs and PERSYVAL-Lab.
18TH INTERNATIONAL WORKSHOP ON FORMAL METHODS FOR INDUSTRIAL CRITICAL SYSTEMS (FMICS 2013)
Call for Papers
September 23-24, 2013
Madrid, Spain
Co-located with SEFM 2013
http://lvl.info.ucl.ac.be/Fmics2013
* SCOPE
The aim of the FMICS workshop series is to provide a forum for
researchers who are interested in the development and application of
formal methods in industry. In particular, FMICS brings together
scientists and engineers who are active in the area of formal methods
and interested in exchanging their experiences in the industrial usage
of these methods. The FMICS workshop series also strives to promote
research and development for the improvement of formal methods and
tools for industrial applications.
* TOPICS
- Design, specification, code generation and testing based on formal
methods.
- Methods, techniques and tools to support automated analysis,
certification, debugging, learning, optimization and transformation
of complex, distributed, real-time systems and embedded systems.
- Verification and validation methods that address shortcomings of
existing methods with respect to their industrial applicability
(e.g., scalability and usability issues).
- Tools for the development of formal design descriptions.
- Case studies and experience reports on industrial applications of
formal methods, focusing on lessons learned or identification of new
research directions.
- Impact of the adoption of formal methods on the development process
and associated costs.
- Application of formal methods in standardization and industrial
forums.
* SUBMISSIONS
Submissions must describe authors' original research work and their
results. Contributions should not exceed 15 pages formatted according
to the LNCS style (Springer), and should be submitted as Portable
Document Format (PDF) files using the EasyChair submission site:
https://www.easychair.org/conferences/?conf=fmics2013
All submissions must report on original research. Submitted papers
must not have previously appeared in a journal or conference with
published proceedings and must not be concurrently submitted to any
other peer-reviewed workshop, symposium, conference or archival
journal. Any partial overlap with any such published or concurrently
submitted paper must be clearly indicated.
Submissions should clearly demonstrate relevance to industrial
application. Case study papers should identify lessons learned,
validate theoretical results (such as scalability of methods), or
provide specific motivation for further research and development.
* IMPORTANT DATES
Paper submission: May 3rd
Notification: June 24th
Final version due: July 12th
Workshop: September 23th-24th
* PROGRAM CHAIRS
Michael Dierkes (Rockwell Collins, France)
Charles Pecheur (Université catholique de Louvain, Belgium)
CALCO EARLY IDEAS WORKSHOP
September 2, 2013
Warsaw, Poland
http://coalg.org/calco13/workshops.html#ei
* SCOPE
CALCO 2013 will be preceded by the CALCO Early Ideas Workshop,
dedicated to presentation of work in progress and original research
proposals. PhD students and young researchers are particularly
encouraged to contribute. Attendance at the workshop is open to all -
it is anticipated that many CALCO conference participants will want to
attend the CALCO Early Ideas workshop (and vice versa).
* TOPICS
The CALCO Early Ideas Workshop invites submissions on the same topics
as the CALCO conference: reporting results of theoretical work on the
mathematics of algebras and coalgebras, the way these results can
support methods and techniques for software development, as well as
experience with the transfer of the resulting technologies into
industrial practice. The list of topics of particular interest is
shown on the main CALCO 2013 page: http://coalg.org/calco13/.
* SUBMISSIONS
CALCO Early Ideas presentations will be selected according to
originality, significance, and general interest, on the basis of
submitted 2-page short contributions. It can be work in progress, a
summary of work submitted to a conference or workshop elsewhere, or
work that in some other way might be interesting to the CALCO
audience. A booklet with the accepted short contributions will be
available at the workshop. Submissions will be handled via EasyChair
https://www.easychair.org/conferences/?conf=calcoearlyideas2013
The use of LNCS style is strongly encouraged.
* IMPORTANT DATES
2-page short contribution submission: May 27, 2013
Notification for short contribution: June 24, 2013
Final short contribution due: July 15, 2013
CALCO Early Ideas Workshop: September 2, 2013
10-15 page paper submission: October 15, 2013
Notification for paper: December 15, 2013
Final paper version due: January 15, 2014
SAMSON@60: A CONFERENCE IN HONOUR OF SAMSON ABRAMSKY, ON THE EVENT OF HIS 60TH BIRTHDAY
28-30 May 2013
Department of Computer Science, University of Oxford
Lecture Theatre B
http://www.cs.ox.ac.uk/sa60/
* TALKS
Speakers will cover the wide range of subjects to which Samson made
pioneering contributions, stretching from the semantics of programming
languages, including domain theory and game semantics, via logic where
he introduced important notions such as full completeness, to quantum
computing and quantum foundations, where he is a father of categorical
quantum mechanics.
* LOCAL ARRANGEMENTS
Conference fee is GBP50 per person for speakers and participants. Cash (in
sterling pounds) payable on 28th May 2013 at the arrival registration.
Limited funding is available for students and young researchers. Please
contact Destiny Chen for further details prior to your booking.
* ORGANISERS
Bob Coecke, Luke Ong, Prakash Panangaden
* LOCAL ORGANISERS
Destiny Chen, Aleks Kissinger
3RD INTERNATIONAL WORKSHOP ON FOUNDATIONAL AND PRACTICAL ASPECTS OF RESOURCE ANALYSIS (FOPARA 2013)
August 29th to 31st, 2013, Bertinoro, Italy
Co-located with WST 2013
http://fopara2013.cs.unibo.it
* SCOPE
The workshop will serve as a forum for presenting original research
results that are relevant to the analysis of resource (time, space,
and others) consumption by computer programs. The workshop aims to
bring together the researchers that work on foundational issues with
the researchers that focus more on practical results. Therefore, both
theoretical and practical contributions are encouraged. We also
encourage papers that combine theory and practice. The following list
of topics is non-exhaustive:
- resource static analysis for embedded or/and critical systems;
- logical and machine-independent characterisations of complexity classes;
- logics closely related to complexity classes;
- type systems for controlling/inferring/checking complexity;
- semantic methods to analyse resources, including quasi-interpretations;
- practical applications of resource analysis;
- complexity analysis by term and graph rewriting.
* SUBMISSIONS
FOPARA 2013 is a two-phase workshop. All participants are invited to submit
a draft paper describing the work to be presented at the workshop. These
submissions will be screened by the program committee chair to make sure
they are within the scope of FOPARA and will appear in the draft proceedings
distributed at the workshop. Submissions appearing in the draft proceedings
are not peer-reviewed publications. After the workshop, authors will be
given the opportunity to incorporate the feedback from discussions at the
workshop and will be invited to submit a revised full article for the formal
review process. These revised submissions will be reviewed by the program
committee using prevailing academic standards to select the best articles
that will appear in the formal proceedings. All contributions must be
written in English, conform to the Springer LNCS series format and not
exceed 16 pages. The papers selected after the reviewing process will be
published as a volume of the Springer LNCS series (Springer’s approval
is pending).
* IMPORTANT DATES
The following deadlines are strict.
- Draft Submission: June 3rd, 2013;
- Notification (Draft): June 21st, 2013;
- Final Version: July 5th, 2013;
- Paper Submission: September 30th, 2013;
- Notification (Paper): December 2nd, 2013;
- Camera Ready: December 23rd, 2013.
3RD INTERNATIONAL SAT/SMT SUMMER SCHOOL 2013
Call for participation
Aalto University, Otaniemi Campus
Espoo, Finland, July 3-5th, 2013
http://satsmt2013.ics.aalto.fi/
* AIMS
The SAT/SMT Summer School aims at providing graduate students and
researchers from universities and industry with a comprehensive
overview of research and methodology in satisfiability testing (SAT)
and satisfiability modulo theories (SMT). The lectures cover the
foundational and practical aspects of SAT and SMT technologies and
their applications.
* LECTURERS
Olaf Beyersdorff, Humboldt-Universitaet zu Berlin, Germany
Alessandro Cimatti, IRST, Trento, Italy
Leonardo de Moura, Microsoft Research, Redmond, USA
John Franco, University of Cincinnati, USA
Enrico Giunchiligia, University of Genova, Italy
Marijn Heule, University of Texas at Austin, USA
Joao Marques-Silva, University College Dublin, Ireland
Albert Oliveras, Technical University of Catalonia, Barcelona, Spain
Stefan Szeider, Vienna University of Technology, Austria
* REGISTRATION
Registration for the school is now open. Full details of the
registration procedure are available at the school website:
http://satsmt2013.ics.aalto.fi/
* ORGANIZING COMMITTEE
Keijo Heljanko, Aalto University
Tomi Janhunen, Aalto University
Matti Jarvisalo, University of Helsinki
HORIZONS IN TCS: A CELEBRATION OF MIHALIS YANNAKAKIS's 60TH BIRTHDAY
Early Call for Participation
Workshop at Center for Computational Intractability (CCI)
Princeton University, NJ, USA
August 27-29, 2013.
http://intractability.princeton.edu/blog/2013/01/mihalisfest-2013/
* See the workshop's webpage for further information,
including list of speakers.
ACKERMANN AWARD 2013 - THE EACSL OUTSTANDING DISSERTATION AWARD FOR LOGIC IN COMPUTER SCIENCE
Second Call for Nominations
* Eligible for the 2013 Ackermann Award are PhD dissertations in topics
specified by the EACSL and LICS conferences, which were formally
accepted as PhD theses at a university or equivalent institution
between 1.1.2011 and 31.12.2012.
* Submission details are available at
http://www.eacsl.org/submissionsAck.html
* The deadline for submission is April 15, 2013
* Nominations should be sent to the chair of the Jury by
e-mail: anuj.dawar@cl.cam.ac.uk
* The award consists of
- a diploma,
- an invitation to present the thesis at the CSL conference,
- the publication of the laudation in the CSL proceedings,
- travel support to attend the conference.
* The 2013 Ackermann Award will be presented to the recipients at the
annual conference of the EACSL (CSL'13) in Torino (Italy)
to be held 2-5 September 2013.
* The jury consists of 8 members:
- T. Coquand (Chalmers University of Gothenburg)
- A. Dawar (Cambridge, U.K., president of EACSL)
- T.A. Henzinger (Klosterneuburg, Austria)
- D. Leivant (Bloomington, USA)
- D. Niwinski (Warsaw, Poland)
- L. Ong (Oxford, U.K., LICS representative)
- S. Ronchi Della Rocca (vice-president of EACSL)
- W. Thomas (Aachen, Germany)
* The jury is entitled to give more (or less) than one award per year.
* The previous Ackermann Award recipients were:
2005: Mikolaj Bojanczyk, Konstantin Korovin, Nathan Segerlind;
2006: Stefan Milius and Balder ten Cate;
2007: Dietmar Berwanger, Stephane Lengrand and Ting Zhang;
2008: Krishnendu Chatterjee;
2009: Jakob Nordstrom;
2010: ---- (no award given);
2011: Benjamin Rossman
2012: Andrew Polonsky and Szymon Torunczyk
PHD POSITION AT TWENTE ON ACCELERATOR PROGRAMMING
* LOCATION
The research group Formal Methods and Tools at the University of
Twente (Enschede, The Netherlands) is looking for a PhD researcher
(4 years) to work on the EU Strep project CARP (Correct and Efficient
Accelerator Programming), funded by the European Union.
* CARP Project
In recent years, massively parallel accelerator processors, primarily
GPUs, have become widely available to end-users. Accelerators offer
tremendous compute power at a low cost, and tasks such as media
processing, simulation, medical imaging and eye-tracking can be
accelerated to beat CPU performance by orders of magnitude. Performance
is gained in energy efficiency and execution speed, allowing intensive
media processing software to run in low-power consumer devices.
The overall aims of CARP are to design techniques and tools for correct
and efficient accelerator programming:
- Novel & attractive methods for constructing system-independent
accelerator programs
- Advanced code generation techniques to produce highly optimised
system-specific code from system-independent programs
- Scalable static techniques for analysing system-independent and
system-specific accelerator programs, both qualitatively and quantitatively
The PhD candidate we are looking for is expected to work on the
development of tools and techniques for correct accelerator programming.
As a research outcome we expect publications, (prototype) tools, and a
PhD thesis.
* STARTING DATE
Starting date of the position: June 1st, 2013, or as soon as possible
thereafter.
* FURTHER INFORMATION
- FMT group: http://fmt.cs.utwente.nl/
- Dr. Marieke Huisman (Marieke.Huisman@ewi.utwente.nl)
- The CARP project: http://fmt.ewi.utwente.nl/files/projects/CARP.d1.pdf
* APPLICATIONS
Please submit your application before 1st of May, 2013 via
http://www.utwente.nl/vacatures/en/. We strongly encourage interested
applicants to send in their applications as soon as possible.
Your application should consist of:
- a cover letter (explain your specific interest and qualifications);
- a full Curriculum Vitae, including a list of all courses + marks, and
a short description of your MSc thesis; and
- references (contact information) of two scientific staff members.
EUROPEAN PHD PROGRAM IN COMPUTATIONAL LOGIC (EPCL)
http://www.epcl-study.eu/
* EPCL
The European PhD Program in Computational Logic (EPCL) is run jointly
by four of the leading European universities in the field:
- Free University of Bozen-Bolzano (Italy),
- Technische Universiteat Dresden (Germany),
- Technische Universitaet Wien (Austria), and
- Universidade Nova de Lisboa (Portugal).
Further international universities, research organizations and
enterprises that contribute to Computational Logic or apply results
from it are involved as associated partners: The Simon Fraser
University (Canada), the Universidad de Chile, the NICTA (National ICT
Australia), as well as several companies.
* PROGRAM
The program involves three years of PhD study in at least two of the
European partner universities. It leads to a joint doctoral degree
issued by the partner universities at which the studies have been
physically performed. The language of the program is English.
Financial support is available in the form of positions and
scholarships. A foundation track and an application-oriented track
match with career perspectives in university research as well as in
industrial research.
* REQUIREMENTS
Necessary requirements for participation in EPCL are: A Master's
degree in Computer Science or Mathematics, or an equivalent degree;
the proof of adequate knowledge of English; and substantial knowledge
in the areas Foundations of Logics, Foundations of Artificial
Intelligence and Declarative Programming.
The program starts annually in the winter term. Applications for 2013
have to be electronically submitted on the Webpage
http://www.epcl-study.eu/
before the application deadline on 30 April 2013.
* ENQUIRIES
Prof. Steffen Hoelldobler
Technische Universitaet Dresden
Fakultaet Informatik
International Center for Computational Logic
Email: sh@iccl.tu-dresden.de
Back to the LICS web page.