Newsletter 160
July 1, 2014
*******************************************************************
* 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
VIENNA SUMMER OF LOGIC ANNOUNCEMENT
CSL-LICS'14
ACM SIGLOG ANNOUNCEMENT
* DEADLINES
Forthcoming Deadlines
* CALLS
FSTTCS 2014 - Call for Papers
LSB 5 - Call for Participation (Student/Postdoc Funding)
ICOOOLPS 2014 - Call for Participation
ISR 2014 - Call for Participation
JLAP on Formal Methods - Call for Papers
SOFSEM 2015 - Call for Papers
ICLA 2015 - Call for Papers
IFIP-TCS 2014 - Call for Participation
CONCUR 2014 - Call for Participation
STACS 2015 - Call for Papers
ETAPS 2015 - Call for Papers
VTSA 2014 - Call for Summer School Applications
* JOB ANNOUNCEMENTS
Two PhD positions in Information Security at ETH Zurich
11 PhD studentships in Computer Science at the University of Pisa
New Doctoral Program on Logical Methods in Computer Science (LogiCS)
VIENNA SUMMER OF LOGIC ANNOUNCEMENT
July 9-24, 2014
http://vsl2014.at
* In the summer of 2014, Vienna will host the largest event in the history
of logic. The Vienna Summer of Logic (VSL) will consist of twelve large
conferences and numerous workshops, attracting an expected number of 2500
researchers from all over the world. The conferences and workshops will deal
with the main theme, logic, from three important aspects: logic in computer
science, mathematical logic and logic in artificial intelligence.
This unique event will be organized by the Kurt Goedel Society at Vienna
University of Technology from July 9 to 24, 2014.
* KEYNOTE SPEAKERS
Franz Baader (Technische Universitaet Dresden), Edmund Clarke (Carnegie
Mellon University), Christos Papadimitriou (University of California,
Berkeley) and Alex Wilkie (University of Manchester).
Dana Scott (Carnegie Mellon University) will speak in the opening session.
* LOGIC IN COMPUTER SCIENCE/FEDERATED LOGIC CONFERENCE (FLoC)
- 26th International Conference on Computer Aided Verification (CAV)
- 27th IEEE Computer Security Foundations Symposium (CSF)
- 30th International Conference on Logic Programming (ICLP)
- 7th International Joint Conference on Automated Reasoning (IJCAR)
- 5th Conference on Interactive Theorem Proving (ITP)
- 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)
- 25th International Conference on Rewriting Techniques and Applications (RTA)
joint with the 12th International Conference on Typed Lambda Calculi and
Applications (TLCA)
- 17th International Conference on Theory and Applications of Satisfiability
Testing (SAT)
- FLoC Workshops
- FLoC Olympic Games (System Competitions)
* MATHEMATICAL LOGIC
- Logic Colloquium 2014
- Logic, Algebra and Truth Degrees 2014
- The Infinity Workshop
- Kurt Goedel Fellowship Competition
* LOGIC IN ARTIFICIAL INTELLIGENCE
- 14th International Conference on Principles of Knowledge Representation and Reasoning (KR)
- 27th International Workshop on Description Logics (DL)
- 15th International Workshop on Non-Monotonic Reasoning (NMR)
- International Workshop on Knowledge Representation for Health Care 2014 (KR4HC)
* KURT GOEDEL RESEARCH PRIZE FELLOWSHIP COMPETITION
At the Vienna Summer of Logic, the Kurt Goedel Society will award three
fellowship prizes endowed with 100.000 Euro each to the winners of the Kurt
Goedel Research Prize Fellowship Competition "Logical Mind: Connecting
Foundations and Technology."
* FLOC OLYMPIC GAMES - CITIUS, MAIUS, POTENTIUS
The Federated Logic Conference (FLoC) 2014 will host the 1st FLoC Olympic
Games. Intended as a new FLoC tradition, the Games will bring together
a multitude of established solver competitions by different research
communities. In addition to the competitions, the Olympic Games will
facilitate the exchange of expertise between communities, and increase
the visibility and impact of state-of-the-art solver technology. The winners
in the competition categories will be awarded Kurt Goedel medals at the FLoC
Olympic Games award ceremonies.
CSL-LICS'14
July 14-18, 2014
Vienna, Austria
http://lics.siglog.org/csl-lics14/
* This year LICS and CSL will hold a joint conference for the first time,
as part of FLoC 2014 and the Vienna Summer of Logic. Tom Henzinger and
Dale Miller are co-chairs of a joint PC of 38 members. The proceedings
will be published by ACM.
* INVITED SPEAKERS
Christel Baier (TU Dresden)
Patrick Cousot (ENS Paris and NYU)
* INVITED TUTORIAL SPEAKERS
Assia Mahboubi (INRIA Saclay)
Jasmin Fisher (MSR Cambridge)
* SCHEDULE
http://www.easychair.org/smart-program/VSL2014/CSLLICS-program.html
* AFFILIATED WORKSHOPS
- Workshop Block 1 (July 12-13)
CL&C 5th International Workshop on Classical Logic and Computation
DCM 10th Int'l Workshop on Developments in Computational Models
DTP Dependently-Typed Programming
GSB Workshop on Gentzen Systems and Beyond 3
LCC Workshop on Logic and Comptuational Complexity
LINEARITY 3rd International Workshop on Linearity
LOLA 5th Workshop on Syntax and Semantics of Low-Level Languages
LSB 5th International Workshop on Logic and Systems Biology
PC FLoC Workshop on Proof Complexity
SD 3rd Workshop on Structures and Deduction
- Workshop Block 2 (July 17-18)
AISS Algorithmics of Infinite State Systems 2014
APPA All about Proofs, Proofs for All
CICLOPS-WLPE Int'l Joint Workshop on Implementation of Constraint and
Logic Programming Systems and Logic-based Methods in
Programming Environments 2014
FCS-FCC Joint Workshop on Foundations of Computer Security and
Formal and Computational Cryptography
HOPA Higher Order Program Analysis
LFMTP 9th International Workshop on Logical Frameworks and
Meta-languages: Theory and Practice
NLCS 2nd Workshop on Natural Language and Computer Science
PCCR 2nd Workshop on the Parameterized Complexity of Computational
Reasoning
PSC Proof, Structure and Computation
* AWARDS
- The Kleene Award for Best Student Paper will be given for the best
student paper(s), as judged by the program committee.
- The EACSL Outstanding Dissertation Award, named for Wilhelm F. Ackermann,
will be presented during the joint meeting.
- The LICS Test-of-Time Award 2014 will be presented during the joint meeting.
ACM SIGLOG ANNOUNCEMENT
http://siglog.acm.org
* The ACM has recently chartered a Special Interest Group on Logic and
Computation (ACM SIGLOG). Its first Chair is Prakash Panangaden,
the other officers are Luke Ong (vice-Chair), Natarajan Shankar (Treasurer)
and Alexandra Silva (Secretary).
* The ACM-IEEE Symposium on Logic in Computer Science will be the flagship
conference of SIGLOG. It will also actively seek association agreements
with other conferences in the field. A SIGLOG newsletter is planned to be
published quarterly in an electronic format with community news,
technical columns, members' feedback, conference reports, book reviews
and other items of interest to the community. The first issue will
go out to members in July.
* It is possible to join SIGLOG as soon as today by visiting
https://campus.acm.org/public/qj/gensigqj/siglist/gensigqj_siglist.cfm
One can join SIGLOG without joining ACM (the SIGLOG membership fee is
$25 and $15 for students).
DEADLINES
* FSTTCS 2014
Abstract submission deadline: July 11, 2014
Paper submission: July 18, 2014
http://www.fsttcs.org
* ISR 2014
Early registration deadline: July 15, 2014
http://isr2014.inf.utfsm.cl
* JLAP Special Issue on Formal Methods
Paper submission: July 15, 2014
* SOFSEM 2015
Abstract deadline: August 1, 2014
Full paper deadline: August 15, 2014
http://www.sofsem.cz/
* ICLA 2015
Submission deadline: August 5, 2014
http://www.cse.iitb.ac.in/~icla15/index.html
* VTSA 2014
Application deadline: September 5, 2014
http://www.mpi-inf.mpg.de/VTSA14/
* STACS 2015
Submission deadline: September 21, 2014
http://www14.in.tum.de/STACS2015
* ETAPS 2015
Abstract deadline: October 10, 2014
Paper deadline: October 17, 2014
http://www.etaps.org/index.php/2015/call-for-papers
34TH FOUNDATIONS OF SOFTWARE TECHNOLOGY AND THEORETICAL COMPUTER SCIENCE (FSTTCS 2014)
Call for Papers
December 15-17, 2014
India International Centre, New Delhi, India
http://www.fsttcs.org
* GENERAL
IARCS, the Indian Association for Research in Computing Science, announces
the 34th Foundations of Software Technology and Theoretical Computer Science
conference at India International Centre, New Delhi, India. The FSTTCS
conference is a forum for presenting original results in foundational aspects
of Computer Science and Software Technology.
* SUBMISSIONS
Submissions will be in electronic form via EasyChair using the LIPIcs LaTeX
style file (see http://www.dagstuhl.de/en/publications/lipics/instructions-for-authors).
Submissions must not exceed 12 pages (including bibliography). Simultaneous
submissions to journals or other conferences with published proceedings are
disallowed. Accepted papers will be published as proceedings of the conference
in the Leibniz International Proceedings in Informatics (LIPIcs) as a free,
open, electronic archive with access to all. For an accepted paper to be
included in the proceedings, one of the authors must commit to presenting
the paper at the conference.
* IMPORTANT DATES
Abstract Submission deadline: July 11, 2014
Paper Submission deadline: July 18, 2014
Notification to Authors: September 15, 2014
Deadline for camera-ready papers: October 15, 2014
* IMPORTANT LINKS
http://www.fsttcs.org
https://www.easychair.org/conferences/?conf=fsttcs2014
* INVITED SPEAKERS
Nikhil Bansal (TU Eindhoven), Paul Gastin (LSV, ENS Cachan),
Martin Grohe (RWTH Aachen), Orna Kupferman (Hebrew University),
Ryan Williams (Stanford University)
* PC CHAIRS
Venkatesh Raman (IMSc, Chennai)
S P Suresh (CMI, Chennai)
* ORGANIZING COMMITTEE
Shweta Agrawal (IIT Delhi),
Naveen Garg (IIT Delhi),
Ragesh Jaiswal (IIT Delhi, chair),
Amit Kumar (IIT Delhi),
Sanjiva Prasad (IIT Delhi),
Sandeep Sen (IIT Delhi)
WORKSHOP ON LOGIC AND SYSTEMS BIOLOGY STUDENT/POSTDOC PARTICIPATION FUNDING (LSB 5)
Call for Participation
A FLoC workshop at the Vienna Summer of Logic (VSL 2014)
Affiliated with CSL/LICS 2014
Vienna, Austria, July 13, 2014
http://perso.ens-lyon.fr/russell.harmer/lsb5.html
* The National Science Foundation of the United States is providing funds
to support the travel expenses of students and postdoctoral fellows attending
the Workshop on Logic and Systems Biology.
For further information contact James Lynch (jlynch@clarkson.edu).
9TH WORKSHOP ON IMPLEMENTATION, COMPILATION, OPTIMIZATION OF OBJECT-ORIENTED LANGUAGES, PROGRAMS AND SYSTEMS (ICOOOLPS 2014)
Call For Participation
28th July 2014
Uppsala, Sweden
Co-located with ECOOP.
http://icooolps.loria.fr/
* OVERVIEW
The ICOOOLPS workshop series brings together researchers and practitioners
working in the field of OO languages implementation and optimization.
ICOOOLPS key goal is to identify current and emerging issues relating to
the efficient implementation, compilation and optimization of such languages,
and outlining future challenges and research directions.
Topics of interest for ICOOOLPS include, but are not limited to: implementation
of fundamental OO and OO-like features (e.g. inheritance, parametric types,
memory management, objects, prototypes), runtime systems (e.g. compilers,
linkers, virtual machines, garbage collectors), optimizations (e.g. static or
dynamic analyses, adaptive virtual machines), resource constraints (e.g. time
for real-time systems, space or low-power for embedded systems) and relevant
choices and tradeoffs (e.g. constant time vs. non-constant time mechanisms,
separate compilation vs. global compilation, dynamic loading vs. global
linking, dynamic checking vs. proof-carrying code...).
* CHAIRS
Laurence Tratt, King's College London, UK
Olivier Zendra, INRIA Nancy, FR
* EMAIL
icooolps14@easychair.org
7TH INTERNATIONAL SCHOOL ON REWRITING (ISR 2014)
Call for Participation
August 25-29, 2014
Universidad Tecnica Federico Santa Maria
Valparaiso, Chile
Co-located with the 21st Workshop on Logic, Language, Information and Computation (WoLLIC 2014)
http://web.ing.puc.cl/~wollic
* REWRITING
Rewriting is a branch of computer science whose origins go back
to the origins of computer science itself (with Thue, Church,
Post, and many other prominent researchers). It has strong links
with mathematics, algebra, and logic, and it is the basis of
well-known programming paradigms like functional and equational
programming, which are taught at the universitary level in many
countries. In these programming paradigms and corresponding
languages, the notions of reduction, pattern matching,
confluence, termination, strategy, etc., are essential.
Rewriting provides a solid framework for understanding, using,
and teaching all these notions. Rewriting techniques are also
used in many other areas of software engineering (scripting,
prototyping, automated transformation of legacy systems,
refactoring, web services, etc.) and are implemented in popular
systems like Mathematica, Autocad, and others. Rewriting
techniques play a relevant role in computing research,
education, and industry.
* AIMS
The International School on Rewriting is promoted by the IFIP
Working Group 1.6 Term Rewriting. The school is aimed at master
and PhD students, researchers, and practitioners interested in
the study of rewriting concepts and their applications.
Two tracks are offered, including the lectures and the courses:
- Track A: for newcomers in the field, or just for people
who want to obtain a new, updated exposure.
- Track B: for those who want to get deeper in the most
recent developments and applications of rewriting.
* CONFIRMED LECTURERS
Mauricio Ayala-Rincon, Universidade de Brasilia, Brazil
Eduardo Bonelli, Universidad de Quilmes, Argentina
Claude Kirchner, INRIA, France
Helene Kirchner, INRIA, France
Aart Middeldorp. University of Innsbruck, Austria
Pierre-Etienne Moreau, Ecole des Mines de Nancy, France
Camilo Rocha, Escuela Colombiana de Ingenieria, Colombia
Johannes Waldmann, HTWK Leipzig, Germany
Sarah Winkler, University of Innsbruck, Austria
* PROGRAMME
The detailed programme can be found at:
http://isr2014.inf.utfsm.cl/programme
* REGISTRATION FEES
300 USD (early registration, until July 15, 2014)
400 USD (late registration, from July 16, 2014)
* INFORMATION
For more information, please visit our web site or contact
isr2014@inf.utfsm.cl
* ORGANIZING COMMITTEE
Mauricio Ayala-Rincon, UNB, Brazil
Carlos Castro (chair), UTFSM, Chile
Nicolas Galvez, UTFSM, Chile
Claude Kirchner, INRIA, France
Alvaro Luzzi, UTFSM, Chile
Christophe Ringeissen, INRIA, France
Maria Elena Rodriguez, UTFSM, Chile
JOURNAL OF LOGIC AND ALGEBRAIC PROGRAMMING SPECIAL ISSUE ON FORMAL METHODS IN SOFTWARE PRODUCT LINE ENGINEERING
Call for Papers
http://ees.elsevier.com/jlap/
* SCOPE
This special issue of the Journal of Logic and Algebraic Programming (JLAP)
is devoted, but by no means limited, to the themes of the FMSPLE workshop
series on formal methods and analysis in Software Product Line Engineering
(SPLE). This is an open call for papers, therefore participants of the
FMSPLE workshop series as well as others working on the themes of this
special issue, are strongly encouraged to submit contributions.
* AIMS
SPLE aims at developing a family of systems by reuse in order to reduce time
to market and to increase product quality. The general motivation is to
promote and stimulate the application of formal modelling and analysis
techniques to problems that originate from the SPLE domain, and to
strengthen in this way the ties between the SPLE community and theoretical
computer scientists and formal methods researchers seeking to apply
calculi, process algebras, type systems, logics, model checking,
type checking, theorem proving, constraint solving, and so forth.
Recent years have witnessed an increased application of formal modelling
and analysis techniques in SPLE and this is starting to make an impact,
as is confirmed by the growing number of papers that have been published
in a variety of high-profile formal methods, SPLE, and (fundamental)
software engineering conferences and journals.
* IMPORTANT DATES
Submission of papers: July 15, 2014
First review decision: December 15, 2014
Revision due: February 15, 2015
Acceptance notification: April 15, 2015
Final manuscript due: June 15, 2015
Expected publication: Summer 2015
* TOPICS OF INTEREST
We solicit original papers on topics within the general scope of
applying formal modelling and analysis techniques to software
product lines.
* SUBMISSION
We expect original articles (typically 20-30 pages; submission of
larger papers will be evaluated depending on editorial constraints)
that present high-quality contributions, which have not been previously
published elsewhere and that are also not simultaneously
submitted for publication elsewhere. All contributions must be written
in English, must be submitted in PDF format and must comply with JLAP's
author guidelines. Submissions are handled using the Elsevier Editorial
System and can be uploaded via the link http://ees.elsevier.com/jlap/
In the submission process, the authors must select the article type
"FMSPLE".
* GUEST EDITORS
Maurice ter Beek, ISTI-CNR, Pisa, Italy
Dave Clarke, Uppsala University, Sweden & KU Leuven, Belgium
Ina Schaefer, Technische Universitaet Braunschweig, Germany
41TH INTERNATIONAL CONFERENCE ON CURRENT TRENDS IN THEORY AND PRACTICE OF COMPUTER SCIENCE (SOFSEM 2015)
Call for Papers
January 24-29, 2015
Hotel Horizont - Pec pod Snezkou
Czech Republic
http://www.sofsem.cz/
* GENERAL
The website provides a lot of interesting information about the next SOFSEM.
SOFSEM 2015 will consist of following four tracks:
- FOUNDATIONS OF COMPUTER SCIENCE
chaired by Roger Wattenhofer (ETH Zurich, Switzerland)
- SOFTWARE and WEB ENGINEERING
chaired by Tiziana Margaria-Steffen (University of Potsdam, Germany)
- CRYPTOGRAPHY, SECURITY, and VERIFICATION
chaired by Jean-Jacques Quisquater (Catholic University of Louvain, Belgium)
- DATA, INFORMATION and KNOWLEDGE ENGINEERING
chaired by Jaroslav Pokorny (Charles University in Prague, Czech Republic)
Moreover, for PhD students there will be the traditional `STUDENT
RESEARCH FORUM'.
* IMPORTANT DATES
Abstract deadline: August 1, 2014
Full paper deadline: August 15, 2014
Acceptance notification: September 22, 2014
Conference: January 24-29, 2015
* DETAILS
As the SOFSEM 2015 organization will progress, the website will be
regularly updated to let you know about important news.
Location, accommodation and leisure activities of SOFSEM 2015 are presented at:
http://www.sofsem.cz/sofsem15/index.php?page=location
http://www.sofsem.cz/sofsem15/index.php?page=accommodation
http://www.sofsem.cz/sofsem15/index.php?page=leisure
We hope that you find the tracks for SOFSEM 2015 interesting,
and that you will join us and enjoy the traditional, inspiring SOFSEM
atmosphere.
* CHAIRS
Giuseppe F. Italiano (Program Committee Chair)
Martin Rimnac (Organising Committee Chair)
6TH INDIAN CONFERENCE ON LOGIC AND ITS APPLICATIONS (ICLA 2015)
Call for Papers
January 8--10, 2015
IIT Bombay, India
http://www.cse.iitb.ac.in/~icla15/index.html
* HISTORY
ALI, the Association for Logic in India, announces the sixth edition of
its biennial International Conference on Logic and its Applications
(ICLA), to be held at the Indian Institute of Technology, Bombay, from
January 8 to 10, 2015. ICLA 2015 will be co-located with the 14th Asian
Logic Conference to be held during January 5-8, 2015.
* SCOPE
ICLA is a forum for bringing together researchers from a wide variety of
fields that formal logic plays a significant role in, along with
mathematicians, philosophers and logicians studying foundations of formal
logic in itself. A special feature of this conference is the inclusion of
studies in systems of logic in the Indian tradition, and historical
research on logic. Details of the last ICLA (2013) may be found at
http://www.imsc.res.in/~icla/.
The earlier events in this series featured many eminent logicians as
invited speakers, and we are pleased to announce that this year's
speakers will include:
- Steve Awodey, Carnegie Mellon University
- J. Michael Dunn, Indiana University Bloomington
* SUBMISSION
Authors are invited to submit papers presenting original and unpublished
research in any area of logic and applications. Articles on mathematical
and philosophical logic, foundations and philosophy of mathematics and the
sciences, history of logic, Indian systems of logic, use of formal logic
in areas of theoretical computer science and artificial intelligence, or
on the relationship between logic and other branches of knowledge, are
welcome.
* IMPORTANT DATES
Deadline for Submission: 5 August 2014
Notification to Authors: 30 September 2014
* IMPORTANT LINKS
http://ali.cmi.ac.in
http://www.cse.iitb.ac.in/~icla15/index.html
* PROGRAM CHAIRS
Mohua Banerjee (IIT Kanpur), co-chair
Krishna S. (IIT Bombay), co-chair
* CONTACT
Any queries related to the conference may be sent to the following email
address: icla15@cse.iitb.ac.in
8TH INTERNATIONAL IFIP CONFERENCE ON THEORETICAL COMPUTER SCIENCE 2014 (IFIP-TCS)
Call for Participation
September 1-3, 2014
Rome, Italy
http://www.easyconferences.eu/tcs2014/index.php
* GENERAL
The conference Theoretical Computer Science, which is held every two years,
either in conjunction with or in the framework of the IFIP World Computing
Congress, is the meeting place of the TC1 (IFIP Technical Committee on
Foundations of Computer Science) community where new results of computation
theory are presented and more broadly experts in theoretical computer
science meet to share insights and ask questions about the future directions
of the field.
25TH CONFERENCE ON CONCURRENCY THEORY (CONCUR 2014)
Call for Participation
September 1-6, 2014
Rome, Italy
http://concur2014.org
* GENERAL
The 25th Conference on Concurrency Theory will take place in Rome, from
September 2nd to 5th, 2014. It will be co-located with the 9th International
Symposium on Trustworthy Global Computing, September 5th and 6th, Theoritical
Computer Science Conference September 1st-3rd, and with a few more workshops
on September 1st and 6th. 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. Since its birth, in 1990, it has
been the reference annual event for this research field. The event will be
hosted by Sapienza Universita di Roma and co-organized by the University of
Padova. It will be located in the heart of the Eternal City, a few steps
from the Colosseum.
* KEYNOTE SPEAKERS
Javier Esparza (Munich),
Jane Hillston (Edinburgh, joint with IFIP TCS)
Catuscia Palamidessi (Paris, joint with TGC)
Vasco Vasconcelos (Lisboa)
* 25TH ANNIVERSARY SPEECH
Tony Hoare
* AFFILIATED WORKSHOPS
EXPRESS/SOS Combined 21st International Workshop on Expressiveness in
Concurrency and 11th Workshop on Structured Operational Semantics
YR-CONCUR Young Researchers Workshop on Concurrency Theory
BEAT 3rd International Workshop on Behavioural Types
FOCLASA 13th International Workshop on Foundations of Coordination
Languages and Self-Adaptation
PV Workshop on Parameterized Verification
TRENDS event organised by IFIP WG 1.8
32ND INTERNATIONAL SYMPOSIUM ON THEORETICAL ASPECTS OF COMPUTER SCIENCE (STACS 2015)
Call for Papers
March 4-7, 2015
Garching near Munich, Germany
http://www14.in.tum.de/STACS2015
* SCOPE
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, algorithmic game theory,
analysis of algorithms;
- automata and formal languages;
- 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.
* PC CHAIRS
Ernst W. Mayr (TUM, Munich)
Nicolas Ollinger (LIFO, Orleans)
* INVITED SPEAKERS
Sanjeev Arora (CS, Princeton),
Manuel Bodirsky (CNRS, LIX, Palaiseau),
Peter Sanders (KIT, Karlsruhe)
* TUTORIAL
Felix Brandt (TUM, Munich), Computational Social Choice;
tba: Algorithmic Game Theory
* IMPORTANT DATES
Submission website opens: Jun 22, 2014
Submission deadline: Sep 21, 2014 (23:59:59 GMT/UTC)
Rebuttal period: Nov 15 - 17, 2014
Notification: Dec 5, 2014
Final version due: Jan 7, 2015
Symposium: Mar 4-7, 2015
* SUBMISSIONS
Authors are invited to submit a draft of a full paper with at most 12 pages
(excluding the references section). The usage of pdflatex and the LIPIcs
style file (see below) are mandatory; no changes to font size, page geometry
etc. are permitted. Submissions not in the correct format or submitted
after the deadline will not be considered.
Simultaneous submission to other conferences with published proceedings or
to journals is not allowed. PC members are excluded from submitting. As a
novelty for STACS, there will also be a rebuttal period for authors. Authors
will receive the reviews of their submissions (via EasyChair) on Nov 14/15
and have three days (Nov 15 - 17) to submit rebuttals (via EasyChair). These
rebuttals become part of the PC meeting, but entail no specific responses.
The submission site, which opens on Jun 22, 2014, is
https://www.easychair.org/conferences/?conf=stacs2015
EUROPEAN JOINT CONFERENCES ON THEORY AND PRACTICE OF SOFTWARE (ETAPS)
Call for Papers
April 11-19, 2015
London, UK
http://www.etaps.org
* IMPORTANT DATES
Abstracts due: 10 October 2014 AoE
Papers due: 17 October 2014 AoE
Rebuttal (ESOP and FoSSaCS only): 3-5 December 2014
Author notification: 19 December 2014
Camera-ready versions: 16 January 2015
* SUBMISSIONS INSTRUCTIONS
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 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 (HotCRP) author
interface of the respective conference. Submissions not adhering to the
specified format and length may be rejected immediately.
* RESEARCH PAPERS
Different ETAPS 2015 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 reviewers 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 reviewers 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 longer
tool papers (max 15 pages) adhering to specific instructions about content
and organization.
SUMMER SCHOOL ON VERIFICATION TECHNOLOGY, SYSTEMS AND APPLICATIONS (VTSA 2014)
Call for Applications
October 26-31, 2014
University of Luxembourg, Luxembourg
* AIMS
The summer school on verification technology, systems & applications
focuses on fundamental aspects of verification techniques, their
implementation, and their use for concrete applications. It is
organised by the Universities of Liege and of Luxembourg, the
Max-Planck-Institut fuer Informatik in Saarbruecken, and the Inria
Research Center in Nancy, and will take place at the Interdisciplinary
Centre for Security, Reliability and Trust in University of
Luxembourg, Luxembourg from October 26-31, 2014. This year it is a
co-located event with ICFEM 2014, which will be held in Luxembourg
from November 3-7, 2014. PhD students can apply scholarships in order
to attend the conference ICFEM 2014 as well. More details will be
available on the following website icfem2014.uni.lu.
* SPEAKERS
The following speakers have agreed to lecture at the school:
- Nikolaj Bjorner: Software Verification by Solving Horn Clauses
- Laura Kovacs: Symbolic Computation and Theorem Proving in Program Analysis
- Joel Ouaknine: A Survey of Program Termination: Practical and
Theoretical Challenges
- Jaco van de Pol: Scalable Multi-core Model Checking: Technology &
Applications of Brute Force
- Helmut Veith: Model Checking of Fault-Tolerant Distributed Algorithms
* PARTICIPATION
Participation to the school is free to anybody holding at least a
bachelor degree or equivalent; it includes the lectures, daily coffee
and lunch breaks, and a school dinner. Attendance is limited to 40
participants. Please apply electronically by sending an email to Eugen
Denerz (edenerz_AT_mpi-inf.mpg.de) including
- a one-page CV,
- an application letter explaining your interest in the school and
your experience in the area, and
- a copy of your bachelor (or equivalent or higher) certificate.
The deadline for application is September 05, 2014. Notification of
acceptance will be given by September 12, 2014.
Full details can be found on the school Web page at
http://www.mpi-inf.mpg.de/VTSA14/.
TWO PHD POSITIONS IN INFORMATION SECURITY AT ETH ZURICH, SWITZERLAND
http://www.infsec.ethz.ch/news/positions
* The Information Security group headed by Prof. David Basin at ETH
Zurich has two open PhD positions in two projects:
(1) Formalizing computational soundness for protocol implementations
(2) Testing access control systems
* We are looking for enthusiastic outstanding researchers with a strong
background and interest in one or more of the following areas:
- formal methods or mathematical logic,
- information security or cryptography,
- (project 1) interactive theorem proving
(project 2) software testing.
Candidates with a strong theoretical background in related areas are
also encouraged to apply. ETH Zurich regulations require PhD
candidates to hold a Masters or equivalent degree (e.g. Diplom). The
preferred starting date for both positions is as soon as possible, at
the latest by the end of 2014.
* Contact: Andreas Lochbihler and Mohammad Torabi Dashti
infsec.positions@inf.ethz.ch
11 PHD STUDENTSHIPS IN COMPUTER SCIENCE AT THE UNIVERSITY OF PISA
http://dottorato.unipi.it/index.php/en/
* We would like to announce that by mid July it will appear the call for 11
grants at the PhD in Computer Science of the University of Pisa (deadline
beginning September). The selection will be made on CV, reference letters
and an interview, possibly via teleconferencing (check *carefully* the
relevant fields required).
* For further details please preferably contact
Mr Enrico Carpentras
or otherwise the chairman of the PhD Programme
Prof. Pierpaolo Degano
NEW DOCTORAL PROGRAM ON LOGICAL METHODS IN COMPUTER SCIENCE (LogiCS)
http://logic-cs.at/phd
* Funded Doctoral Positions in Computer Science
* TU Wien, TU Graz, and JKU Linz are seeking exceptionally talented and
motivated students for their joint doctoral program LogiCS. The LogiCS
doctoral college focuses on interdisciplinary research topics covering
(i) computational logic, and applications of logic to
(ii) databases and artificial intelligence as well as to
(iii) computer-aided verification.
* THE PROGRAM
LogiCS is a doctoral college focusing on logic and its applications in
computer science. Successful applicants will work with and be
supervised by leading researchers in the fields of computational
logic, databases and knowledge representation, and computer-aided
verification.
* FACULTY MEMBERS
M. Baaz A. Biere R. Bloem A. Ciabattoni
U. Egly T. Eiter C. Fermueller R. Grosu
A. Leitsch M. Ortiz R. Pichler S. Szeider
H. Tompits H. Veith G. Weissenbacher
* POSITIONS AND FUNDING
We are looking for 1-2 doctoral students per faculty member, where 30%
of the positions are reserved for highly qualified female
candidates. The doctoral positions are funded for a period of 3 years
according to the funding scheme of the Austrian Science Fund
(details: http://www.fwf.ac.at/de/projects/personalkostensaetze.html)
The funding can be extended for one additional year contingent on a
placement at one of our international partner institutions.
* HOW TO APPLY
Detailed information about the application process is available on the
LogiCS web-page http://logic-cs.at/phd/
The applicants are expected to have completed an excellent diploma or
master's degree in computer science, mathematics, or a related
field. Candidates with comparable achievements will be considered on a
case-by-case basis. Applications by the candidates need to be
submitted electronically.
* Next application Deadline: September 1, 2014.
* HIGHEST QUALITY OF LIFE
The Austrian cities Vienna, Graz, and Linz, located close to the Alps
and surrounded by beautiful nature, provide an exceptionally high
quality of life, with a vibrant cultural scene, numerous cultural
events, world-famous historical sites, a large international
community, a varied cuisine and famous coffee houses.
* For further information please contact:
info@logic-cs.at
Back to the LICS web page.