Newsletter 159
June 2, 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
CSL-LICS'14 (*** early registration closes on June 8 ***)
ACM SIGLOG ANNOUNCEMENT
VIENNA SUMMER OF LOGIC ANNOUNCEMENT
* DEADLINES
Forthcoming Deadlines
* CALLS
RP 2014 - Call for Papers
APPA 2014 - Call for Participation
HOPA 2014 - Call for Participation
ICLP 2014 - Call for Participation
ISABELLE 2014 - Call for Participation
ITRS 2014 - Call for Participation
LOLA 2014 - Call for Participation
TERMGRAPH 2014 - Call for Participation
CCC 2014 - Call for Papers
LOPSTR 2014 - Call for Papers
LASER Summer School - Call for Applications
SPLat 2014 - Call for Papers
VSComp 2014 - Call for Competition Entries
DOMAINS 2014 - Call for Abstracts
AVOCS 2014 - Call for Papers
AAA88 - Call for Participation
NASSLLI 2014 - Call for Participation
ICTAI 2014 - Call for Papers
LSB 5 - Call for Participation (Student/Postdoc Funding)
ISR 2014 - Call for Participation
JLAP on Formal Methods - Call for Papers
SOFSEM 2015 - Call for Papers
ICLA 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
CSL-LICS'14
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. The list of accepted papers and the preliminary
schedule are available online. The early registration deadline is June 8!
ACM SIGLOG ANNOUNCEMENT
http://siglog.acm.org
* The ACM has just 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 filling the form at
http://www.acm.org/membership/sig-pdfs/SIGLOG.pdf
One can join SIGLOG without joining ACM (the SIGLOG membership fee is
$25 and $15 for students).
VIENNA SUMMER OF LOGIC ANNOUNCEMENT
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.
DEADLINES
* RP 2014
Submission deadline: June 4, 2014
Presentation proposals: August 4, 2014
http://www.cs.ox.ac.uk/RP2014/
* CSL-LICS 2014
Early registration deadline: June 8, 2014
http://vsl2014.at/registration/
* VSL 2014
Early registration deadline: June 8, 2014
http://vsl2014.at/registration/
* APPA 2014
Early registration deadline: June 8, 2014
http://vsl2014.at/registration/
http://vsl2014.at/meetings/APPA-index.html
* HOPA 2014
Early registration deadline: June 8, 2014
http://vsl2014.at/registration/
http://vsl2014.at/meetings/hopa-index.html
* ICLP 2014
Early registration deadline: June 8, 2014
http://vsl2014.at/registration/
http://www.logicprogramming.org/iclp2014
* ISABELLE 2014
Early registration deadline: June 8, 2014
http://vsl2014.at/isabelle
http://vsl2014.at/registration/
* ITRS 2014
Early registration deadline: June 8, 2014
http://vsl2014.at/registration/
http://vsl2014.at/meetings/itrs-index.html
* LOLA 2014
Early registration deadline: June 8, 2014
http://vsl2014.at/registration/
http://vsl2014.at/meetings/LOLA-index.html
* TERMGRAPH 2014
Early registration deadline: June 8, 2014
http://vsl2014.at/registration/
http://cl-informatik.uibk.ac.at/events/termgraph-2014/
* CCC 2014
Abstract submission deadline: June 10, 2014
http://ccc2014.fmf.uni-lj.si/
* LOPSTR 2014
Abstract submission: June 11, 2014
Paper/Extended abstract submission: June 18, 2014
http://www.iasi.cnr.it/events/lopstr14/
* LASER Summer School
Application deadline: June 13, 2014
http://laser.inf.ethz.ch/2014/
* SPLat 2014
Abstract submission: June 13, 2014
Paper submission: June 20, 2014
http://www.splat2014.org
* VSComp 2014
Publication of change problems: June 14, 2014 (0900 GMT)
Submission deadline for solutions: June 16, 2014 (0900 GMT)
http://vscomp.org
* DOMAINS 2014
Abstract submission: June 15, 2014
http://www.pps.univ-paris-diderot.fr/~varacca/domains/Domains_XI
* AVOCS 2014
Submission (abstract for full paper): June 16, 2014
Submission (full papers): June 23, 2014
Submission (research ideas): August 7, 2014
http://www.utwente.nl/avocs2014
* NASSLLI 2014
Event: June 21-29, 2014
http://www.nasslli2014.com
* ICTAI 2014
Paper submission: June 30, 2014
http://ictai2014.cs.ucy.ac.cy
* 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/
8TH INTERNATIONAL WORKSHOP ON REACHABILITY PROBLEMS (RP2014)
22 - 24 September 2013
University of Oxford, United Kingdom
http://www.cs.ox.ac.uk/RP2014/
* VENUE
The Department of Computer Science will organize the 8th International
Workshop on Reachability Problems (RP'2014). This event will take place
at the Department in the centre of Oxford, 22 - 24 September 2014.
* TOPICS
Papers presenting original contributions related to reachability problems
in different computational models and systems are being sought. This will
also be the occasion to review recent breakthroughs by renown invited
experts and survey emerging trends and emphasize on key open challenges.
Participants are kindly encouraged to discuss on core scientific issues
that need to be further tackled. The Reachability Workshop is specifically
aimed at gathering together scholars from diverse disciplines and
backgrounds interested in reachability problems that appear in
- Algebraic structures
- Computational models
- Hybrid systems
- Logic and Verification
* INVITED SPEAKERS
- Byron Cook, UCL and Microsoft Research, UK.
- Kousha Etessami, University of Edinburgh, UK.
- Anca Muscholl, LaBRI Bordeaux, France.
- Sylvain Schmitz, LSV and ENS-Cachan, France.
* SUBMISSIONS
Papers presenting original contributions related to reachability problems
in different computational models and systems are being sought. Topics of
interest include (but are not limited to): Reachability for infinite state
systems, rewriting systems; Reachability analysis in counter/timed/cellular/
communicating automata; Petri-Nets; computational aspects of semigroups,
groups and rings; Reachability in dynamical and hybrid systems; frontiers
between decidable and undecidable reachability problems; complexity and
decidability aspects; predictability in iterative maps and new computational
paradigms. Authors are invited to submit a draft of a full paper with at
most 12 pages (in LaTeX, formatted according to LNCS guidelines) via the
conference web page. Proofs omitted due to space constraints must be put
into an appendix to be read by the program committee members at their
discretion. Submissions deviating from these guidelines risk rejection.
Electronic submissions should be formatted in pdf. Simultaneous submission
to other conferences or workshops with published proceedings is not allowed.
* IMPORTANT DATES
- Submission deadline: 4 June 2014
- Notification to authors: 4 July 2014
- Final version: 14 July 2014
- Workshop: 22 - 24 September 2014
* PRESENTATION-ONLY TRACK
In addition to regular papers that will appear in our LNCS proceedings,
we invite researchers to apply to give a presentation at RP 2014 without
an accompanying paper. Such presentations can be based on work that has
appeared (or which is going to appear) in the proceedings of another
conference, or which has not yet been submitted. These contributions will
be judged solely on the basis of their attractiveness to the workshop.
To apply to give such a presentation please submit a PDF file containing
a short abstract (up to two pages) by e-mail [ rp2014@easychair.org ]
by August 4th 2014, with subject "RP2014 Presentation-Only Track".
This abstract will not be published in the conference proceedings.
Notification for the presentation-only track will be August 11th 2014.
* PROCEEDINGS
The Conference Proceedings will be published as the volume of the Springer
Verlag LNCS (Lecture Notes in Computer Science) series and distributed at
the Conference. We plan also to publish selected papers in a special issue
of a high quality journal following the regular referee procedure.
ALL ABOUT PROOFS, PROOFS FOR ALL TUTORIALS ABOUT PROOFS (APPA 2014)
Call for Participation
July 18, 2014
Vienna, Austria
http://vsl2014.at/meetings/APPA-index.html
* Tutorial Topics and Speakers:
- SAT-Solvers:
+ Marijn Heule (University of Texas at Austin, USA)
- SMT-Solvers:
+ Clark Barrett (New York University, USA)
+ Pascal Fontaine (LORIA Nancy, France)
+ Leonardo de Moura (Microsoft Research, USA)
- First-order Automated Theorem Provers:
+ Stephan Schulz (Munich University of Technology, Germany)
- Higher-order Automated Theorem Provers:
+ Christoph Benzmüller (Freie Universitaet Berlin, Germany)
- Interactive Theorem Provers:
+ Makarius Wenzel (LRI, Universite Paris Sud, France)
- Calculus of Inductive Constructions:
+ Christine Paulin-Mohring (LRI & INRIA Saclay, France)
- Deduction Modulo:
+ Gilles Dowek (INRIA Paris, France)
- Deep Inference:
+ Alessio Guglielmi (University of Bath, England)
- Foundational Proof Certificates:
+ Dale Miller (Ecole Polytechnique, Paris, France)
- Program Verification (B Method):
+ Jean-Raymond Abrial
- Security:
+ Gilles Barthe (IMDEA Software Institute, Madrid, Spain)
- Mathematical Proof Analysis:
+ Alexander Leitsch (Vienna University of Technology, Austria)
* REGISTRATION
- Register at http://vsl2014.at/registration/,
selecting "APPA" on workshop block 2.
- Early-registered participants will receive a book with the invited papers
that accompany the tutorials. Early registration goes until 8th of June.
WORKSHOP ON HIGHER-ORDER PROGRAM ANALYSIS (HOPA 2014)
Call for Papers
18th July, Part of FLoC 2014, Vienna University of Technology, Austria
http://hopa.cs.rhul.ac.uk
http://vsl2014.at/registration/
* The HOPA workshop aims to bring together the various growing communities
involved in the analysis of higher-order programs. The focus of the workshop
is both on tools and techniques for practical analysis, and on the
dissemination of new theoretical results.
* IMPORTANT DATES
- Early registration deadline: June 8, 2014
- Main event: 18th July, 2014.
* INVITED SPEAKERS
Anders Moeller, Aarhus University, Denmark,
Grigore Rosu, University of Illinois at Urbana-Champaign, USA
30TH INTERNATIONAL CONFERENCE ON LOGIC PROGRAMMING (ICLP 2014)
Call for Participation
Part of the Federated Logic Conference FLoC 2014
Vienna, Austria, July 19-22, 2014
http://www.logicprogramming.org/iclp2014
* INVITED TALKS
- Andrey Rybalchenko (Microsoft Research)
(Quantified) Horn Constraint Solving for Program Verification and Synthesis
- Neng-Fa Zhou (City University of New York)
Combinatorial Search With Picat
- Invited author(s) of the most influential paper of ICLP/ILPS 1994.
- Invited author(s) of the most influential paper of ICLP 2004.
- FLoC Panel chaired by Moshe Vardi
- FLoC Plenary Talk by Veronique Cortier
- VSL Keynote Talks by Franz Baader and Edmund Clarke
* WORKSHOPS, DC, AND SUMMER SCHOOL
- 2014 Summer School on Computational Logic, July 17-18
- International Joint Workshop on Implementation of Constraint and Logic
Programming Systems and Logic-based Methods in Programming Environments
2014 (CICLOPS - WLPE), July 17-18
- 21st International Workshop on Experimental Evaluation of Algorithms for
solving problems with combinatorial explosion (RCRA), July 17-18
- 2nd International Workshop on Verification and Program Transformation
(VPT), July 17-18
- Workshop on Horn Clauses for Verification and Synthesis (HCVS), July 17
- Workshop on Probabilistic Logic Programming (PLP), July 17
- 11th International Workshop on Constraint Handling Rules (CHR), July 18
- Workshop on Logic and Search (LaSh), July 18
- Parallel Methods for Search & Optimization (ParSearchOpt), July 18
- 10th ICLP Doctoral Consortium, July 20
- 7th Workshop on Answer Set Programming and Other Computing Paradigms
(ASPOC), July 23
* REGISTRATION
Information about registration and accommodation is available at the
conference web site. Early registration ends on June 8, 2014.
* ORGANIZATION
- General Chair: Manuel Carro (Technical University of Madrid).
- Program Chairs:
Michael Leuschel (Heinrich-Heine-Universitaet Duesseldorf),
Tom Schrijvers (Ghent University)
- Workshop Chair: Haifeng Guo (University of Nebraska at Omaha)
- Doctoral Consortium Chairs:
Martin Gebser (University of Potsdam),
Jael Kriener (Microsoft Research - Inria Joint Center)
ISABELLE WORKSHOP and TUTORIAL (ISABELLE 2014)
Call for Participation
http://vsl2014.at/isabelle
July 13, 2014
Vienna, Austria
* Attending the Vienna Summer of Logic http://vsl2014.at/?
Interested in interactive theorem proving?
Then you should consider attending either of these two parallel events:
- A half-day hands-on tutorial on Isabelle for novices.
Amongst other things you get to try the famous Sledgehammer.
- A full-day Isabelle workshop,
including a talk by Larry Paulson on his verification of Goedel's two
incompleteness theorems.
* DETAILS
For details see http://vsl2014.at/isabelle.
For the workshop program click on PROGRAM.
Looking forward to seeing you there!
7TH WORKSHOP ON INTERSECTION TYPES AND RELATED SYSTEMS (ITRS 2014)
Call for Participation
Vienna, Austria, July 18th, 2014
http://vsl2014.at/meetings/ITRS-index.html
affiliated with RTA-TLCA 2014 in conjunction with FLoC 2014
at the Vienna Summer of Logic VSL
http://vsl2014.at/registration/
* AIMS
ITRS 2014 is a venue for researchers working on both the theory and practical
applications of systems based on intersection types and related approaches.
You are cordially invited to participate.
* REGISTRATION
http://vsl2014.at/registration/
EARLY REGISTRATION is open and lasts until June 8th.
* INVITED TALK
Luke Ong (University of Oxford, UK)
Intersection Types, Game Semantics and Higher-Order Model Checking
* CONTRIBUTED TALKS
- Richard Statman
A Finite Model Property for Intersection Types
- Mario Coppo, Mariangiola Dezani-Ciancaglini, Ines Margaria and Maddalena Zacchi
On Isomorphism of "Functional" Intersection and Union Types
- Kentaro Kikuchi
Uniform Proofs of Normalisation and Approximation for Intersection Types
- Charles Grellois and Paul-Andre Mellies
Indexed linear logic and higher-order model checking
- Marcin Benke, Viviana Bono and Aleksy Schubert
Lucretia - intersection type polymorphism for scripting languages
- Mario Pereira, Sandra Alves and Mario Florido
Liquid Intersection Types
- Ugo De Liguoro and Tzu-Chun Chen
Semantic Types for Classes and Mixins
- Jan Bessai, Boris Duedder, Andrej Dudenhefner and Moritz Martens
Delegation-based Mixin Composition Synthesis
5TH WORKSHOP ON SYNTAX AND SEMANTICS OF LOW-LEVEL LANGUAGES (LOLA 2014)
Call for Participation
Sunday 13th July 2014
Vienna, Austria
A satellite workshop of CSL/LICS 2014 at the Vienna Summer of Logic
http://vsl2014.at/lola/
http://vsl2014.at/registration/
* OBJECTIVES
It has been understood since the late 1960s that tools and structures
arising in mathematical logic and proof theory can usefully be applied
to the design of high level programming languages, and to the development
of reasoning principles for such languages. Yet low level languages,
such as machine code, and the compilation of high level languages into
a low level ones have traditionally been seen as having little or no
essential connection to logic. However, a fundamental discovery of this
past decade has been that low level languages are also governed by
logical principles. From this key observation has emerged an active and
fascinating new research area at the frontier of logic and computer science.
The practically-motivated design of logics reflecting the structure of
low-level languages (such as heaps, registers and code pointers) and
low-level properties of programs (such as resource usage) goes hand in hand
with the some of the most advanced contemporary researches in semantics
and proof theory, including classical realizability and forcing, double
orthogonality, parametricity, linear logic, game semantics, uniformity,
categorical semantics, explicit substitutions, abstract machines,
implicit complexity and sublinear programming.
* INVITED SPEAKERS
Nick Benton (Microsoft Research Cambridge)
Rafal Kolanski (Purdue University)
* CONTRIBUTED PAPERS
- Hubert Godfroy and Jean-Yves Marion
Abstract Self Modifying Machines
- Sergey Goncharov, Lutz Schroeder and Christoph Rauch
Programming and Verifying with Effect Handling and Iteration
- William Mansky and Elsa Gunter
A Cross-Language Framework for Verifying Compiler Optimizations
- Paul-Andre Mellies
Tensorial logic with algebraic effects
- Koko Muroya, Toshiki Kataoka, Ichiro Hasuo and Naohiko Hoshino
Compiling Effectful Terms to Transducers: Prototype Implementation of Memoryful Geometry of Interaction
- Ulrich Schoepp
Call-by-Value in a Basic Logic for Interaction
* IMPORTANT DATES
Early registration deadline: Sunday 8th June 2014
Workshop: Sunday 13th July 2014
8TH INTERNATIONAL WORKSHOP ON COMPUTING WITH TERMS AND GRAPHS (TERMGRAPH 2014)
Call for Participation
http://cl-informatik.uibk.ac.at/events/termgraph-2014/
July 13, 2014, Vienna, Austria
* INVITED SPEAKERS
Ian Mackie (joint with DCM)
Samuel Mimram (joint with IWC)
* PROGRAM
http://www.easychair.org/smart-program/VSL2014/TERMGRAPH-program.html
* DEADLINE
Early registration deadline: June 8
http://vsl2014.at/registration/
* See you in Vienna!
CONTINUITY, COMPUTABILITY, CONSTRUCTIVITY - FROM LOGIC TO ALGORITHMS (CCC 2014)
Call for Papers
University of Ljubljana
15-19 September 2014
http://ccc2014.fmf.uni-lj.si/
* CCC is a workshop series bringing together researchers from real analysis,
computability theory, and constructive mathematics. The overall aim is to
apply logical methods in these disciplines to provide a sound foundation
for obtaining exact and provably correct algorithms for computations with
real numbers and related analytical data, which are of increasing importance
in safety critical applications and scientific computation.
* Previous workshops have been held in Cologne CCC 2009, Trier CCC 2012, and
Gregynog 2013. One outcome of the 2009 workshop series is the creation of
the EU funded research network COMPUTAL (Computable analysis - theoretical
and applied aspects) which supports research visits from Europe to Russia,
South-Africa, and Japan and vice versa. This workshop also hosts the third
COMPUTAL workshop, but is open to all researchers in the area.
The workshop will take place in Ljubljana, Slovenia.
* SCOPE
The workshop specifically invites contributions in the areas of
- exact real number computation,
- effective topology,
- Scott's domain theory,
- Weihrauch's type two theory of effectivity,
- category-theoretic approaches to computation on infinite data,
- hierarchies of unsolvability,
and related areas.
* INVITED SPEAKERS
Thierry Coquand (Gothenburg)
Dirk Pattinson (Canberra)
Paul Potgieter (Pretoria)
Robert Rettinger (Hagen)
Hideki Tsuiki (Kyoto)
* TUTORIAL SPEAKERS
Andrej Bauer (Ljubljana)
Martin Ziegler (Darmstadt)
* DEADLINES
Abstract submission deadline: 10 June 2014
https://www.easychair.org/conferences/?conf=ccc20140
* CHAIR
Dieter Spreen (Siegen and Pretoria) (chair)
* ORGANIZING COMMITTEE
Andrej Bauer (Ljubljana)
24TH INTERNATIONAL SYMPOSIUM ON LOGIC-BASED PROGRAM SYNTHESIS AND TRANSFORMATION (LOPSTR 2014)
Call for Papers
University of Kent, Canterbury, UK,
September 10-11, 2014
http://www.iasi.cnr.it/events/lopstr14/
* DEADLINES
Abstract submission: June 11, 2014
Paper/Extended abstract submission: June 18, 2014
* SERIES
The aim of the LOPSTR series is to stimulate and promote international
research and collaboration on logic-based program development. LOPSTR
is open to contributions in logic-based program development in any
language paradigm. LOPSTR has a reputation for being a lively,
friendly forum for presenting and discussing work in progress. Formal
proceedings are produced only after the symposium so that authors can
incorporate this feedback in the published papers.
The 24th International Symposium on Logic-based Program Synthesis and
Transformation (LOPSTR 2014) will be held at the University of Kent,
Canterbury, United Kingdom; previous symposia were held in Madrid,
Leuven, Odense, Hagenberg, Coimbra, Valencia, Lyngby, Venice, London,
Verona, Uppsala, Madrid, Paphos, London, Venice, Manchester, Leuven,
Stockholm, Arnhem, Pisa, Louvain-la-Neuve, and Manchester.
LOPSTR 2014 will be co-located with PPDP 2014 (International ACM SIGPLAN
Symposium on Principles and Practice of Declarative Programming).
* TOPICS
Topics of interest cover all aspects of logic-based program
development, all stages of the software life cycle, and issues of both
programming-in-the-small and programming-in-the-large. Both full
papers and extended abstracts describing applications in these areas
are especially welcome. Contributions are welcome on all aspects of
logic-based program development.
Survey papers that present some aspects of the above topics from a new
perspective, and application papers that describe experience with
industrial applications are also welcome.
Papers must describe original work, be written and presented in
English, and must not substantially overlap with papers that have been
published or that are simultaneously submitted to a journal,
conference, or workshop with refereed proceedings. Work that already
appeared in unpublished or informally published workshop proceedings
may be submitted (please contact the PC co-chairs in case of questions).
* IMPORTANT DATES
Abstract submission: June 11, 2014
Paper/Extended abstract submission: June 18, 2014
Notification: July 18, 2014
Camera-ready (for electronic pre-proceedings): August 25, 2014
Symposium: September 10-11, 2014
* PROGRAM CHAIRS
Maurizio Proietti IASI-CNR, Italy (Program Co-Chair)
Hirohisa Seki Nagoya Institute of Technology, Japan (Program Co-Chair)
* SYMPOSIUM CO-CHAIRS
Olaf Chitil and Andy King
School of Computing
University of Kent
CT2 7NF Kent, UK
* ORGANIZING COMMITTEE
Emanuele De Angelis, University of Chieti-Pescara and IASI-CNR, Italy
Fabrizio Smith, IASI-CNR, Italy
LASER SUMMER SCHOOL ON SOFTWARE ENGINEERING (LEADING-EDGE SOFTWARE ENGINEERING)
Call for Applications
September 7-13, 2014 - Elba Island, Italy
http://laser.inf.ethz.ch/2014/
* FINAL APPLICATION DEADLINE
June 13, 2014
* GOALS
The LASER summer school, organized by the ETH Chair of Software
Engineering, brings together the concepts and practice of software
engineering in the idyllic setting of the Elba Island off the coast of
Tuscany, easily reachable by air, car, bus or train.
The LASER school is intended for professionals from the industry
(engineers and managers) as well as university researchers, including
PhD students. Participants learn about the most important software
technology advances from the pioneers in the field. The school's focus
is applied, although theory is welcome to establish solid foundations.
The format of the school favors extensive interaction between
participants and speakers.
* TOPIC AND SPEAKERS
The LASER school is 10 years old! To celebrate this anniversary,
we have gone not for a narrow topic but for a selection of brilliant
speakers who will describe leading-edge research in a variety of areas
of software engineering, both conceptual and applied:
- Harald C. Gall (University of Zurich)
- Daniel Jackson (MIT)
- Michael Jackson (The Open University)
- Erik Meijer (Applied Duality)
- Bertrand Meyer (ETH Zurich)
- Gail C. Murphy (University of British Columbia)
- Moshe Y. Vardi (Rice University)
* APPLICATIONS
Use the online registration form available on the LASER website
http://laser.inf.ethz.ch/2014. Registration is open until June 13,
2014. The number of participants is strictly limited to ensure quality
interaction with the lecturers and the rest of the audience. For more
information, visit our website or contact the organizers:
se-laser@lists.inf.ethz.ch
* VENUE
The school takes place at the magnificent Hotel del Golfo
(http://www.hoteldelgolfo.it/) in Golfo di Procchio, Elba. Along with an
intensive scientific program, participants will have time to enjoy the
natural and cultural riches of this history-laden jewel of the
Mediterranean.
SOFTWARE PRODUCT LINE ANALYSIS TOOLS WORKSHOP (SPLat 2014)
Call for Papers
an SPLC 2014 workshop
September 16, 2014
Florence, Italy
* AIMS
The Software Product Line Analysis Tools workshop is devoted to the
use of formal techniques in Software Product Line Engineering. The
main theme is the mitigation of combinatorial explosion while
analyzing software models with variability. The workshop aims to bring
together a number of analysis methods, e.g. based on model checking,
SAT-solving, or testing technology, to sketch the palette of
techniques that is recruited to handle the commonalities and
differences of individual products, and to establish properties at the
level of the product line.
* SCOPE
Papers of both theoretical or applied interest are welcomed that
discuss a particular approach from a general perspective, rather than
demo or tool papers. The focus is on contributions that explain the
conceptual working in a simple setting and sketch the potential
success for wider application. Overview and positioning papers
addressing the underlying concepts, the design choices made and a
particular strength or a specific application range of an approach are
welcomed as well.
* FORMAT
The workshop programme will be a one-day workshop as to concentrate
the exchange of arguments, beliefs and opinions and has the usual
scheme of invited talks and paper presentations.
* SUBMISSION
We solicit the submission of original and unpublished contributions
not under review for publication elsewhere. Papers are to be prepared
in LaTeX using the two-column ACM SIGS proceedings format with a
maximum of eight pages and uploaded in pdf to the EasyChair webpage of
the workshop. Contributions will be evaluated by the Program
Committee and may have an appendix for reviewing purposes. Submission
of a paper involves a firm commitment that at least one of the authors
will attend and participate in the workshop in case the paper is
accepted.
* IMPORTANT DATES
Abstract submission June 13, 2014
Paper submission June 20, 2014
Notification of acceptance July 7, 2014
Camera ready versions July 20, 2014
Workshop SPLat 2014 September 16, 2014
* PUBLICATION
Accepted papers will be included in the proceedings, which will be
published by the ACM as a part of volume 2 of the SPLC 2014
proceedings, and as such is indexed in the main repositories. An open
call for a special issue of a high-quality journal on the topic of the
workshop is envisaged.
* WORKSHOP CO-CHAIRS
Axel Legay INRIA Rennes, France
Erik de Vink Eindhoven University of Technology, the Netherlands
* INVITED SPEAKERS
Tiziana Margaria Universitaet Potsdam, Germany
Stefania Gnesi CNR Pisa, Italy
FOURTH VERIFIED SOFTWARE COMPETITION (VSComp 2014)
Call for Competition Entries
14-15 June 2014
http://vscomp.org
* ORGANIZERS
Ernie Cohen, Marcelo Frias, Peter Müller, Natarajan Shankar
* AIMS
The Fourth Verified Software Competition (VSComp) aims to showcase the
progress in verification technology. The competition will occur over
48 hours during the weekend of 14/15 June starting with the
publication of the challenge problems at 0900 GMT of Sat June 14 and
ending with the submission deadline for the solutions at 0900 GMT of
Mon June 16. Teams of up to three individuals can register to
participate just prior to the start of the competition at
http://vscomp.org. The competition will consist of five verification
challenges (with possible sub-problems) spanning a range of domains,
including (but not limited to) sequential and concurrent algorithms,
refinement, assertional verification, and metatheory. Teams will have
to solve the challenge problems using mechanized tools. Teams are
allowed to use multiple tools to tackle the challenges. Only the best
three problem solutions from each team will be taken into
consideration for evaluating team performance. An FAQ Wiki page will
be maintained at the website to clarify questions that might come up
before or during the competition. After the competition, solutions
will be made publicly available for peer review by the other teams.
Teams should be available to answer questions during the peer review
process, and if necessary, be prepared to make their verification
tools available for experimentation. Based on the results of the peer
review, the organizers will evaluate the solutions for correctness,
completeness, and clarity.
* WINNERS
The winners will be given short speaking slots at VSTTE 2014 which
takes place in Vienna during July 17, 18, 2014. The competition will
run on an honor system to ensure that above guidelines are being
followed by each of the teams. We especially encourage the
participation of all-student teams and teams that are using tools
developed by others.
* CONTACT
Questions or comments about the contest should be sent to vscomp2014@gmail.com.
11TH INTERNATIONAL WORKSHOP ON DOMAINS AND APPLICATIONS (DOMAINS 2014)
Call for papers
September 8-10 2014
Paris, France
http://www.pps.univ-paris-diderot.fr/~varacca/domains/Domains_XI
* The Workshop on Domains is aimed at computer scientists and
mathematicians alike who share an interest in the mathematical
foundations of computation.
* Topics of interaction with domain theory for this workshop
include, but are not limited to: program semantics;
program logics; probabilistic computation; exact computation
over the real numbers; lambda calculus; games; models of
sequential computation; constructive mathematics; recursion
theory; realizability; real analysis and computability;
topology, metric spaces and domains; idempotent analysis
and domains; locale theory; category theory; topos theory;
type theory. A special emphasis will be put on the following
topics: quasi-polish spaces; quantitative aspects in semantics.
* Important dates: abstract submission until June 15th, notification
shortly after. Abstracts should be 1 or 2 pages. Submission on
https://www.easychair.org/conferences/?conf=domains2014
* Proceedings: there will be a call for papers after the workshop.
The papers will be refereed according to normal publication
standards.
14TH WORKSHOP ON AUTOMATED VERIFICATION OF CRITICAL SYSTEMS (AVOCS 2014)
Call for Papers
http://www.utwente.nl/avocs2014
24-26th September, 2014
University of Twente, Netherlands
* AIMS
The aim of Automated Verification of Critical Systems (AVoCS) 2014 is
to contribute to the interaction and exchange of ideas among members
of the international research community on tools and techniques for
the verification of critical systems. The subject is to be interpreted
broadly and inclusively. It covers all aspects of automated
verification, including model checking, theorem proving, SAT/SMT
constraint solving, abstract interpretation, and refinement pertaining
to various types of critical systems which need to meet stringent
dependability requirements (safety-critical, business-critical,
performance-critical, etc.). Contributions that describe different
techniques, or industrial case studies are encouraged. The technical
programme will consist of invited and contributed talks and also allow
for short presentations of research ideas. The workshop will be
relatively informal, with an emphasis on discussion.
There are several studentships available in order to support PhD
students who wish to participate in the workshop.
* TOPICS
Topics include (but are not limited to)
- Model Checking
- Automatic and Interactive Theorem Proving
- SAT, SMT or Constraint Solving for Verification
- Abstract Interpretation
- Specification and Refinement
- Requirements Capture and Analysis
- Verification of Software and Hardware
- Specification and Verification of Fault Tolerance and Resilience
- Probabilistic and Real-Time Systems
- Dependable Systems
- Verified System Development
- Industrial Applications
* INVITED SPEAKERS
The workshop will have three invited speakers:
- Laura Kovacs (Chalmers, Sweden) will speak about automated assertion
generation.
- Alastair Donaldson (Imperial College, UK) will speak about verification
of OpenCL kernels.
- A third speaker will be announced soon.
* IMPORTANT DATES
Submission (abstract for full paper): 16th June 2014
Submission (full papers): 23rd June 2014
Notification (full papers): 30th July 2014
Submission (research ideas): 7th August 2014
Notification (research ideas): 14th August 2014
Submission of final versions: 1st September 2014
Workshop: 24-26th September 2014
* FULL PAPERS
Submissions of full papers to the workshop must not have
been published or be concurrently considered for publication
elsewhere. All submissions will be peer-reviewed and judged on the
basis of originality, contribution to the field, technical and
presentation quality, and relevance to the workshop. Final versions of
the papers must be written in English and not exceed 15
pages. Formatting details are provided on the website.
* RESEARCH IDEAS
AVoCS'14 encourages the submissions of research ideas
in order to stimulate discussions at the workshop. Reports on ongoing
work or surveys on work published elsewhere are welcome. The Programme
Committee will select research ideas on the basis of submitted
abstracts according to significance and general interest. Research
ideas must be written in English and not exceed 2 pages.
* PROCEEDINGS AND SPECIAL ISSUE
At the workshop, pre-proceedings will be available in the form of a
University of Twente Technical Report; this report will also include
the research ideas.
After the workshop, the authors of accepted full papers will have
about one month in order to revise their papers for publication in the
workshop post-proceedings which will appear in the Electronic
Communications of the EASST Open Access Journal. Research ideas will
not be part of the proceedings in the Open Access Journal.
We will invite authors of a selection of the best papers presented at
the workshop to submit extended versions of their work for publication
in a special issue of Elsevier's journal Science of Computer
Programming.
* PROGRAM CHAIRS
Marieke Huisman, University of Twente, Netherlands (co-chair)
Jaco van de Pol, University of Twente, Netherlands (co-chair)
* ORGANIZATION COMMITTEE
Marieke Huisman
Wojciech Mostowski (publicity chair)
Jaco van de Pol
88TH WORKSHOP ON GENERAL ALGEBRA (AAA88)
June 19-22, 2014
Warsaw, Poland
http://www.mini.pw.edu.pl/aaa88
* LOCATION
The conference location is the new home of mathematics at the Warsaw
University of Technology. The meeting falls within the Stefan Banach
conference series. The scientific program will start on Friday, June 20,
2014, at 9.00, and end on Sunday, June 22, 2014, at 13.00.
The conference will be organized by the Algebra Group at the Warsaw
University of Technology. Support is provided by Warsaw University of
Technology and the Stefan Banach International Mathematical Center.
* TOPICS
The main topics of the conference are related to the traditional areas
of the AAA conferences, with special emphasis on the following:
1. Non-classical algebraic structures;
2. Universal algebra and lattice theory;
3. Applications of algebra in logic, combinatorics and computer science;
4. Classical algebraic structures, especially in connection with
universal-algebraic methods.
* PROGRAMME
The list of invited speakers includes:
- Ales Drapal, Charles University, Prague, Czech Republic
- Mai Gehrke, Universite Paris Diderot, Paris, France
- Katarzyna Korwin-Slomczynska, Pedagogical University in Krakow, Poland
- Jonathan D.H. Smith, Iowa State University, Ames, Iowa, USA
- Agnes Szendrei, University of Colorado, Boulder, USA and Szegedi
Tudomanyegyetem, Hungary
- Mikhail Volkov, Ural Federal University, Ekaterinburg, Russia
The program will comprise several longer keynote plenary lectures, a number
of shorter plenary lectures, and a larger number of 20-minute contributed talks.
* FURTHER INFORMATION
The conference website has been set up at http://www.mini.pw.edu.pl/aaa88
Further information concerning the online registration and submission of
abstracts, conference fee, accommodation, possible financial support, and
conference proceedings will be provided on the conference website later.
The site will be updated regularly.
* ORGANIZING COMMITTEE
G. Binczak, T. Brengos, N. Dojer, A. Mucka, A. Pilitowska, A. Romanowska,
M. Stronkowski, A. Zamojska-Dzienio, M. Ziembowski
* SCIENTIFIC COMMITTEE
E. Aichinger, A. Pilitowska, A. Romanowska, J.D.H. Smith
6TH NORTH AMERICAN SUMMER SCHOOL IN LOGIC, LANGUAGE AND INFORMATION (NASSLLI 2014)
Call for Participation
http://www.nasslli2014.com/
June 21-29, 2014
* GENERAL
The 6th North American Summer School in Logic, Language and Information
(NASSLLI 2014), a bi-annual summer school loosely modeled on the
long-running ESSLLI <http://esslli2014.de/> series in Europe, will be held
at the University of Maryland, College Park, June 23 - 27, 2014. In
addition, we will run three intensive introductory courses ("bootcamps") on
Saturday and Sunday, June 21-22. Additional events will be held during the
weekend following the summer school, June 28-29.
* SCHEDULE
The summer school will consist of 18 courses, scheduled in five parallel
sessions throughout the week. Courses will meet for 90 minutes on each of
five days. The instructors are prominent researchers who volunteer their
time and energy to present work in their disciplines. NASSLLI courses are
aimed at graduate students and advanced undergraduates in any of the fields
represented at the summer school, but will also be of interest to post-docs
and researchers in those fields. Courses are designed with an
interdisciplinary audience in mind, by instructors who enjoy addressing
students and colleagues from a wide range of disciplines.
* PROGRAM
For the full program of courses, see http://www.nasslli2014.com/program.
* REGISTRATION
We are working to keep the registration fee low for NASSLLI participants.
The registration fee is $195.00 for students and academics (and $70 for
local participants).
* LOCATION
NASSLL is located on the campus of the University of Maryland, College
Park. The University of Maryland is located in the Washington D.C.
metropolitan area, and is accessible by Metro from downtown Washington DC.
* ACCOMMODATION
All NASSLLI participants are responsible for securing their own
accommodations during their stay in College Park. However, NASSLLI
participants may request accommodation in the South Campus Residence Hall
on the University of Maryland, College Park campus. There are also a
number of hotels located in College Park within walking distance of the
campus. Details on both dorm and hotel accommodations are available on the
NASSLLI website.
26TH IEEE INTERNATIONAL CONFERENCE ON TOOLS WITH ARTIFICIAL INTELLIGENCE (ICTAI 2014)
(pending IEEE approval)
Call for Papers
November 10-12, 2014, Limassol, Cyprus
http://ictai2014.cs.ucy.ac.cy
* AIMS AND SCOPE
The annual IEEE International Conference on Tools with Artificial
Intelligence (ICTAI) provides a major international forum where
the creation and exchange of ideas related to artificial intelligence
are fostered among academia, industry, and government agencies.
The conference facilitates the cross-fertilization of these ideas and
promotes their transfer into practical tools, for developing intelligent
systems and pursuing artificial intelligence applications. The ICTAI
encompasses all technical aspects of specifying, developing and
evaluating the theoretical underpinnings and applied mechanisms
of the AI-based components of computer tools such as algorithms,
architectures and languages.
* TOPICS
AI Foundations
AI in Domain Specific Applications
AI in Computer Systems
AI in Data Analytics and Big Data
Machine Learning and Data Mining
Knowledge Representation, Reasoning and Cognitive Modelling
AI and Decision Systems
Uncertainty in AI
* SUBMISSION
The submissions should contain original, high quality, not submitted
or published elsewhere work. Papers should be submitted electronically
through the EasyChair system in pdf format and should conform to IEEE
specifications (single-spaced, double-column, 10-point font size, up to 8
pages).
* PRESENTATION
Each accepted paper should be presented by one of the authors and
accompanied by at least one full registration fee payment, to guarantee
publication in the proceedings. All accepted papers will be included in
proceedings of ICTAI 2014 that will be published by the IEEE Computer
Society.
* IJAIT SPECIAL ISSUE
Extended versions of the best papers of the conference will be invited
for publication in a special issue of the International Journal on Artificial
Intelligence Tools (IJAIT) (SCI Indexed).
* IMPORTANT DATES
Paper submission: June 30, 2014
Paper notification: July 30, 2014
Camera-ready paper: August 30, 2014
* CONTACT
George A. Papadopoulos
Department of Computer Science
University of Cyprus
george-at-cs-dot-ucy-dot-ac-dot-cy
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).
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
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 Liège and of Luxembourg, the
Max-Planck-Institut für Informatik in Saarbrücken, 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 Kovács: 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
Back to the LICS web page.