Newsletter 149
August 6, 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
* NEWS
CSL-LICS'14
2013 CAV AWARD ANNOUNCEMENT
* DEADLINES
Forthcoming Deadlines
* CALLS
FOPARA+WST 2013 - Call for Participation
ICLP 2013 - Call for Participation
CSL 2013 - Call for Participation
SOFSEM 2014 - Call for Papers
CALCO 2013 - Call for Participation
MihalisFest 2013 - Call for Participation
STACS 2014 - Call for Papers
FLOC 2014 - Call for Workshops
LIX Colloquium - Call for Abstracts and Participation
ETAPS 2014 - Call for Papers
IWIL 2013 - Call for Contributions
RAMiCS 2014 - Call for Papers
I&C ICC - Call for Papers
FLOPS 2014 - Call for Papers
SMC 2014 - Preliminary Announcement
* JOB ANNOUNCEMENTS
Postdocs in Biomodelling at Turku
11 PhD Scholarships at Pisa
CSL-LICS'14
* Next year, LICS and CSL will hold a joint conference for the first time,
as part of FLoC 2014. Tom Henzinger and Dale Miller are co-chairs of a
joint PC of 38 members. The proceedings will be published by IEEE.
A preliminary Call for Papers is available on the LICS website.
http://lics.siglog.org/csl-lics14/
2013 CAV AWARD
* The 2013 CAV (Computer-Aided Verification) Award was presented on July 17,
2013, at the 25th annual CAV conference in Saint Petersburg, Russia, to
Kim G. Larsen, Paul Pettersson, and Wang Yi for the development of UPPAAL,
a model checker for real-time systems. The annual award, which recognizes
a specific fundamental contribution or a series of outstanding contributions
to the CAV field includes a $10,000 award. The award was presented with the
citation: "for developing UPPAAL which is the foremost tool suite for the
automated analysis and verification of real-time systems."
The CAV conference is the premier international event for reporting research
on Computer-Aided Verification, a sub-discipline of Computer Science which
is concerned with ensuring that software and hardware systems operate
correctly and reliably. The CAV award was established in 2008 by the
conference steering committee and was given this year for the sixth time.
DEADLINES
* FOPARA+WST 2013
Early registration deadline: August 8, 2013
http://fopara2013.cs.unibo.it/
http://www.imn.htwk-leipzig.de/WST2013/
* ICLP 2013
Late registration deadline: August 12, 2013
http://www.iclp2013.org
* CSL 2013
Late registration: August 25, 2013
http://csl13.di.unito.it/
* SOFSEM 2014
Submission deadline: August 25, 2013
http://www.sofsem.sk
* CALCO 2013
Late registration: August 26, 2013
http://coalg.org/calco13/
* STACS 2014
Paper submission: September 20, 2013
http://stacs2014.sciencesconf.org/
* FLOC 2014
Workshop proposal submission: September 30, 2013
http://vsl2014.at/floc-ws/
* LIX Colloquium
Abstract submission deadline: October 1, 2013
http://www.lix.polytechnique.fr/colloquium2013/
* ETAPS 2014
Submission deadline (abstracts): October 4, 2013
Submission deadline (full papers): October 11, 2013
http://www.etaps.org/2014
* IWIL 2013
Submission of papers/abstracts: October 14, 2013
http://www.eprover.org/EVENTS/IWIL-2013.html
* RAMiCS 2014
Title and abstract submission: October 25, 2013
Submission of full papers: November 1, 2013
http://mathcs.chapman.edu/ramics2014
* INFORMATION AND COMPUTATION SPECIAL ISSUE ON ICC
Submission deadline: November 1, 2013
http://dice2013.di.unito.it/
* FLOPS 2014
Submission deadline: December 13, 2013
http://www.jaist.ac.jp/flops2014/
3RD INTERNATIONAL WORKSHOP ON FOUNDATIONAL AND PRACTICAL ASPECTS OF RESOURCE ANALYSIS (FOPARA 2013) AND 13TH INTERNATIONAL WORKSHOP ON TERMINATION (WST 2013)
Call for Participation
Bertinoro, Italy
August 29-31 2013
http://fopara2013.cs.unibo.it/
http://www.imn.htwk-leipzig.de/WST2013/
* FOPARA
The Workshop on Foundationa and Practical Aspects of Resource Analysis
serves 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.
* WST
The Workshop on Termination traditionally brings together, in an informal
setting, researchers interested in all aspects of termination, whether this
interest be practical or theoretical, primary or derived. The workshop also
provides a ground for cross-fertilisation of ideas from term rewriting and
from the different programming language communities. The friendly atmosphere
enables fruitful exchanges leading to joint research and subsequent
publications.
* THIS YEAR
This year, the two workshop above will be co-located, and the sessions of
WST and FOPARA will be interleaved, this way facilitating the interaction
between the two communities.
* REGISTRATION
Early registration deadline: August 8
See http://www.ceub.it/default.asp?id_c=161&id=436#.UeaOwb5H4dU
* INVITED SPEAKERS
Gilles Barthe, IMDEA Software
Amir Ben-Amram, Tel-Aviv
Byron Cook, UCL and Microsoft Research
* ACCEPTED PAPERS
FOPARA: http://fopara2013.cs.unibo.it/abstracts.shtml
WST: http://www.imn.htwk-leipzig.de/WST2013/
29TH INTERNATIONAL CONFERENCE ON LOGIC PROGRAMMING (ICLP 2013)
Call for Participation
Istanbul, Turkey, August 24-29, 2013
http://www.iclp2013.org
* ACCEPTED PAPERS
The list of accepted regular papers and technical communcations is
available on the conference home page: http://www.iclp2013.org.
* INVITED TALKS
- Pascal Hitzler (http://www.pascal-hitzler.de)
Recent advances concerning OWL and Rules.
- Torsten Schaub (http://www.cs.uni-potsdam.de/~torsten)
Experiencing Answer Set Programming at Work, Today and Tomorrow.
- Hans von Ditmarsch (http://personal.us.es/hvd)
Dynamic Epistemic Logic and Lying.
- C.R. Ramakrishnan (http://www.cs.sunysb.edu/~cram/)
Probabilistic Tabled Logic Programming with Application to Model Checking.
Invited author(s) of the most influencial paper of ICLP/ILPS 1993.
Invited author(s) of the most influencial paper of ICLP 2003.
* WORKSHOPS, DC, AND CONTEST
- 9th ICLP Doctoral Consortium, August 24.
- 13th International Colloquium on Implementation of Constraint and
LOgic Programming System (CICLOPS): August 24-25.
- 23rd Workshop on Logic-based methods in Programming Environments
(WPLE): August 24-25.
- WG17: August 24-25.
- 1st International Workshop on Knowledge Representation and Reasoning
in Robotics (KRR): August 25.
- 6th International Workshop on Answer Set Programming and Other
Computing Paradigms (ASPOCP): August 25.
- Prolog Programming Contest: August 27.
See http://www.iclp2013.org/en/Workshops.html for further details.
* REGISTRATION AND ACCOMODATION
Information about registration and accomodation is available at the
conference web site: http://www.iclp2013.org.
* SPONSORS
The conference is sponsored by the Association for Logic Programming
(ALP), Sabanci University, and Artificial Intelligence: An
International Journal.
* ICLP 2013 ORGANIZATION
- General Chairs: Esra Erdem (Sabanci University), Joohyung Lee
(Arizona State University).
- Program Comittee Chairs: Evelina Lamma (University of Ferrara),
Terrance Swift (New University of Lisboa).
- Workshop Chair: Hans Tompits (Vienna University of Technology).
- Doctoral Consortium Chairs: Marco Gavanelli (University of Ferrara),
Martin Gebser (University of Potsdam).
- Publicity Chair: Peter Schueller (Sabanci University).
- Prolog Programming Contest Chair: Bart Demoen (KU Leuven).
* CONFERENCE VENUE
Istanbul is a city of unparalleled social and cultural richness. It
is as fascinating and historical as it is dynamic and modern. Serving
as the capital of two mighty empires for sixteen centuries, Eastern
Roman (or Byzantine) and Ottoman, and set squarely between two
continents, Istanbul has cultures and traditions that blend East with
West and Mediterranean with Anatolian. Each civilization that has made
Istanbul its home has left its mark in sublime and splendid ways, and
the result a city that gives one the feeling of universal history at
every step.
Istanbul has always been a meeting place, a crosspoint and a
destination. With the Ataturk Istanbul International Airport, getting
to and from Istanbul has never been easier. With a capacity of far
over 25 million travelers per year Istanbul is less than a three-hour
flight from most European cities. Istanbul has a second airport
located on the Asian side of the city, Sabiha Gokcen International
Airport, which is an important arrival point especially for low-cost
airlines. Overall, Istanbul is served by more than 50 major airlines
to hundreds of cities around the world.
22ND EACS ANNUAL CONFERENCE ON COMPUTER SCIENCE LOGIC (CSL 2013)
Call for Participation
Torino, 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 Conference on Computer Science Logic will be held at
Museo di Scienze Naturali in Torino from Monday 2nd through Thursday 5th of
September 2013.
* IMPORTANT DEADLINES FOR REGISTRATION
Late registration: August 25th 2013
On-site registration: --
* SATELLITE EVENTS
The 9th International Workshop on Fixed Points in Computer Science (FICS'13) will
be held on 1st of September 2013 as a satellite event of CSL'13.
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.
Details are in the web site of CSL'13.
* PROGRAMME CHAIR
Simona Ronchi Della Rocca (Universita di Torino)
40TH INTERNATIONAL CONFERENCE ON CURRENT TRENDS IN THEORY AND PRACTICE OF COMPUTER SCIENCE (SOFSEM 2014)
Call for Papers
Hotel Atrium, Novy Smokovec, High Tatras, Slovakia
January 25 - 30, 2014
www.sofsem.sk
* AIMS
40th International Conference on Current Trends in Theory and Practice
of Computer Science SOFSEM (SOFtware SEMinar) 2014 will take place in
Hotel Atrium, Novy Smokovec, High Tatras, Slovakia, on January 25-30,
2014. SOFSEM 2014 is jointly organized by the Institute of Computer
Science of P.J.Safarik University, Kosice, Slovakia and by the Slovak
Society for Computer Science. The conference is supported by the Czech
Society for Cybernetics and Informatics. The aim of the conference is
to get together professionals from academia and industry working in
various areas of Computer Science.
* PROGRAM COMMITTEE CHAIR
Branislav Rovan, Bratislava, Slovakia
* CONFERENCE TRACKS
Foundations of Computer Science
track chair: Viliam Geffert, Kosice, Slovakia
Software & Web Engineering
track chair: A Min Tjoa, Wien, Austria
Data, Information, and Knowledge Engineering
track chair: Julius Stuller, Praha, Czech Republic
Cryptography, Security, and Verification
track chair: Bart Preneel, Leuven, Belgium
Student Research Forum
track chair: Roman Spanek, Praha, Czech Republic
* IMPORTANT DATES
August 25, 2013: Submission Deadline
October 11, 2013: Notification about Acceptance
October 25, 2013: Deadline for Final Proceedings Versions
January 25-30, 2014: Conference
(January 25: arrival, January 30: departure)
* SUBMISSIONS
https://www.easychair.org/conferences/?conf=sofsem2014
5TH INTERNATIONAL CONFERENCE ON ALGEBRA AND COALGEBRA IN COMPUTER SCIENCE (CALCO 2013)
Call for Participation
September 3 - 6, 2013
Warsaw, Poland
http://coalg.org/calco13/
* IMPORTANT DATES
- Late registration: until August 26th, 2013
* 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.
* INVITED SPEAKERS --
- Andrej Bauer (University of Ljubljana, SI)
- Mikolaj Bojanczyk (University of Warsaw, PL)
- Neil Ghani (University of Strathclyde, UK)
- Damien Pous (CNRS, ENS-Lyon, F)
* ACCEPTED PAPERS --
Please see http://coalg.org/calco13/accepted-papers
for a complete list.
* LOCATION
Warsaw, the capital of Poland, is a lively city with many historic
monuments and sights, but also with a thriving business district. It
is easily accessible via two airports: the main Chopin Airport, used by
most international carriers, and the recently open Warsaw Modlin
Airport (30 minutes away by rail), used by budget airlines.
* SATELLITE WORKSHOPS
CALCO 2013 will be preceded by the CALCO Early Ideas Workshop, chaired
by Monika Seisenberger (Swansea University). The workshop is dedicated
to presentation of work in progress and original research
proposals. PhD students and young researchers are particularly
encouraged to contribute.
A workshop dedicated to tools based on algebraic and/or coalgebraic
principles, CALCO Tools, will be held alongside the main conference,
chaired by Lutz Schroeder (Friedrich Alexander Universitaet
Erlangen-Nuernberg). Papers of this workshop will be included in the
CALCO proceedings.
* PROGRAMME CHAIRS
Reiko Heckel - University of Leicester, UK (cochair)
Stefan Milius - Friedrich-Alexander Universitaet Erlangen-Nuernberg, D (cochair)
* ORGANISING COMMITTEE
Bartek Klin (University of Warsaw, PL)
Andrzej Tarlecki (University of Warsaw, PL)
Joanna Ochremiak (University of Warsaw, PL)
HORIZONS IN TCS: A CELEBRATION OF MIHALIS YANNAKAKIS's 60TH BIRTHDAY
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.
31ST INTERNATIONAL SYMPOSIUM ON THEORETICAL ASPECTS OF COMPUTER SCIENCE (STACS 2014)
Call for Papers
March 5 - March 8, 2014, Lyon, France
Submission Deadline: Sep 20, 2013 (23:59:59 GMT/UTC)
http://stacs2014.sciencesconf.org/
* SUBMISSIONS
Authors are invited to submit papers presenting original and
unpublished research on theoretical aspects of computer
science. Typical areas include (but are not limited to):
- algorithms and data structures, including: parallel, distributed,
approximation, and randomized algorithms, computational geometry,
cryptography, algorithmic learning theory, analysis of algorithms;
- automata and formal languages, games;
- computational complexity, parameterized complexity, randomness in computation;
- logic in computer science, including: semantics, specification and
verification, rewriting and deduction;
- current challenges, for example: natural computing, quantum
computing, mobile and net computing.
* INVITED SPEAKERS
- Javier Esparza, TUM - Technische Universitaet Muenchen
- Peter Bro Miltersen, Aarhus University
- Luc Segoufin, INRIA, Ecole Normale Superieure de Cachan
* TUTORIAL
Neeraj Kayal, Microsoft Research India: Arithmetic Circuit Complexity
THE SIXTH FEDERATED LOGIC CONFERENCE (FLoC 2014)
Call for Workshops
Part of VIENNA SUMMER OF LOGIC (VSL 2014)
July 2014, Vienna, Austria
* FLOC 2014
The Sixth Federated Logic Conference (FLoC 2014) will be part of the
Vienna Summer of Logic (VSL), the largest logic event in history, with
over 2000 expected participants. FLoC 2014 will host eight conferences
and many workshops. Each workshop will be affiliated with at least one
of the eight conferences.
- 26th International Conference on Computer Aided Verification (CAV)
Workshop Chair: Martina Seidl http://fmv.jku.at/seidl/
- 27th IEEE Computer Security Foundations Symposium (CSF)
Workshop Chair: Luca Vigano http://profs.sci.univr.it/~vigano/
- 30th International Conference on Logic Programming (ICLP)
Workshop Chair: Haifeng Guo http://faculty.ist.unomaha.edu/hguo/
- 7th International Joint Conference on Automated Reasoning (IJCAR)
Workshop Chair: Matthias Horbach http://www.mpi-inf.mpg.de/~horbach/
- 5th Conference on Interactive Theorem Proving (ITP)
Workshop Chair: David Pichardie http://www.irisa.fr/celtique/pichardie/
- Joint meeting of the 23rd EACSL Annual Conference on Computer Science
Logic (CSL) and the 29th ACM/IEEE Symposium on Logic in Computer Science
(LICS)
Workshop Chairs:
Patricia Bouyer-Decitre http://www.lsv.ens-cachan.fr/~bouyer/
Georg Moser http://cl-informatik.uibk.ac.at/users/georg/
- 25th International Conference on Rewriting Techniques and Applications
(RTA) joined with the 12th International Conference on Typed Lambda
Calculi and Applications (TLCA)
Workshop Chair: Aleksy Schubert http://www.mimuw.edu.pl/~alx/
- 17th International Conference on Theory and Applications of
Satisfiability Testing (SAT) Workshop Chair: Ines Lynce
http://sat.inesc-id.pt/~ines/
* SUBMISSION OF WORKSHOP PROPOSALS
Researchers and practitioners are invited to submit proposals for
workshops on topics in the field of computer science, related to logic
in the broad sense. Each workshop proposal must indicate at least one
conference to be affiliated with, and among those exactly one primary
hosting conference.
It is suggested that prospective workshop organizers contact the
relevant conference Workshop Chair(s) before submitting a proposal.
Proposals should be submitted electronically to EasyChair at the
following address: http://www.easychair.org/conferences/?conf=floc14cfw
Proposals should consist of two parts. First, a short scientific
justification of the proposed topic, its significance, and the
particular benefits of the workshop to the community, as well as a list
of previous or related workshops (if relevant). A second, organizational
part should include:
- contact information of the workshop organizers
- proposed primary hosting conference (and possibly other affiliated
conference(s))
- estimate of the audience size
- proposed format and agenda (for example, paper presentations,
tutorials, demo sessions, etc.)
- potential invited speakers
- procedures for selecting papers and participants
- plans for dissemination, if any (for example, special issues of journals)
- duration (which may vary from one day to two days) and preferred period
The FLoC Organizing Committee will determine the final list of accepted
workshops based on the recommendations from the Workshop Chairs of the
hosting conferences and subject to the availability of space and facilities.
* FURTHER INFORMATION
See the FLoC 2014 Workshop Guide http://vsl2014.at/floc-ws/
* IMPORTANT DATES
Submission of workshop proposals: by September 30, 2013
Notification: by November, 2013
Pre-FLoC workshops: Saturday & Sunday, July 12-13
Mid-FLoC workshops: Thursday & Friday, July 17-18
Post-FLoC workshops: Wednesday & Thursday, July 23-24
* CONTACT INFORMATION
Questions regarding workshop proposals should be sent to the workshop
chairs of conferences that are supposed to host the workshop (see
above). General questions should be sent to floc14cfw@easychair.org
Please consult the FLoC 2014 Workshop Guide http://vsl2014.at/floc-ws/
* FLoC 2014 WORKSHOP CHAIR
Stefan Szeider
http://www.szeider.net
Vienna University of Technology
LIX COLLOQUIUM ON THE THEORY AND APPLICATION OF FORMAL PROOFS
http://www.lix.polytechnique.fr/colloquium2013/
5-7 November 2013
Ecole Polytechnique, Palaiseau, France
In association with: PSATTT, 8 Nov 2013.
* EVENTS
This three-day colloquium will be composed of a number of hour long
talks by invited speakers and 30 minute talks based on contributed
abstracts. It is meant as a venue for the exchange of ideas. No
proceedings are planned apart from a simple collection of short
abstracts of all talks.
The colloquium will be followed by the workshop: Proof Search in
Axiomatic Theories and Type Theories (PSATTT) 2013.
* THEME
Formal proofs are becoming increasingly important in a number of
domains in computer science and mathematics. The topic of the
colloquium is structural proof theory, broadly construed.
The following are some examples of relevant topics:
- STRUCTURE OF PROOFS
sequential and parallel structures in proofs; sharing and
duplication of subproofs; permutations of proof steps; canonical
forms; focusing and polarities; graphical proof syntax; proof
complexity
- CHECKING PROOFS
generating, transmitting, translating, and checking proof objects;
universal proof languages; proof certificates; proof compression;
cut-introduction; certification of high-performance systems (SMT,
resolution, etc.)
- PROOF SEARCH
automated and interactive proof search in constrained logics
(linear, temporal, bunched, probabilistic, etc.); combining
deduction and computation in search; reasoning about inductive and
co-inductive fixpoints; cyclic proofs; computational
interpretations of proof search
- COMPUTING WITH PROOFS
cut-elimination strategies; cut-elimination by resolution (CERes);
Curry-Howard correspondence
These lists are not exhaustive.
* INVITED SPEAKERS
Chad E. Brown, Saarland University
Agata Ciabattoni, TU Vienna
David Delahaye, CNAM, invited by PSATTT
Alessio Guglielmi, University of Bath
Dominic Hughes, Stanford University
Sara Negri, University of Helsinki
Claudio Sacerdoti Coen, University of Bologna
Alex Simpson, University of Edinburgh
[More to be confirmed]
* CALL FOR ABSTRACTS AND PARTICIPATION
The colloquium is free and open to all, but registration is requested.
If you would like to attend, please send a mail to Kaustuv Chaudhuri
.
If you would like to contribute a 30 minute presentation related to the
themes of the colloquium, please submit a 1-2 page abstract (as
PDF) via EasyChair at https://www.easychair.org/conferences/?conf=tafp2013
The deadline for submissions is 1 October 2013. Decisions on
submissions will be made before 8 October 2013.
* VENUE
The colloquium and the PSATTT workshop will take place in the
Laboratoire d'Informatique (LIX) of the Ecole Polytechnique. The
Polytechnique is situated in the southern suburbs of Paris, about
40 minutes from central Paris by regional train. LIX is co-located
with INRIA Saclay.
* ORGANIZERS
Dale Miller, Lutz Strassburger, Stephane Graham-Lengrand, Assia
Mahboubi, Kaustuv Chaudhuri
* SUPPORT
- Laboratoire d’Informatique (LIX) of the Ecole Polytechnique
http://www.lix.polytechnique.fr/
- ERC Advanced Grant ProofCert
https://team.inria.fr/parsifal/proofcert/
* SEE ALSO
- PSATTT Workshop 2013
http://www.lix.polytechnique.fr/~lengrand/Events/PSATTT13/
- Travelling to LIX/Ecole Polytechnique
https://team.inria.fr/parsifal/meetings/directions/
17TH EUROPEAN JOINT CONFERENCES ON THEORY AND PRACTICE OF SOFTWARE (ETAPS 2014)
Call for Papers
Grenoble, France
5-13 April 2014
http://www.etaps.org/2014
* ABOUT ETAPS
ETAPS is the primary European forum for academic and industrial
researchers working on topics relating to software science. ETAPS,
established in 1998, is a confederation of six main annual
conferences, accompanied by satellite workshops. ETAPS 2014 is the
seventeenth event in the series.
* MAIN CONFERENCES (7-11 April)
- CC: Compiler Construction
- ESOP: European Symposium on Programming
- FASE: Fundamental Approaches to Software Engineering
- FOSSACS: Foundations of Software Science and Computation Structures
- POST: Principles of Security and Trust
- TACAS: Tools and Algorithms for the Construction and Analysis of Systems
TACAS '14 hosts the 3rd Competition on Software Verification
(SV-COMP).
* INVITED SPEAKERS
- Robert Harper (Carnegie Mellon University, US)
- John Launchbury (Galois, US)
- Benoit Dupont de Dinechin (Kalray, France)
- Maurice Herlihy (Brown University, US)
- Christel Baier (Technical University of Dresden, Germany)
- Petr Jancar (Technical Univ of Ostrava, Czech Republic)
- David Mazieres (Stanford University, US)
- Orna Kupferman (Hebrew University Jerusalem, Israel)
* IMPORTANT DATES
- 4 October 2013: Submission deadline for abstracts (strict)
- 11 October 2013: Submission deadline for full papers (strict)
- 20 December 2013: Notification of acceptance
- 17 January 2014: Camera-ready versions due
ESOP and FoSSaCS will use a rebuttal (author response) phase.
* GENERAL SUBMISSION INFORMATION
ETAPS conferences accept two types of contributions: research papers
and tool demonstration papers. Both types will appear in the
proceedings and have presentations during the conference. (TACAS has
more categories, see below.)
A condition of submission is that, if the submission is accepted, one
of the authors attends the conference to give the
presentation. Submitted papers must be in English presenting original
research. They must be unpublished and not submitted for publication
elsewhere. In particular, simultaneous submission of the same
contribution to multiple ETAPS conferences is forbidden. The
proceedings will be published in the Advanced Research in Computing
and Software Science (ARCoSS) subline of Springer's Lecture Notes in
Computer Science series.
Papers must follow the formatting guidelines specified by Springer at
the URL http://www.springer.de/comp/lncs/authors.html
and be submitted electronically in pdf through the Easychair author
interface of the respective conference.
Submissions not adhering to the specified format and length may be
rejected immediately.
* RESEARCH PAPERS
Different ETAPS 2014 conferences have different page limits.
Specifically, FASE, FOSSACS and TACAS have a page limit of 15 pages,
whereas CC, ESOP and POST allow at most 20 pages. Additional material
intended for the referees but not for publication in the final version
- for example, details of proofs - may be placed in a clearly marked
appendix that is not included in the page limit. ETAPS referees are at
liberty to ignore appendices and papers must be understandable without
them. TACAS solicits not only regular research papers, but also case study
papers.
* TOOL DEMONSTRATION PAPERS
Submissions should consist of two parts:
- The first part, at most 4 pages, should describe the tool
presented. Please include the URL of the tool (if available) and
provide information that illustrates the maturity and robustness of
the tool. (This part will be included in the proceedings.)
- The second part, at most 6 pages, should explain how the
demonstration will be carried out and what it will show, including
screen dumps and examples. (This part will be not be included in the
proceedings, but will be evaluated.)
ESOP and FOSSACS do not accept tool demonstration papers.
In addition to tool demonstration papers (max 6 pages in their case),
TACAS solicits also regular tool papers (max 15 pages) adhering to
specific instructions about content and organization.
* SATELLITE EVENTS (5-6 April, 12-13 April)
Around 20 satellite workshops will take place before and after the
main conferences. In addition, on 6 April, some tutorials on topics of
wide interest will be offered.
* HOST CITY
Located in the southeastern part of France, Grenoble is considered as
the capital of the Alps. Grenoble is surrounded by nature and high
mountains: down the Alps, Grenoble is the meeting point of two
important rivers, Drac and Isere. Grenoble has important historical
and gastronomic heritages. Leisure activities in breathtaking nature
are easily organizable and within short-distance. Grenoble is also a
major scientific center in Europe dedicated to high-tech technologies,
e.g., nano, micro, bio, and information technologies.
* HOST INSTITUTION
The event is organized by Universite Joseph Fourier. Located at the
heart of the Alps, in outstanding scientific and natural surroundings,
the Universite Joseph Fourier in Grenoble is a leading University of
Science, Technology and Health.
* ORGANIZERS
- General chair: Saddek Bensalem
- Conferences chair: Yassine Lakhnech
- Workshops chair: Axel Legay
- Publicity chair: Ylies Falcone
- Finance chair: Nicolas Halbwachs
- Web site chair: Marius Bozga
* FURTHER INFORMATION
Please do not hesitate to contact the organizers at
etaps2014.organization@imag.fr.
10TH INTERNATIONAL WORKSHOP ON THE IMPLEMENTATION OF LOGICS (IWIL 2013)
Call for Contributions
December 14th, 2013
Stellenbosch, South Africa
http://www.eprover.org/EVENTS/IWIL-2013.html
* The 10th International Workshop on the Implementation of Logics will
be held on December 14th, 2013, colocated with the 19th International
Conference on Logic for Programming, Artificial Intelligence, and
Reasoning in Stellenbosch, South Africa.
We are looking for contributions describing implementation techniques
for and implementations of automated reasoning programs, theorem
provers for various logics, logic programming systems, and related
technologies. Topics of interest include, but are not limited to:
+ Propositional logic and decision procedures, including SMT
+ First-order and higher order logics
+ Non-classical logics, including modal, temporal, description, and
non-monotonic logics
+ Formal foundations for efficient implementation of logics
+ Data structures and algorithms for the efficient representation and
processing of logical concepts
+ Proof/model search organization and heuristics for logical reasoning
systems
+ Data analysis and machine learning approaches to search control
+ Techniques for proof/model search visualization and analysis
+ Practical constraint handling
+ Reasoning with ontologies and other large theories
+ Implementation of efficient theorem provers and model finders for
different logics
+ System descriptions of logical reasoning systems
+ Issues of reliability, witness generation, and witness verification
+ Evaluation and benchmarking of provers and other logic-based systems
+ I/O standards and communication between reasoning systems
We are particularly interested in contributions that help the
community to understand how to build useful and powerful reasoning
systems, and how to apply them in practice.
* CONTRIBUTIONS
Researchers interested in participating are invited to submit a
position statement (2 pages), a short paper (up to 5 pages), or a full
papers (up to 15 pages). Submissions should be made via EasyChair at
http://www.easychair.org/conferences/?conf=iwil2012
Submissions will be refereed by the program committee, which will
select a balanced program of high-quality contributions.
Submissions should be in standard-conforming PDF. Final versions will
be required to be submitted in LaTeX using the easychair.cls class
file. Proceedings will be published as EasyChair Proceedings.
If number and quality of the submissions warrant it, we plan to
produce a special issue of a recognized journal on the topic of the
workshop.
* IMPORTANT DATES
Submission of papers/abstracts: October 14th, 2013
Notification of acceptance: November 11th, 2013
Camera ready versions due: December 2nd, 2013
Workshop: December 14th, 2013
* CHAIRS
Stephan Schulz (Co-Chair) TU Muenchen
Geoff Sutcliffe (Co-Chair) University of Miami
Boris Konev (Co-Chair) University of Liverpool
14TH INTERNATIONAL CONFERENCE ON RELATIONAL AND ALGEBRAIC METHODS IN COMPUTER SCIENCE (RAMiCS 2014)
Call for Papers
27 April - 1 May 2014
Marienstatt im Westerwald, Germany
http://mathcs.chapman.edu/ramics2014
* SCOPE
We invite submissions in the general area of Relational and Algebraic Methods
in Computer Science. Special focus will lie on formal methods for software
engineering, logics of programs and links with neighbouring disciplines.
* HISTORY
Since 1994, the RelMiCS meetings on Relational Methods in Computer Science
have been a main forum for researchers who use the calculus of relations
and similar algebraic formalisms as methodological and conceptual tools.
The AKA workshop series on Applications of Kleene algebra started with a
Dagstuhl seminar in 2001 and was co-organised with the RelMiCS conference
until 2009. Since 2011, joint RAMiCS conferences continue to encompass
the scope of both RelMiCS and AKA.
* STUDENT PROGRAM
The conference will be accompanied by a PhD training program. Details will
be published in due time in a special call and on the conference website.
* PROCEEDINGS AND SUBMISSION
All papers will be formally reviewed. We plan to publish the
proceedings in the series Lecture Notes in Computer Science ready at
the conference. Submissions must be in English, in Postscript or PDF
format, and provide sufficient information to judge their merits.
They must be unpublished and not submitted for publication elsewhere.
Submission is via EasyChair at the following address:
https://www.easychair.org/conferences/?conf=ramics2014
* IMPORTANT DATES
Title and abstract submission: October 25, 2013
Submission of full papers: November 1, 2013
Notification: December 13, 2014
Final versions due (firm deadline): January 17, 2014
Conference April 27 - May 1, 2014
INFORMATION & COMPUTATION SPECIAL ISSUE ON IMPLICIT COMPUTATIONAL COMPLEXITY
Call for Papers
http://dice2013.di.unito.it
* GUEST EDITORS
Simona Ronchi Della Rocca (ronchi@di.unito.it)
Virgile Mogbil (virgile.mogbil@lipn.univ-paris13.fr)
* DATES
Deadline: November 1st 2013
Notification: May 15th 2013
* SCOPE
The area of Implicit Computational Complexity (ICC) has grown out
from several proposals to use logic and formal methods to delineate
complexity-bounded computation (e.g. polynomial time, polynomial space
or logspace computation). It aims at studying computational complexity
without referring to external measuring conditions or a particular
machine model, but only by considering language restrictions or
logical/computational principles implying complexity properties.
* TOPICS
Contributions on various aspects of ICC including (but not exclusively)
are welcome :
- types for controlling complexity,
- logical systems for implicit computational complexity,
- linear logic,
- semantics of complexity-bounded computation,
- complexity analysis,
- rewriting and termination orderings,
- interpretation-based methods for implicit complexity,
- programming languages for complexity bounded computation,
- application of implicit complexity to other programming paradigms (e.g. imperative
or object-oriented languages).
This post-conference publication of DICE 2013 (http://dice2013.di.unito.it/)
is open to everyone, also those who did not participate in the conference.
It follows a series of annual workshop as satellite events of ETAPS :
DICE 2010 in Paphos, DICE 2011 in Saarbrucken, DICE 2012 in Tallinn and
DICE 2013 in Rome.
* SUBMISSIONS
Submissions must be sent to us no later than NOVEMBER 1st 2013.
Papers will be processed as soon as they are submitted.
I&C solicits high quality papers reporting research results 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
Elsevier's elsarticle.cls latex macro package, that can be retrieved from
http://www.elsevier.com/wps/find/authorsview.authors/elsarticle
We encourage authors to look at
http://www.elsevier.com/journals/information-and-computation/0890-5401/guide-for-authors
* ADDITIONAL INFORMATION
See http://dice2013.di.unito.it/
or email inquiries to us (ronchi@di.unito.it or virgile.mogbil@lipn.univ-paris13.fr)
12TH INTERNATIONAL SYMPOSIUM ON FUNCTIONAL AND LOGIC PROGRAMMING (FLOPS 2014)
Call for Papers
June 4-6, 2014
Kanazawa, Japan
http://www.jaist.ac.jp/flops2014/
* GENERAL
FLOPS is a forum for research on all issues concerning declarative
programming, including functional programming and logic programming,
and aims to promote cross-fertilization and integration between the
two paradigms. Previous FLOPS meetings were held at Fuji Susono
(1995), Shonan Village (1996), Kyoto (1998), Tsukuba (1999), Tokyo
(2001), Aizu (2002), Nara (2004), Fuji Susono (2006), Ise (2008),
Sendai (2010), and Kobe (2012).
* TOPICS
FLOPS solicits original papers in all areas of functional and logic
programming, including (but not limited to):
- Language issues: language design and constructs, programming
methodology, integration of paradigms, interfacing with other
languages, type systems, constraints, concurrency and distributed
computing.
- Foundations: logic and semantics, rewrite systems and narrowing,
type theory, proof systems.
- Implementation issues: compilation techniques, memory management,
program analysis and transformation, partial evaluation,
parallelism.
- Applications: case studies, real-world applications, graphical user
interfaces, Internet applications, XML, databases, formal methods
and model checking.
The proceedings will be published as an LNCS volume. The proceedings
of the previous meetings (FLOPS 1999, 2001, 2002, 2004, 2006, 2008,
2010, and 2012) were published as LNCS 1722, 2024, 2441, 2998, 3945,
4989, 6009, and 7294.
* PC CO-CHAIRS
Michael Codish (Ben-Gurion University of the Negev)
Eijiro Sumii (Tohoku University)
* LOCAL CHAIR
Yuki Chiba (JAIST)
* SUBMISSION
Submissions must be unpublished and not submitted for publication
elsewhere. Work that already appeared in unpublished or informally
published workshops proceedings may be submitted. See also ACM
SIGPLAN Republication Policy:
http://www.sigplan.org/Resources/Policies/Republication
Submissions should fall into one of the following categories:
- Regular research papers: they should describe new results and will
be judged on originality, correctness, and significance.
- System descriptions: they should contain a link to a working system
and will be judged on originality, usefulness, and design.
- Declarative pearls: new and excellent declarative programs or
theories with illustrative applications.
System descriptions and declarative pearls must be explicitly marked
as such in the title.
* SUBMISSIONS
Submissions must be written in English and can be up to 15 pages long
including references, though pearls are typically shorter. Authors
are required to use LaTeX2e and the Springer llncs class file,
available at: http://www.springer.de/comp/lncs/authors.html
Regular research papers should be supported by proofs and/or
experimental results. In case of lack of space, this supporting
information should be made accessible otherwise (e.g., a link to a Web
page, or an appendix). Papers should be submitted electronically at:
https://www.easychair.org/conferences/?conf=flops2014
* IMPORTANT DATES
Submission deadline: December 13, 2013
Author notification: February 10, 2014
Camera-ready copy: March 7, 2014
MATHEMATICAL STRUCTURES OF COMPUTATION (SMC 2014)
Preliminary announcement
January 13 - February 14 2014, Lyon, France
http://smc2014.univ-lyon1.fr
* We are pleased to announce the programme "Mathematical Structures of
Computation" organised in Lyon, from January 13th to February 14th, 2014.
* The programme proposes five consecutive workshops
- Recent Developments in Type Theory, January 13-17.
- Algebra and Computation, January 20-24.
- Directed Algebraic Topology and Concurrency, January 27-31.
- Formal Proof, Symbolic Computation and Computer Arithmetic, February 3-7.
- Concurrency, Logic and Types, February 10-14.
* Information on the programme can be found at http://smc2014.univ-lyon1.fr
* Registration for the programme is free and will open in early September 2013.
* The weeks Mathematical Structures of Computation are organised in Lyon
with the support of the Labex MILYON - Mathematics and fundamental
computer science in Lyon.
Together with the trimester Semantics of proofs and certified
mathematics organised at Institut Henri Poincare, Paris,
(http://ihp2014.pps.univ-paris-diderot.fr) they constitute a French
Semester on certified mathematics, programming languages and the
mathematical structures of computation.
* The organisers: Patrick Baillot, Yves Guiraud, Philippe Malbos.
POSTDOCS IN BIOMODELLING AT TURKU
http://combio.abo.fi/
* Two postdoc openings are available at the Computational Biomodeling
Laboratory, Turku Centre for Computer Science and Abo Akademi University,
Turku, Finland. The positions are funded by Academy of Finland. The deadline
for applications is August 11. The positions can be filled in to start
September 1 or soon after. Eligible applicants have a PhD in Computer Science,
Mathematics, Computational Biology, or a closely related field, obtained not
earlier than 2008. We are looking for candidates with a strong background
in theoretical computer science and/or mathematics, with experience on
modelling biological systems, demonstrated by a good publication record.
Applicants should send an up to 3-page CV, their full list of publications,
a letter of interest, and two recommendation letters to Prof. Ion Petre
ipetre@abo.fi. The contract is for one year, with the possibility of
extending it for another year. The salary is in accordance with the pay
scale at Finnish universities, in the bracket 2820-3616 eur/month before
taxes, depending on the candidates’ skills and experience.
* POSITION 1: QUANTITATIVE MODEL REFINEMENT
Quote in the subject of your email "Application for postdoc: quantitative
model refinement".
We focus in this project on computational techniques allowing mathematical
models in biology to be presented and used at different levels of detail.
We aim to construct and investigate a computational framework for
quantitative model refinement where details may be added to (or removed from)
a model in a systematic way, while preserving its overall numerical behaviour.
* POSITION 2: NETWORK CONTROLLABILITY
Quote in the subject of your email "Application for postdoc: network
controllability".
The overall objective of the project is to better understand the fundamental
principles of controllability of complex, biological networks, and how these
control principles could be exploited to intervene in the network under
analysis to change its dynamic behavior.
11 PHD SCHOLARSHIPS AT PISA
http://dottorato.unipi.it/index.php/en/entrance-competitions-academic-year-2013-2014/item/109.html
* We would like to announce 11 PhD grants in Computer Science at the
University of Pisa. The deadline for applications is September 5th, 2013,
and the selection will be made on CV, reference letters and an interview,
also via teleconferencing (check *carefully* the relevant fields required).
For further details please preferably contact
Mrs Rosie Mongini
or otherwise the chairman of the PhD Programme
Prof. Pierpaolo Degano
Back to the LICS web page.