Newsletter 156
March 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
VIENNA SUMMER OF LOGIC ANNOUNCEMENT
* DEADLINES
Forthcoming Deadlines
* AWARDS
Herbrand Award - Call for Nominations
* CALLS
SETS 2014 - Call for Papers
StudEDCC 2014 - Call for Papers
TAP 2014 - Call for Papers
ICE 2014 - Call for Papers
AiML 2014 - Call for Papers
SEMF 2014 - Call for Papers
HCSS 2014 - Call for Papers
SFM-14: ESM - Call for Participation
RCRA 2014 - Call for Papers
ITRS 2014 - Call for Papers
ASP Competition - Call for Participant Systems
LASER 2014 - Call for Summer School Applications
MSCS on Computable Analysis - Third Call for Submissions
ESSLLI 2014 STUDENT SESSION - Call for Papers
LATD 2014 - Call for Papers
DL 2014 - Call for Papers
RV 2014 - Call for Papers
ATVA 2014 - Call for Workshop Proposals
FORMATS 2014 - Call for Papers
CPS SUMMER SCHOOL 2014 - Call for Applications
HALMSTAD SUMMER SCHOOL ON TESTING 2014 - Call for Participation
QBF 2014 - Call for Papers
SYNT 2014 - Call for Papers
TERMGRAPH 2014 - Call for Papers
ASL 2014 - Call for Participation
VSTTE 2014 - Call for Papers
FMMB 2014 - Call for Papers
WWV 2014 - Call for Papers
TCS 2014 - Call for Papers
LCC 2014/IMMERMAN FEST - Call for Papers
LFMTP 2014 - Call for Papers
TGC 2014 - Call for Papers
UITP 2014 - Call for Papers
HOPA 2014 - Call for Papers
GandALF 2014 - Call for Papers
AISS 2014 - Call for Papers
DCM 2014 - Call for Papers
AVOCS 2014 - Call for Papers
AAA88 - Call for Participation
ICTAI 2014 - Call for Papers
JLAP on Formal Methods - Call for Papers
* BOOK ANNOUNCEMENT
New Book on Industrial Deployment of System Engineering Methods
* JOB ANNOUNCEMENTS
5 PhD Positions at Chalmers, Sweden
PhD Positions at ETH Zurich
Postdoc in Proof Theory at Vienna University of Technology
Postdoc Position in Verification, Trento, Italy
Tenure-Track Positions at Universite du Quebec a Montreal
CSL-LICS'14
http://lics.siglog.org/csl-lics14/
* Next 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 IEEE. The submission deadline has passed.
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
* SETS 2014
Abstract submission: March 3, 2014
Submission deadline: March 10, 2014
http://sets2014.cnam.fr/
* StudEDCC 2014
Submission deadline: March 10, 2014
http://edcc.dependability.org/
* TAP 2014
Abstract: March 10, 2014
Paper: March 18, 2014
http://www.tap2014.org
* ICE 2014
Abstract submission: March 12, 2014
Full paper submission: March 15, 2014
http://www.discotec.org/workshops/ice-2014
* AiML 2014
Abstract of full paper submission due: March 14, 2014
Full paper submission due: March 21, 2014
http://www.philos.rug.nl/AiML2014/
* SEFM 2014
Abstract Submission: March 14, 2014
Paper Submission: March 21, 2014 (AoE)
http://sefm2014.inria.fr/
* HCSS 2014
Abstract submission: March 20, 2014
http://cps-vo.org/group/hcss_conference/cfp
* SFM-14: ESM
Application deadline: March 21, 2014
Registration deadline: April 20, 2014
http://www.sti.uniurb.it/events/sfm14esm/
* RCRA 2014
Submission deadline for abstracts: March 25, 2014
Submission deadline for papers: April 1, 2014
http://rcra.aixia.it/rcra2014
* ITRS
Abstract submission: March 28, 2014
Paper submission: March 31, 2014
http://vsl2014.at/itrs/
* ASP COMPETITION 2014
Start of the competition: March 31, 2014
Participant registration opens March 1, 2014
http://aspcomp2014.mat.unical.it/
* LASER 2014
Application deadline: March 31, 2014
http://laser.inf.ethz.ch/2014
* MSCS Special Issue on Computable Analysis
Submission deadline: March 31, 2014
http://www.cs.swan.ac.uk/ccc2013/
* ESSLLI 2014 STUDENT SESSION
Deadline for submissions: April 1st, 2014
http://www.kr.tuwien.ac.at/drm/dehaan/stus2014/
* LATD 2014
Deadline for submission: April 6, 2014
http://www.logic.at/latd2014
* DL 2014
Paper registration deadline: April 7, 2014
Paper submission deadline: April 11, 2014
http://dl.kr.org/dl2014
* RV 2014
Abstract deadline: April 8, 2014
Full paper deadline: April 15, 2014
http://rv2014.imag.fr/
* ATVA 2014
Deadline for workshop proposal submissions: April 14, 2014
http://atva-conferences.org
* FORMATS 2014
Abstract submission: April 14, 2014
Paper submission: April 21, 2014
http://www.florence2014.org/
* CPS SUMMER SCHOOL 2014
Deadline for application: April 14, 2014
https://persyval-lab.org/en/summer-school/cps14
* HALMSTAD SUMMER SCHOOL ON TESTING 2014
Registration deadline: April 15, 2014
http://ceres.hh.se/mediawiki/index.php/HSST_2014
* HERBRAND AWARD
Nomination deadline: April 15, 2014
* QBF 2014
Paper submission: April 15, 2014
http://vsl2014.at/qbf
* SYNT 2014
Paper submission: April 15, 2014
http://vsl2014.at/synt
* TERMGRAPH 2014
Submission deadline: April 16, 2014
http://cl-informatik.uibk.ac.at/events/termgraph-2014/
* ASL 2014
Early registration deadline: April 19, 2014
http://math.colorado.edu/asl2014/
* VSTTE 2014
Abstract submission: April 19, 2014
Full paper submission: April 25, 2014
http://vsl2014.at/vstte/
* FMMB 2014
Submission deadline: April 25, 2014
http://fmmb2014.sciencesconf.org/
* WWV 2014
Abstract submission: April 25, 2014
Paper submission: May 2, 2014
http://wwv2014.isti.cnr.it/
* TCS 2014
Deadline for submission: April 27, 2014
http://www.cyprusconferences.org/tcs2014/
* LCC 2014/IMMERMAN FEST
Abstract submission (3-4 pages): May 2, 2014
http://www.cs.swansea.ac.uk/lcc2014/
* LFMTP 2014
Paper submission: May 2, 2014
http://complogic.cs.mcgill.ca/lfmtp14/
* TGC 2014
Deadline for abstract submission: May 2, 2014
Deadline for paper submission: May 9, 2014
http://www.cs.le.ac.uk/events/tgc2014/
* UITP 2014
Paper submission: May 4, 2014
http://vsl2014.at/pages/UITP-index.html
* HOPA 2014
Submission deadline: May 9, 2014
http://hopa.cs.rhul.ac.uk
* GandALF 2014
Abstract submission: May 10, 2014
Paper submission: May 25, 2014
http://gandalf2014.di.univr.it
* AISS 2014
Submission deadline: May 15, 2014
http://www.informatik.uni-bremen.de/~goeller/AISS14/Algorithmics_on_Infinite-State_Systems.html
* DCM 2014
Submission Deadline for Extended Abstracts: May 16, 2014
Submission Deadline for EPTCS Proceedings: September 15, 2014
* 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
* ICTAI 2014
Paper submission: June 30, 2014
http://ictai2014.cs.ucy.ac.cy
* JLAP Special Issue on Formal Methods
Paper submission: July 15, 2014
HERBRAND AWARD
Call for Nominations
* The Herbrand Award is given by CADE Inc. to honour a person or group for
exceptional contributions to the field of Automated Deduction. At most one
Herbrand Award will be given at each CADE or IJCAR meeting. The Herbrand
Award has been given in the past to
Larry Wos (1992)
Woody Bledsoe (1994)
Alan Robinson (1996)
Wu Wen-Tsun (1997)
Gerard Huet (1998)
Robert S. Boyer and J Strother Moore (1999)
William W. McCune (2000)
Donald W. Loveland (2001)
Mark E. Stickel (2002)
Peter B. Andrews (2003)
Harald Ganzinger (2004)
Martin Davis (2005)
Wolfgang Bibel (2006)
Alan Bundy (2007)
Edmund Clarke (2008)
Deepak Kapur (2009)
David Plaisted (2010)
Nachum Dershowitz (2011)
Melvin Fitting (2012)
Greg Nelson (2013)
* NOMINATION PROCESS
A nomination is required for consideration for the Herbrand award. The
deadline for nominations for the Herbrand Award that will be given at
IJCAR 2014 is 15th April 2014. Nominations pending from previous years
must be resubmitted in order to be considered.
Nominations should consist of a letter (preferably email) of up to 2000
words from the principal nominator, describing the nominee's contribution,
along with letters of up to 2000 words of endorsement from two other
seconders. Nominations should be sent to Maria Paola Bonacina,
President of CADE Inc. (mariapaola.bonacina (at) univr.it)
with copy to Martin Giese, Secretary of CADE Inc. and AAR
(martingi (at) ifi.uio.no).
1ST INTERNATIONAL WORKSHOP ABOUT SETS AND TOOLS (SETS 2014)
Call for Papers
June 2, 2014, Toulouse, France
Affiliated to ABZ 2014
http://sets2014.cnam.fr/
* AIMS
The workshop aims at bringing together researchers interested in set theory,
especially to design tools for dealing with set theory, such as interactive or
automated theorem provers, proof checkers, theories for general purpose proof
tools, constraint solvers, programming languages etc. These tools may be
dedicated or general purpose tools. Contributions by theoreticians working on
set theories or fragments of set theories in the aim of designing concrete
tools, and by practitioners using set-based tools are both welcome. We are
also interested by contributions providing some comparisons between set
modeling techniques and other formalisms, such as type theory (and variants)
for instance. Finally, regarding the domains of application, we mainly expect
contributions in the framework of formal methods, but not exhaustively, and
contributions reporting formalizations of mathematics using set theory for
example could be of interest for this workshop as well.
* TOPICS
Topics of interest for this workshop include all aspects of set theory and
corresponding tools. More specifically, some suggested topics are:
- Proof tools for sets
- Constraint solvers for sets
- Set-based programming languages
- Automated deduction in set theory
- Set theories for SMT solvers
- Encoding of sets in provers
- Use of set-based tools in formal methods
- Use of set-based tools in mathematics
- Comparison of set-based tools
- Comparison between set and type theories
- Experience reports
* CONTRIBUTIONS AND PROCEEDINGS
Submitted papers must be 6-15 pages in length, following the Springer LNCS
format. These submissions may be:
- Research papers providing new concepts and results
- Position papers and research perspectives
- Experience reports
- Tool presentations
Proceedings, including all the papers selected for the workshop, will be
available electronically at the workshop. No copyright transfer agreement will
be required from the authors. For this first edition of this workshop, we
would like to put the emphasis on discussions rather than on conventional
publications.
* PAPER SUBMISSION
Contributions must be submitted electronically in PDF using the SETS 2014
EasyChair web site at the following address:
https://www.easychair.org/conferences/?conf=sets2014
* IMPORTANT DATES
Abstract submission: March 3, 2014
Submission deadline: March 10, 2014
Paper notification: April 7, 2014
Revised/final paper: April 21, 2014
Workshop: June 2, 2014
* PROGRAMME CO-CHAIRS
David Delahaye (Cnam, France)
Catherine Dubois (Ensiie, France)
STUDENT FORUM AT TENTH EUROPEAN DEPENDABLE COMPUTING CONFERENCE (EDCC 2014)
Call for Papers
Newcastle upon Tyne, UK
May 13-16, 2014
http://edcc.dependability.org/
* THE FORUM
The Student Forum featured by EDCC-2014 aims at providing a discussion
forum for doctoral students. The students are encouraged to present
their work in progress, discuss novel ideas and unconventional approaches
(http://conferences.ncl.ac.uk/edcc2014/student.html).
The submitted papers should be up to three pages, including tables and figures.
All submitted papers will be evaluated by the Student Forum Program Committee.
The contribution should describe original research (not submitted or published
elsewhere), singly authored by a student, and must be formatted in accordance
to the CPS 8.5"x11" two-column camera-ready format (see
http://www.computer.org/portal/web/cscps/formatting for templates and
formatting details).The contributions must be submitted through the EasyChair
submission site (https://www.easychair.org/conferences/?conf=edccsf2014)
in the PDF format.
* PROCEEDINGS
The Proceedings of the Student Forum will be available on ACM CoRR.
By submitting to the Student Forum, you are committing yourself or one of
your colleagues to present it at the conference.
Topics of interest include, but are not limited to:
- Hardware and software architecture of dependable systems;
- Safety critical systems;
- Embedded and real-time systems; .
- Cloud computing reliability and security;
- Dependable mobile and multimedia systems;
- Fault tolerant networks and protocols;
- VLSI dependability;
- Impact of manufacturing technology on dependability;
- Dependability modelling and tools;
- Testing and validation methods;
- Characterization techniques;
- Dependability benchmarking;
- Privacy and Security of systems and networks;
- Intrusion tolerant systems;
- Critical infrastructure protection
- Fault tolerance in databases and transactional systems;
- Human factors;
- Dependability and security in business and e-commerce applications
* IMPORTANT DATES
Submission deadline: March 10, 2014
Notification: March 31, 2014
Camera ready: April 23, 2014
* STUDENT FORUM CHAIR
Elena Troubitsyna, Abo Akademi University, Finland
(Elena.Troubitsyna@abo.fi)
8TH INTERNATIONAL CONFERENCE ON TESTS AND PROOFS (TAP 2014)
http://www.tap2014.org
Co-located with STAF, York, UK, July 24-25, 2014
* SCOPE
The TAP conference is devoted to the synergy of proofs and tests,
to the application of techniques from both sides and their combination
for the advancement of software quality.
* TOPICS
Topics of interest cover theory definitions, tool constructions and
experimentations, and include (other topics related to TAP are welcome):
- Bridging the gap between concrete and symbolic techniques, e.g. using
proof search in satisfiability modulo theories solvers to enhance
various testing techniques
- Transfer of concepts from testing to proving (e.g., coverage criteria)
and from proving to testing
- Program proving with the aid of testing techniques
- Verification and testing techniques combining proofs and tests
- Generation of test data, oracles, or preambles by deductive techniques
such as: theorem proving, model checking, symbolic execution,
constraint logic programming
- Model-based testing and verification
- Generation of specifications by deduction
- Automatic bug finding
- Debugging of programs combining static and dynamic analysis
- Case studies combining tests and proofs
- Domain specific applications of testing and proving to new application
domains such as validating security protocols, vulnerability detection
of programs, security
- Testing of verification environments and reasoning engines like solvers
and theorem provers
- New approaches such as crowd-sourcing and serious games to
infer intended semantics and assess correctness
- Formal frameworks
- Tool descriptions and experience reports
* IMPORTANT DATES
Abstract submission: March 10, 2014
Paper submission: March 18, 2014
Notification: April 28, 2014
Camera ready version: May 12, 2014
TAP conference: July 24-25, 2014
* PROGRAM CHAIRS
Martina Seidl (JKU Linz/TU Wien, Austria)
Nikolai Tillmann (Microsoft Research, USA)
* SUBMISSION
Please submit your papers via easychair
https://www.easychair.org/conferences/?conf=tap2014
(submission page to be opened in due time)
TAP 2014 will accept two types of papers and also tutorials:
- Research papers: full papers with at most 16 pages in LNCS format
(pdf), which have to be original, unpublished and not submitted
elsewhere. Research papers should clearly describe the addressed
problem, the relevant state-of-the-art, the scientifically-founded
solution, and the benefits of the presented approach.
- Short contributions: work in progress, (industrial) experience
reports or tool demonstrations, position statements; an extended
abstract with at most 6 pages in LNCS format (pdf) is expected.
The same evaluation criteria apply to short papers as to full
research papers. Short papers will be reviewed to the same
standards of quality as full research papers.
- Tutorials: TAP 2014 further invites one-hour tutorial presentation
surveying the state-of-the-art of any research field related
to the topics of TAP. Tutorial proposals shall have a maximum
length of 3 pages in LNCS format (pdf) and provide information
about the content, a short outline, and information about the
speakers.
Accepted full and short papers will be published in the Springer LNCS
series and will be available at the conference. Accepted tutorials
will be assigned a slot of 60 minutes during the conference.
The contents of previous TAP proceedings is available at:
http://www.informatik.uni-trier.de/~ley/db/conf/tap/tap2013.html
7TH INTERACTION AND CONCURRENCY EXPERIENCE (ICE 2014)
June 6, 2014, Berlin, Germany
http://www.discotec.org/workshops/ice-2014
Satellite workshop of DisCoTec 2014
http://www.discotec.org
* HIGHLIGHTS
- Innovative selection procedure
- ICE welcomes submissions of full papers, short papers, and brief
announcements of already published papers
- Invited talks: Kim Larsen and Pavol Cerny
- Special issue in a highly-reputed journal
* IMPORTANT DATES
12 March 2014...................Abstract submission
15 March 2014...................Full paper submission
16 March - 15 April 2014....Reviews and PC discussion
16 April 2014......................Notification to authors
6 June 2014.......................ICE in Berlin
15 September 2014...........Camera-ready for post-proceedings
* SCOPE
Interaction and Concurrency Experiences (ICEs) is a series of international
scientific meetings oriented to theoretical computer science researchers
with special interest in models, verification, tools, and programming
primitives for complex interactions. The special focus of ICE 2014 is
automation in concurrency and interaction.
* SELECTION PROCEDURE
Since its 1st edition in 2008, the distinguishing feature of ICE has been
an innovative paper selection mechanism based on an interactive discussion
amongst authors and PC members.
During the review phase, each submission is published on a dedicated
discussion forum. The discussion forum can be accessed by the authors of
the submission and by all the PC members not in conflict with the
submission. The forum is used by reviewers to ask questions and
clarifications to the authors, allowing them to better explain all the
aspects of their submission. The evaluation of the submission will take
into account not only the reviews, but also the outcome of the discussion.
As witnessed by the past six editions of ICE, this procedure considerably
improves the accuracy of the reviews, the fairness of the selection, the
quality of camera-ready papers, and the discussion during the workshop.
* SUBMISSIONS
We invite for three types of submissions:
(1) Full Papers;
(2) Short Papers;
(3) Brief Announcements of already Published Papers.
Full and short papers will appear in the post-proceedings and must report
previously unpublished work and not be simultaneously submitted to other
conferences/workshops with refereed proceedings. The ICE 2014
post-proceedings will be published in Electronic Proceedings in Theoretical
Computer Science (http://eptcs.org/). In addition, we invite for brief
announcements of already published results, should the authors be
interested in discussing their published research with the ICE community
and giving a talk. Brief announcements will not be part of the
post-proceedings.
Submissions must be made electronically in PDF format via EasyChair (
http://www.easychair.org/conferences/?conf=ice2014). Full papers should
not exceed 15 pages in length, while short papers and brief announcements
should not exceed 5 pages with the EPTCS style (http://style.eptcs.org/).
* SPECIAL ISSIE
We plan to invite extended versions of selected full papers to a special
issue in a highly-reputed journal. Such contributions will be regularly
peer-reviewed according to the standard journal policy, but they will be
handled in a shorter time than regular submissions.
* INVITED TALKS
Kim Larsen (Aalborg University, Denmark)
Pavol Cerny (University of Colorado Boulder, USA)
* ICEcreamers
Ivan Lanese (University of Bologna/INRIA, Italy; PC chair)
Alberto Lluch Lafuente (IMT Institute for Advanced Studies Lucca, Italy)
Ana Sokolova (University of Salzburg, Austria; PC chair)
Hugo Torres Vieira (University of Lisbon, Portugal)
10TH INTERNATIONAL CONFERENCE ON ADVANCES IN MODAL LOGIC (AiML 2014)
Call for Papers
August 5-8, 2014
Groningen, The Netherlands
http://www.philos.rug.nl/AiML2014/
* SCOPE
AiML is an initiative aimed at presenting the state of the art in
modal logic and its various applications. The initiative consists
of a conference series together with volumes based on the conferences.
Information about the AiML series can be obtained at http://www.aiml.net.
AiML-2014 is the tenth conference in the series.
* TOPICS
We invite submission on all aspects of modal logic, including:
history of modal logic; philosophy of modal logic; applications of modal
logic; computational aspects of modal logic (complexity and decidability of
modal and temporal logics, modal and temporal logic programming,
model checking, model generation, theorem proving for modal logics);
theoretical aspects of modal logic (algebraic/categorical perspectives
on modal logic, coalgebraic modal logic, completeness and canonicity,
correspondence and duality theory, many-dimensional modal logics,
modal fixed point logics, model theory of modal logic, proof theory
of modal logic); specific instances and variations of modal logic (description
logics, modal logics over non-boolean bases, dynamic logics and other
process logics, epistemic and deontic logics, modal logics for agent-based
systems, modal logic and game theory, modal logic and grammar
formalisms, provability and interpretability logics, spatial and temporal
logics, hybrid logic, intuitionistic logic, substructural logics, computationally
light fragments of all such logics). Papers on related subjects will also be
considered.
* IMPORTANT DATES
Abstract of full paper submission due: 14 March 2014
Full paper submission due: 21 March 2014
Full paper notification: 2 May 2014
Short presentation submission due: 12 May 2014
Short presentation notification: 2 June 2014
12TH INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING AND FORMAL METHODS (SEFM 2014)
Grenoble, France
September 1-5, 2014
http://sefm2014.inria.fr/
* AIMS
The aim of the conference is to bring together practitioners and
researchers from academia, industry and government to advance the
state of the art in formal methods, to scale up their application in
the software industry and to encourage their integration with
practical engineering methods. Papers that apply formal methods to
software engineering are especially welcome.
* IMPORTANT DATES
Abstract Submission: March 14, 2014
Paper Submission: March 21, 2014 (AoE)
Notification: May 19, 2014
Camera Ready: June 13, 2014
* TOPICS OF INTEREST
- Formal requirement analysis, modeling, specification and design
- Abstraction and refinement
- Formal methods for probabilistic verification and synthesis
- Programming languages, program analysis and type theory
- Formal methods for self-adaptive systems, service-oriented and cloud computing
- Formal aspects of security and mobility
- Model checking, theorem proving and decision procedures
- Formal methods for real-time, hybrid and embedded systems
- Formal methods for safety-critical, fault-tolerant and secure systems
- Software architecture and coordination languages
- Software verification and validation
- Component, object and multi-agent systems
- Formal aspects of software evolution and maintenance
- Formal methods for testing, re-engineering and reuse
- Light-weight and scalable formal methods
- Tool integration
- Applications of formal methods, industrial case studies and technology transfer
- Education and formal methods
* SUBMISSION
We solicit two categories of papers:
- Research papers should describe fully developed work and should not
exceed 15 pages (including appendices). Authors of papers reporting
experimental work are strongly encouraged to make their experimental
results available to reviewers. Case study papers should describe
significant case studies and lessons learned.
- Tool papers should describe an operational tool and its
contributions. Tool papers should not exceed 6 pages. Please include
the URL of the tool (if available).
* CHAIR
Radu Mateescu - Inria Grenoble, Rhoene-Alpes, France
* PROGRAM CHAIRS
Dimitra Giannakopoulou, NASA Ames, USA
Gwen Salaun, Grenoble INP, Inria, France
14TH ANNUAL HIGH CONFIDENCE SOFTWARE AND SYSTEMS CONFERENCE (HCSS 2014)
Call for Presentations
May 6-9, 2014, Annapolis, MD
http://cps-vo.org/group/hcss_conference/cfp
* INTRODUCTION
The fourteenth annual HCSS Conference will be held May 6-9, 2014 at the
Historic Inns of Annapolis in Annapolis, Maryland. You are invited to
submit a proposal to present a talk at this year's conference. As an added
feature at the 2014 HCSS Conference, you are also invited to participate
in a poster session. See details below for more information.
* CONFERENCE SCOPE, GOALS, AND VISION
The High Confidence Software and Systems (HCSS) Conference, now in its
second decade, draws together researchers, practitioners, and management
leaders from government, universities, and industry. The conference provides
a forum for dialogue centered upon the development of scientific foundations
for the assured engineering of software-intensive complex computing systems
and the transition of science into practice. The technical emphasis of the
HCSS conference is on mathematically-based tools and techniques, scientific
foundations supporting evidence creation, systems assurance, and security.
The HCSS vision is one of engaging and growing a community—including
researchers and skilled practitioners—that is focused around the creation
of dependable systems that are capable, efficient, and responsive; that can
work in dangerous or inaccessible environments; that can support large-scale,
distributed coordination; that augment human capabilities; that can advance
the mission of national security; and that enhance quality of life, safety,
and security.
* CONFERENCE THEMES
The 2014 HCSS Conference week will highlight daily themes on the following
topics:
- Requirements and Specifications
- Reasoning about control
- Mobility
In each of the primary themes above, HCSS seeks to emphasize the following
cross-cutting themes.
- Designed-In Security
- Economic Incentives for Cybersecurity
* Detailed information can be found on the webpage.
* IMPORTANT DATES
Abstract submission due: 20 Mar 2014;
Notification 20 Mar 2014;
Camera-Ready Abstract 16 Apr 2014;
Poster Files Due 25 Apr 2014
* PLANNING COMMITTEE
Co-Chairs: Byron Cook (Microsoft Research), John Hatcliff (Kansas State
University)
Steering Group: Kathleen Fisher (DARPA), John Launchbury (Galois),
Brad Martin (NSA), Ray Richards (Rockwell Collins), Bill Scherlis (CMU)
Organizer: Katie Dey (Vanderbilt University)
Sponsor Agency: National Security Agency
14TH INTERNATIONAL SCHOOL ON FORMAL METHODS FOR THE DESIGN OF COMPUTER, COMMUNICATION AND SOFTWARE SYSTEMS: EXECUTABLE SOFTWARE MODELS (SFM-14: ESM)
Call for Participation
Bertinoro (Italy), 16-20 June 2014
http://www.sti.uniurb.it/events/sfm14esm/
* GENERAL INFORMATION ABOUT SFM
Formal methods are emerging in computer science as a prominent
approach to the rigorous design of computer, communication and
software systems. The aim of the SFM series is to offer a good spectrum of
current research in foundations as well as applications of
formal methods, which can be of interest for graduate students
and young researchers who intend to approach the field.
This year SFM is devoted to executable software models and covers
topics such as variability models, automated analysis techniques,
deductive verification, and run-time assessment and testing.
* COURSES AND LECTURERS
- "Design and Analysis of Executable Software Models: an Introduction and Overview"
Reiner Haehnle (TU Darmstadt, DE)
- "Variability Models"
Dave Clarke (KU Leuven, BE)
- "Deadlock Analysis"
Cosimo Laneve (U Bologna, IT)
- "Probabilistic Modeling and Model Checking"
Erika Abraham (RWTH Aachen, DE)
- "Model Checking of Fault-Tolerant Distributed Algorithms"
Helmuth Veith (TU Vienna, AT)
- "Reasoning about Recursive Predicates in Specifications"
Sophia Drossopoulou (Imperial College London, UK)
- "Verification of Concurrent Systems"
Marieke Huisman (U Twente, NL)
- "Run-Time Analysis"
Frank de Boer (CWI Amsterdam, NL)
- "Test-Case Generation"
Elvira Albert (U Complutense Madrid, ES)
- "Model-Based Testing"
Ina Schaefer (TU Braunschweig, DE)
All participants will receive a copy of a tutorial book published by
Springer as a volume in the Lecture Notes in Computer Science series.
* ORGANIZATION
Scientific directors:
- Marco Bernardo (U Urbino, IT)
- Ferruccio Damiani (U Torino, IT)
- Reiner Haehnle (TU Darmstadt, DE)
- Einar Broch Johnsen (U Oslo, NO)
- Ina Schaefer (TU Braunschweig, DE)
* SECRETARY
- Monica Michelacci (CRU Bertinoro, IT)
* APPLICATION
Prospective participants should send by 21 March 2014 the application form,
available on the school website, to the two e-mail addresses below:
Marco Bernardo (marco.bernardo AT uniurb.it) and Monica Michelacci
(mmichelacci AT ceub.it). A very limited number of grants is available to
cover part of the registration fee (no grant can be requested to cover
the accommodation fee or the travel expenses). Notification of
accepted/rejected applications and grant requests will be communicated by
April 10. Registration to the school is due by April 20.
21ST RCRA WORKSHOP: EXPERIMENTAL EVALUATION OF ALGORITHMS FOR SOLVING PROBLEMS WITH COMBINATORIAL EXPLOSION
Call for papers
A FLoC workshop at the Vienna Summer of Logic (VSL 2014)
Affiliated with SAT 2014, ICLP 2014, IJCAR 2014
Vienna, Austria, July 17-18, 2014
RCRA group web site: http://rcra.aixia.it/
Workshop web site: http://rcra.aixia.it/rcra2014
e-mail: rcra2014@gmail.com
* GENERAL
The RCRA workshops are organized by the RCRA (Knowledge Representation
& Automated Reasoning) group of the Italian Association for Artificial
Intelligence.
RCRA 2014 is a FLoC workshop affiliated with SAT 2014, ICLP 2014, IJCAR 2014.
It will be held in the Workshop Block 2 ( see http://vsl2014.at/ataglance )
after SAT 2014 and before ICLP2014 and IJCAR2014.
As in previous editions (http://rcra.aixia.it/publications), authors of
papers orally presented at the workshop will have the opportunity to
participate to the selection of a special issue that will appear on an
international journal.
* IMPORTANT DATES
Submission deadline for abstracts: March 25, 2014
Submission deadline for papers: April 1, 2014
Acceptance/reject notification: May 1, 2014
Camera-ready papers due: May 20, 2014
RCRA 2014: July 17-18, 2014
* AIMS AND SCOPE
Many problems in Artificial Intelligence show an exponential explosion of the
search space. Although stemming from different research areas in AI, such
problems are often addressed with algorithms that have a common goal: the
effective exploration of huge state spaces. Many algorithms developed in one
research area are applicable to other problems, or can be hybridized with
techniques in other areas. Artificial Intelligence tools often exploit or
hybridize techniques developed by other research communities, such as
Operations Research.
* SCOPE
Scope of the workshop is fostering the cross-fertilization of ideas stemming
from different areas, proposing benchmarks for new challenging problems,
comparing models and algorithms from an experimental viewpoint, and, in
general, comparing different approaches with respect to efficiency, problem
modeling, and ease of development. Topics of interest include, but are not
limited to:
- Experimental evaluation of algorithms
- Definition and construction of benchmarks
- Experimentation methodologies
- Metaheuristics
- Algorithm hybridization
- Static analysis of combinatorial problems
- Languages and systems for definition and solution of problems
- Comparisons between systems and algorithms
- Application experiences
* WORKSHOP CHAIRS
- Toni Mancini Sapienza University, Rome, Italy
- Marco Maratea University of Genova, Genova, Italy
- Francesco Ricca University of Calabria, Rende, Italy
7TH WORKSHOP ON INTERSECTION TYPE AND RELATE SYSTEMS (ITRS 2014)
Call for Papers
at the Vienna Summer of Logic 2014
http://vsl2014.at/itrs/
Deadline: March 31st, 2014
* GENERAL
ITRS 2014 (the Seventh Workshop on Intersection Types and Related
Systems) will be affiliated with TLCA (Typed Lambda Calculi and
Applications, to be held jointly with RTA) as part of FLoC 2014 (the
Sixth Federated Logic Conference) and will take place in Vienna on July
18th 2014. FLoC 2014 will be part of the Vienna Summer of Logic (VSL),
the largest logic event in history, with over 2000 expected participants.
FLoC 2014 will host eight conferences and many workshops.
ITRS 2014 workshop aims to bring together researchers working on both
the theory and practical applications of systems based on intersection
types and related approaches.
* SUBMISSION AND PUBLICATION
(1) Before the workshop, authors are invited to submit an extended
abstract (max. 10 pages) in PDF format.
(2) Accepted papers will be included on the general VSL'14 Proceedings
USB-stick
(3) After the workshop, authors of accepted papers will be invited to
submit full versions (we foresee inclusion in EPTCS).
* TOPICS
Possible topics for submitted papers include, but are not limited to:
- Formal properties of systems with intersection types.
- Results for related systems, such as union types, refinement types, or
singleton types.
- Applications to lambda calculus and similar systems.
- Applications to pi-calculus and similar systems.
- Applications for programming languages.
- Applications for other areas, such as database query languages and
program extraction from proofs.
- Related approaches using behavioural/intensional types to characterize
computational properties.
* DATES
Abstract submission: 28.03.2014
Paper submission: 31.03.2014
Author notification: 28.04.2014
Final version: 29.05.2014
* PROGRAM CHAIR
Jakob Rehof (Technical University of Dortmund) - chair
5TH ANSWER SET PROGRAMMING COMPETITION 2014
Call for Participant Systems
Aalto University, University of Calabria, University of Genova
Spring/Summer 2014
Special edition of the ASP competition series -system track- part of
the Olympic Games of the Vienna Summer of Logic 2014
http://aspcomp2014.mat.unical.it/
aspcomp2014@mat.unical.it
* AIMS
Answer Set Programming (ASP) is a well-established paradigm of
declarative programming with close relationship to other declarative
modeling paradigms and languages, such as SAT Modulo Theories,
Constraint Handling Rules, FO(.), PDDL, CASC, and many others.
The ASP Competition is usually a biannual event for evaluating
declarative knowledge representation systems on hard and demanding AI
problems. Past ASP Competition editions were held at the University of
Potsdam (Germany) in 2007, the University of Leuven (Belgium) in 2009,
the University of Calabria (Italy) in 2011 and the Vienna University of
Technology (Austria) in 2013.
* CHANGES
In order to join the Vienna Summer of Logic, which is expected to be
the largest event in the history of logic, we this year depart from the
"usual" timeline, and the 5th ASP Competition will be run in the first
half of 2014 jointly at Aalto University (Finland), the University of
Calabria (Italy) and the University of Genova (Italy). Another reason
for having an event only one year after the 4th ASP Competition is that
in 2013 the new ASP-Core-2 language was introduced, but at that time it
was not fully supported by most participant solvers, and/or the
submitters did not have sufficient time to support new language
features in a completely satisfactory way. Thus, an early event can
be an opportunity to push the usage of the new standard, and draw a
more complete picture about the approaches that can efficiently solve
problems with various features.
Participants of the Answer Set Programming Competition will compete on
a selected collection of benchmark problems, taken from a variety of
benchmark problem domains as well as real-world applications.
We welcome the submission of parallel and portfolio systems exploiting
multiple cores or multiple algorithms for solving the given instances.
These solvers will have dedicated tracks, assuming a sufficient number
of submissions in each track. Of course, we also welcome the
submission of any kind of solvers, e.g., SAT solvers, SMT solvers, CP
systems, FOL theorem provers, Description Logics reasoners, Planning
reasoners, or any other that can be adapted/applied to the evaluation
of logic programs encoded in ASP-Core-2.
* IMPORTANT DATES
- March 1st, 2014 : Participant registration opens
- March 31st, 2014: The competition starts
- July 22nd, 2014 : Awards are presented at FLoC
LASER SUMMER SCHOOL ON SOFTWARE ENGINEERING (LASER 2014)
Call for Participation
Leading-Edge Software Engineering
September 7-13, 2014 - Elba Island, Italy
http://laser.inf.ethz.ch/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)
* HOW TO APPLY
Use the online registration form available on the LASER website
http://laser.inf.ethz.ch/2014. Registration is open until March 31,
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
MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE SPECIAL ISSUE ON COMPUTABLE ANALYSIS
Third Call for Submissions
http://www.cs.swan.ac.uk/ccc2013/
* GUEST EDITORS
Hajime Ishihara (JAIST, Japan)
Margarita Korovina (Novosibirsk, Russia)
Arno Pauly (Cambridge, UK)
Monika Seisenberger (Swansea, UK)
Dieter Spreen (Siegen, Germany, and Pretoria, South Africa)
* DATES
Extended deadline: March 31, 2014
* GENERAL
After a year of successful work in the EU-IRSES project COMPUTAL
(http://computal.uni-trier.de) and an excellent workshop "Continuity,
Computability, Constructivity: From Logic to Algorithms (CCC 2013)"
in Gregynog (Wales) in June last year, we are planning to publish a special
issue of MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE. The special issue
should reflect progress made in Computable Analysis and related areas and
is open for everyone.
* TOPICS
Computable analysis
Complexity of real number computations
Computing with continuous data
Domain theory and analysis
Randomness and computable measure theory
Models of computation with real numbers
Realizability theory and analysis
Reverse analysis
Exact real number computation
Program extraction in analysis
* SUBMISSIONS
We want to split the submission process into two parts: Please, first submit
an abstract of your paper and then later the full paper. Submit both the
abstract as well as the full manuscript to
https://www.easychair.org/conferences/?conf=ccc2013mscspostproce
Papers will be processed according to high MSCS standards as soon as
they are submitted. All papers must be original, unpublished, and not
submitted for publication elsewhere. Please prepare your manuscript using
the MSCS style file which can be downloaded from ftp.cup.cam.ac.uk
* ADDITIONAL INFORMATION
Please email inquiries to spreen@informatik.uni-siegen.de
ESSLLI 2014 STUDENT SESSION
Call for Papers
http://www.kr.tuwien.ac.at/drm/dehaan/stus2014/
Tuebingen, Germany, August 11-22, 2014
* ABOUT
The Student Session of the 26th European Summer School in Logic, Language,
and Information (ESSLLI) will take place in Tübingen, Germany, on August
11-22, 2014. We invite submissions of original, unpublished work from
students in any area at the intersection of Logic & Language, Language &
Computation, or Logic & Computation. Submissions will be reviewed by
several experts in the field, and accepted papers will be presented orally
or as posters and will appear in the student session proceedings. This is
an excellent opportunity to receive valuable feedback from expert readers
and to present your work to a diverse audience.
* SEPARATE POSTER SESSION
Note that there are two separate kinds of submissions, one for the oral
presentations and one for the posters. This means that papers can be
directly submitted as posters. Reviewing and ranking will be done
separately. We particularly encourage submissions for posters, as they
offer an excellent opportunity to present research in progress.
More detailed guidelines and policies regarding submission can be found on
the Student Session website: http://www.kr.tuwien.ac.at/drm/dehaan/stus2014/
Please direct inquiries about submission procedures or other matters
relating to the Student Session to: dehaan@kr.tuwien.ac.at.
For general inquiries about ESSLLI 2014, please consult the main ESSLLI
2014 page: http://www.esslli2014.info/.
* IMPORTANT DATES
Submission deadline: April 1, 2014
Notification of acceptance: June 1, 2014
Submission of camera-ready papers: July 1, 2014
Conference dates: August 11-22, 2014
* CHAIRS
Ronald de Haan (Technische Universitaet Wien, Austria)
LoCo co-chairs:
Zoe Christoff (Universiteit van Amsterdam, the Netherlands)
Aybuke Ozgun (Universite de Lorraine, France)
LoLa co-chairs:
Philip Schulz (Universiteit van Amsterdam, the Netherlands)
Thomas Brochhagen (Universitaet Duesseldorf, Germany)
LaCo co-chairs:
Miriam Kaeshammer (Universitaet Duesseldorf, Germany)
Ramon Ziai (Universitaet Tuebingen, Germany)
LOGIC ALGEBRA AND TRUTH DEGREES (LATD 2014)
Call for papers
July 16 - 19, Vienna, Austria
http://www.logic.at/latd2014
* GENERAL
Logic, Algebra and Truth Degrees is the fourth official meeting
of the EUSFLAT Working Group on Mathematical Fuzzy Logic.
Mathematical Fuzzy Logic is the sub-discipline of Mathematical
Logic that is concerned with the notion of comparative truth.
The assumption that "truth comes in degrees" has proved to be
very useful in many theoretical and applied areas of Mathematics,
Computer Science, and Philosophy.
* FEATURED TOPICS
- Proof theory and computational complexity
- Algebraic semantics and abstract algebraic logic
- First, higher-order and modal formalisms
- Applications and foundational issues
- Geometric and game theoretic aspects
We particularly welcome contributions on many-valued and
related logical systems.
* INVITED SPEAKERS
- Silvio Ghilardi, Italy
- Melvin Fitting, USA
- George Metcalfe, Switzerland
- Dale Miller, France
- Dana Scott, USA
- Alasdair Urquhart, Canada
* TUTORIALS
- Franz Baader, Germany
- Vincenzo Marra, Italy
* PROGRAMME CHAIRS
- Matthias Baaz (Chair), Austria
- Agata Ciabattoni (Co-Chair), Austria
* CONTRIBUTED TALKS
Abstracts of contributed talks, 2-4 pages, are to be prepared
using the ASL abstract template and submitted via Easychair.
The accepted abstracts will be available on-line and published
in the joint volume of abstracts with the Logic Colloquium.
* IMPORTANT DATES
- Deadline for submission: 6th April 2014
- Notification of acceptance: 10th May 2014
* CONTACT
latd2014@logic.at
27TH INTERNATIONAL WORKSHOP ON DESCRIPTION LOGICS (DL 2014)
Call for Papers
July 17-20, 2014, Vienna, Austria
http://dl.kr.org/dl2014
* The DL workshop is the major annual event of the description logic research
community. It is the forum at which those interested in description logics,
both from academia and industry, meet to discuss ideas, share information and
compare experiences. This year the DL workshop is part of the Vienna Summer
of Logic (http://vsl2014.at/), a vast event comprising several major logic
conferences and workshops. In particular, DL 2014 is co-located with the
International Conference on Principles of Knowledge Representation and
Reasoning (KR) and will share a joint session with the International Workshop
on Non-Monotonic Reasoning (NMR).
* WORKSHOP SCOPE
We invite contributions on all aspects of description logics, including but
not limited to:
- Foundations of description logics: decidability and complexity of reasoning,
expressive power, novel inference problems, inconsistency-tolerance,
reasoning techniques, and modularity aspects
- Extensions of description logics: closed-world and nonmonotonic reasoning,
defaults, epistemic reasoning, temporal and spatial reasoning, procedural
knowledge, and query languages
- Integration of description logics with other formalisms: object-oriented
representation languages, database query languages, constraint-based
programming, logic programming, and rule-based systems
- Applications and use areas of description logics: ontology engineering,
ontology languages, databases, ontology-based data access, semi-structured
data, document management, natural language, learning, planning, Semantic
Web, cloud computing
- Systems and tools around description logics: reasoners, software tools
for and using description logic reasoning (e.g. ontology editors, database
schema design, query optimization, and data integration tools),
implementation and optimization techniques, benchmarking, evaluation, modelling
* INVITED SPEAKERS
- Michael Benedikt, University of Oxford, UK
- Patrick Blackburn, University of Roskilde, Denmark
- Alon Y. Halevy, Google, USA
* IMPORTANT DATES
- Paper registration deadline: April 7, 2014
- Paper submission deadline: April 11, 2014
- Acceptance notification: May 26, 2014
- Camera-ready copies: June 15, 2014
* SUBMISSION INFORMATION
Submissions may be either papers of up to 11 pages (excluding references)
or extended abstracts of at most 3 pages (excluding references) and must be
formatted in Springer LNCS style. A clearly marked appendix (e.g., with
additional proofs or evaluation data) may optionally be appended. Accepted
contributions will be made available electronically in the CEUR Workshop
Proceedings series. Further information and detailed submission
instructions can be found on the workshop website.
* GENERAL CHAIRS
- Magdalena Ortiz, Vienna University of Technology, Austria
- Mantas Simkus, Vienna University of Technology, Austria
* PC CHAIRS
- Meghyn Bienvenu, CNRS & University of Paris-Sud, France
- Riccardo Rosati, Sapienza University of Rome, Italy
14TH INTERNATIONAL CONFERENCE ON RUNTIME VERIFICATION (RV 2014)
Call for Papers
September 22-25, 2014
Toronto, Canada
http://rv2014.imag.fr/
* SCOPE
Runtime verification is concerned with monitoring and analysis of software
and hardware system executions. Runtime verification techniques are crucial
for system correctness, reliability, and robustness; they are significantly
more powerful and versatile than conventional testing, and more practical
than exhaustive formal verification. Runtime verification can be used prior
to deployment, for testing, verification, and debugging purposes, and after
deployment for ensuring reliability, safety, and security and for providing
fault containment and recovery as well as online system repair.
* TECHNICAL RESEARCH PAPERS TRACK
Technical research papers can be submitted in two categories: regular and
short papers.
- Regular papers (up to 15 pages) should present original unpublished results.
Theoretical and experimental papers as well as papers on applications of
runtime verification and case studies are all welcome. A non-monetary Best
Paper Award will be given. A selection of accepted regular papers will be
invited to appear in a special issue of the Springer Journal on Formal
Methods in System Design.
- Short papers (up to 5 pages) may present novel but not necessarily
thoroughly worked out ideas, for example emerging runtime verification
techniques and applications, or techniques and applications that establish
relationships between runtime verification and other domains. Accepted
short papers will be presented in special short talk (10 minutes) and
poster sessions.
* TOOL DEMONSTRATION TRACK
The aim of the RV 2014 tool demonstration track is to provide an opportunity
for researchers and practitioners to show and to discuss the latest advances,
experiences and challenges in devising and developing reliable software
tools for runtime verification. Tool papers should meet the following criteria:
A tool paper should present a new tool, a new tool component or novel
extensions to existing tools supporting runtime verification. Each submission
should be original and not published previously in a tool paper form.
Each submission must not exceed 8 pages in the LNCS/Springer proceeding
format, including all text, references and figures. The paper must be written
in English and provided in PDF format.
Each submission must be accompanied at the time of the submission by a short
screencast (between 5-10 minutes), with voice and overlay text commentary
illustrating the demonstration of the tool (a link to it should be provided
in the paper).
* IMPORTANT DATES
Abstract deadline: April 8, 2014
Full paper deadline: April 15, 2014
Rebuttal phase: May 18-20, 2014
Acceptance notification: June 10, 2014
Camera ready submission: June 25, 2014
Conference dates: 22-25 September, 2014
12TH INTERNATIONAL SYMPOSIUM ON AUTOMATED TECHNOLOGY FOR VERIFICATION AND ANALYSIS (ATVA 2014)
Call for Workshop Proposals
November 3-7, 2014, Sydney, Australia
http://atva-conferences.org
* GOALS
The 12th International Symposium on Automated Technology for
Verification and Analysis (ATVA) invites proposals for pre-
and postconference workshops to be held on November 3 (pre)
or November 7 (post). The ATVA conference series covers the
spectrum from theoretical results to practical applications
of automated analysis, verification and synthesis.
Proposals that promise to bring new topics to ATVA, of either
practical or theoretical importance, or to provide a forum for more
detailed discussion on central topics of continuing importance
are highly welcome. Proposals that explore the application of
automated tools to real-world problems are especially encouraged.
Workshop proposals are limited to 2 pages, and should provide at
least the following information:
- Title
- Description of the workshop topic and goals
(Why do you believe this is an interesting and significant topic?)
- Intended audience
(From which areas do you expect potential participants to
come? How many participants do you expect?)
- Relevance and relation of the workshop to the main conference
- Organisation of the workshop
(Describe the intended format (e.g. paper selection process),
its expected duration (full day or half day) and its preferred
date (November 3rd or November 7th)
- Organisers' details
(Provide affiliations, backgrounds and contact details of
organisers and potential committee members)
Proposals should be sent as PDF to the workshop chair Peter Hoefner
(peter.hoefner@nicta.com.au).
* IMPORTANT DATES
Deadline for proposal submissions: April 14, 2014
Acceptance/rejection notification: May 19, 2014
Workshop Date: November 3rd and 7th
12TH INTERNATIONAL CONFERENCES ON FORMAL MODELING AND ANALYSIS OF TIMED SYSTEMS (FORMATS 2014)
Preliminary Call for Papers
September 8-10, 2014
http://www.florence2014.org/
* TOPICS
The aim of FORMATS is to promote the study of fundamental and
practical aspects of timed systems, and to bring together researchers
from different disciplines that share interests in modelling and
analysis of timed systems. Typical topics include (but are not limited
to):
- Foundations and Semantics: Theoretical foundations of timed systems
and languages; comparison between different models (timed automata,
timed Petri nets, hybrid automata, timed process algebra, max-plus
algebra, probabilistic models).
- Methods and Tools: Techniques, algorithms, data structures, and
software tools for analyzing timed systems and resolving temporal
constraints (scheduling, worst-case execution time analysis,
optimization, model checking, testing, constraint solving, etc.).
- Applications: Adaptation and specialization of timing technology in
application domains in which timing plays an important role
(real-time software, hardware circuits, and problems of scheduling
in manufacturing and telecommunication).
* SUBMISSION
FORMATS 2014 solicits high-quality papers reporting research results
and/or experience reports related to the topics mentioned
above. Submitted papers must contain original, unpublished
contributions, not submitted for publication elsewhere. The papers
should be submitted electronically in PDF, following the Springer LNCS
style guidelines. Submissions should not exceed 15 pages in length.
Papers should be submitted electronically via EasyChair online
submission system:
https://www.easychair.org/account/signin.cgi?conf=formats2014
The proceedings of FORMATS 2014 will be published by Springer in the
Lecture Notes in Computer Science series.
* IMPORTANT DATES
- Abstract submission: April 14, 2014
- Paper submission: April 21, 2014
- Notification of acceptance: June 9, 2014
- Final version due: June 23, 2014
- Conference: September 8-10, 2014
* PROGRAM CHAIRS
Marius Bozga (VERIMAG / CNRS, Grenoble, France)
Axel Legay (IRISA / INRIA Rennes, France)
* VENUE
FORMATS 2014 will take place in Florence, Italy as part of FLORENCE
2014, a one-week scientific event on formal and quantitative methods
for the development of dependable and performing systems:
http://www.florence2014.org/
It will be held in Florence during the week 8-12 September 2014, and
it will co-locate five major conferences in the areas of formal and
quantitative analysis of systems, performance engineering, computer
safety, and industrial critical applications.
All the conferences will take place at the Aeronautical Sciences
School of the Italian Air Force, inside the monumental and historical
park of Cascine in the city of Florence.
* COLOCATED EVENTS
- QEST: International Conference on Quantitative Evaluation of SysTems
- SAFECOMP: International Conference on Computer Safety, Reliability and
Security
- EPEW: European Workshop on Performance Engineering
- FMICS: International Workshop on Formal Methods for Industrial
Critical Systems
SECOND SUMMER SCHOOL ON CYBER-PHYSICAL SYSTEMS (CPS 2014)
Call for Applications
July 7-10, 2014
Grenoble, France
https://persyval-lab.org/en/summer-school/cps14
* SCOPE
PERSYVAL-Lab and NASA-JPL are organizing the second edition of the CPS
Summer School. The broad objective of the CPS Summer School is to explore
the manifold relationship between networked embedded systems (« the internet
of things ») and humans as their creators, users, and subjects. The format
of the Summer School is a five days meeting, organized around different
aspects of rigorous engineering of Cyber-Physical Systems. Students
participating at this summer school will learn the current state of the art
in modeling, monitoring, and learning. Students will be able to apply new
techniques coming from various communities and backgrounds to their own
domain. The CPS Summer School will be held at Grenoble University.
Courses will be given in English by experts from industry and academia
working in various fields of CPS.
* TOPICS
- System modeling.
- Monitoring.
- Learning.
- Medical devices.
- Sensor networks.
* SPEAKERS
- Eric Bodden (TU Darmstadt and EC SPRIDE, Germany).
- Olivier Coutelou (Schneider Electric, France).
- Radu Grosu (Technical Univesity Wien, Austria).
- Klaus Havelund (NASA JPL, USA).
- Kim G. Larsen (Aalborg University, Denmark).
- Martin Leucker (University of Lübeck, Germany).
- Roberto Passerone (Universita' degli Studi di Trento, Italy).
- Grigore Rosu (University of Illinois at Urbana Champaign, USA).
- Mohamad Sawan (Ecole Polytechnique de Montréal, Canada).
- Bernhard Steffen (Technical University Dortmund, Germany).
- Andreas Zeller (Saarland University, Germany).
* ORGANIZATION
- Saddek Bensalem - University of Grenoble, France.
- Ylies Falcone - University of Grenoble, France.
- Klaus Havelund - NASA JPL, USA.
* IMPORTANT DATES
- Deadline for Application: April 14, 2014.
- Response to Applicants: April 21, 2014.
- Online Registration and Fee payment: May 10, 2014.
- Summer school on CPS: July 7-11, 2014.
Applications can be submitted at
https://persyval-calls.imag.fr/en/project/10.
Enquiries can be sent to cps-school.organization@imag.fr
4TH HALMSTAD SUMMER SCHOOL ON TESTING (HSST 2014)
Call for Participation
Halmstad University, Sweden
June 9 - June 12, 2014
http://ceres.hh.se/mediawiki/index.php/HSST_2014
* TOPIC
Software testing accounts for a major part of software development cost and
effort, yet the current practice of software testing is often
insufficiently structured and disciplined. There have been various attempts
in the past decades to bring more rigour and structure into this field,
resulting in several industrial-strength processes, techniques and tools
for different levels of testing. The 4th Halmstad Summer School on Testing
provides an overview of the state of the art in testing, including theory,
industrial cases, tools and hands-on tutorials by internationally-renowned
researchers.
* TUTORIALS
- Automated Test Generation via Satisfiability Modulo Theory Solvers (Thomas
Ball, Microsoft Research)
- Model-Based Testing, the Difference between Theory and Practice (Machiel
van der Bijl, Axini BV)
- Improved Testing of Multithreaded Programs with Dynamic Symbolic Execution
(Keijo Heljanko, Aalto University)
- Property-based testing with QuickCheck (John Hughes, QuviQ and Chalmers)
- Testing and Verifying Software Properties with ACL2 and ProofPad (Rex Page,
University of Oklahoma)
- Practical Model-Based Testing With Papyrus and RT-Tester (Jan Peleska,
Verified International GMBH and Bremen University)
- Model-Based Testing - There is Nothing More Practical than a Good Theory
(Jan Tretmans, Radboud University Nijmegen and TNO - ESI)
* REGISTRATION
The registration deadline is April 15, 2014.
To apply to the summer school, please send an email to
Veronica.Gaspes@hh.se with "Halmstad Summer School on Testing" in the title.
* ORGANIZERS
Veronica Gaspes (Organization Chair, veronica.gaspes@hh.se)
Mohammad Mousavi (Program Co-Chair, m.r.mousavi@hh.se)
Eva Nestius (Local Organization)
Walid Taha (Program Co-Chair, walid.taha@hh.se)
2ND INTERNATIONAL WORKSHOP ON QUANTIFIED BOOLEAN FORMULAS (QBF 2014)
Call for Papers
July 13, 2014
Vienna, Austria
http://vsl2014.at/qbf
Vienna Summer of Logic 2014 (http://vsl2014.at/)
* AIMS
The goal of the Second International Workshop on Quantified Boolean Formulas
(QBF 2014) is to bring together researchers working on theoretical and
practical aspects of QBF solving and applications. The workshop is
affiliated to and co-located with the SAT conference 2014, July 14-17,
2014. The workshop will include a presentation of the QBF Gallery 2014, a
competitive evaluation of QBF solvers and related tools:
http://qbf.satisfiability.org/gallery/
* IMPORTANT DATES
- April 15 2014: submission of extended abstracts (max. four pages)
- April 30 2014: notification of acceptance
- July 13 2014: workshop
* Topics of interest (not limited to the following): QBF applications;
encodings; benchmarks; certificates; proofs; proof formats; proof checkers;
decision procedures; QBF solving; implementation details; structural QBF
solving; heuristics; preprocessing;
* Please see the workshop website for further information:
http://vsl2014.at/qbf
3RD WORKSHOP ON SYNTHESIS (SYNT 2014)
Call for Papers
July 23-24, 2014
Vienna, Austria (a satellite event of CAV 2014 in the scope of the
Vienna Summer of Logic)
http://vsl2014.at/synt
* SCOPE AND TOPIC
The idea of synthesis, i.e., the process of automatically computing
implementations from their specifications, has recently gained a lot
of momentum in the contexts of software engineering and reactive
system design. While it is widely believed that, due to complexity/
undecidability issues, synthesis cannot completely replace manual
engineering, it can assist the process of designing the intricate
pieces of code that most programmers find challenging, or help with
orchestrating tasks in reactive environments.
This workshop aims at bringing together and providing an open platform
for researchers interested in synthesis. Research on synthesis exists
well alongside conferences on formal methods and verification, such
as CAV, which aim at improving the reliability of systems. Driven by
the vast potential for practical applications of synthesis, we aim at
fostering scientific exchange not only within the areas of software
and reactive synthesis, but also between them.
* IMPORTANT DATES
- Paper submission: April 15, 2014
- Notification: June 3, 2014
* SUBMISSION
Authors are invited to submit
- regular papers (max. 15 pages in EPTCS style, excluding references),
- tool papers (max. 7 pages in EPTCS style, excluding references).
Submitted regular and tool papers must be original and unpublished.
Papers accepted for presentation at the workshop will appear in the
Electronic Proceedings in Theoretical Computer Science series. Given
sufficient interest, extended versions of selected papers will appear
in a special issue of the journal Acta Informatica.
8TH INTERNATIONAL WORKSHOP ON COMPUTING WITH TERMS AND GRAPHS (TERMGRAPH 2014)
First Call for Papers
July 13, 2014, Vienna
(affiliated with RTA-TLCA as part of FLoC)
http://cl-informatik.uibk.ac.at/events/termgraph-2014/
* DATES
submission: April 16, 2014
notification: May 16, 2014
final version: May 28, 2014
workshop: July 13, 2014
* SCOPE
Research in term and graph rewriting ranges from theoretical questions
to practical issues. Computing with graphs handles the sharing of common
subexpressions in a natural and seamless way, and improves the efficiency
of computations in space and time. Sharing is ubiquitous in several
research areas, for instance: the modelling of first- and higher-order
term rewriting by (acyclic or cyclic) graph rewriting, the modelling of
biological or chemical abstract machines, the implementation techniques
of programming languages: many implementations of functional, logic,
object-oriented, concurrent and mobile calculi are based on term graphs.
Term graphs are also used in automated theorem proving and symbolic
computation systems working on shared structures. The aim of this workshop
is to bring together researchers working in different domains on term and
graph transformation and to foster their interaction, to provide a forum
for presenting new ideas and work in progress, and to enable newcomers
to learn about current activities in term graph rewriting.
* TOPICS
Topics of interest include all aspects of term graphs and sharing of
common subexpressions in rewriting, programming, automated reasoning
and symbolic computation. This includes (but is not limited to):
- graph transformation
- graph-based implementations of lambda-calculus
- representation of concurrent systems
- models of computation
- graph-based languages
- semantics and implementation of programming languages
- compiler construction
- interaction nets and proof nets
- pattern recognition
- bioinformatics
- system descriptions
* SUBMISSION
There are two categories of submissions:
(1) Extended abstracts describing new results, work in progress, or problems.
(2) Short versions of articles recently published or submitted elsewhere.
Papers in the second category are not considered for the post-workshop
proceedings. The page limit for submissions in both categories is 5 pages
in EPTCS style. Submissions should be marked with the category (either 1 or 2)
and submitted electronically in PDF via the EasyChair submission site:
http://www.easychair.org/conferences/?conf=TERMGRAPH2014
Papers will be judged on relevance, originality, correctness, and usefulness.
The proceedings of TERMGRAPH 2014 will be included on the FLoC USB flash
drive. Post-workshop proceedings of full versions of selected (category 1)
contributions will be published as a volume of EPTCS.
* PC CHAIRS
Aart Middeldorp University of Innsbruck (co-chair)
Femke van Raamsdonk VU University Amsterdam (co-chair)
ASSOCIATION FOR SYMBOLIC LOGIC, 2014 NORTH AMERICAN ANNUAL MEETING (ASL 2014)
Call for Participation
May 19-22, 2014, Boulder, Colorado, USA
http://math.colorado.edu/asl2014/
* INVITED SPEAKERS
Libor Barto (Charles Univ., Prague), Barbara Csima (Univ. Waterloo),
Valeria De Paiva (Univ. Birmingham), Jeff Hirst (Appalachian
State Univ.), Michael Hrusak (U. N. A. Mexico), Alexei Kolesnikov
(Towson Univ.), Andrew Marks (Caltech), Chris Laskowski (Univ. Maryland),
Sean Walsh (Univ. California, Irvine)
* SPECIAL SESSIONS
(1) Higher-order computation: semantics and algorithmics.
(2) Model theory.
(3) Philosophical aspects of games and social algorithms.
(4) Recursion theory.
(5) Set theory in honor of Rich Laver.
(6) Universal algebra and constraint satisfaction.
* DETAILS
Detailed information can be found on the webpage.
6TH WORKING CONFERENCE ON VERIFIED SOFTWARE: THEORIES, TOOLS AND EXPERIMENTS (VSTTE 2014)
July 17-18, 2014
Vienna, Austria
http://vsl2014.at/vstte/
Co-located with the Vienna Summer of Logic (http://vsl2014.at/)
Submission Deadline: April 25, 2014
* SCOPE
The goal of this conference is to advance the state of the art in the
science and technology of software verification, through the interaction
of theory development, tool evolution, and experimental validation.
We welcome submissions describing significant advances in the
production of verified software, i.e., software that has been
proved to meet its functional specifications. We are
especially interested in submissions describing large-scale
verification efforts that involve collaboration, theory unification,
tool integration, and formalized domain knowledge. We welcome papers
describing novel experiments and case studies evaluating verification
techniques and technologies. Topics of interest include education,
requirements modeling, specification languages, specification/verification
case-studies, formal calculi, software design methods, automatic code
generation, refinement methodologies, compositional analysis, verification
tools (e.g., static analysis, dynamic analysis, model checking, theorem
proving, satisfiability), tool integration, benchmarks, challenge problems,
and integrated verification environments.
* PAPER SUBMISSION
Papers will be evaluated by at least three members of the
Program Committee. We are accepting both long (limited to 16 pages)
and short (limited to 10 pages) paper submissions, written in English.
Short submissions also cover Verification Pearls describing an
elegant proof or proof technique. Submitted research papers and
system descriptions must be original and not submitted for publication
elsewhere. Papers should be submitted through:
https://www.easychair.org/conferences/?conf=vstte2014.
The post-conference proceedings of VSTTE 2014 will be
published by Springer-Verlag in the LNCS series.
* IMPORTANT DATES:
Abstract submission: April 19, 2014
Full paper submission: April 25, 2014
Notification: June 2, 2014
* ORGANIZATION
General Chair:
Wilfried Steiner (TTTech Computertechnik AG, Austria)
Program Chairs:
Dimitra Giannakopoulou (NASA Ames)
Daniel Kroening (Oxford University)
Publicity Chair:
Leo Freitas (Newcastle)
1ST INTERNATIONAL CONFERENCE ON FORMAL METHODS IN MACRO-BIOLOGY (FMMB 2014)
Call for Papers
September 22-24, 2014
Noumea, New Caledonia
http://fmmb2014.sciencesconf.org/
* AIMS AND SCOPE
The purpose of FMMB is to bring together researchers, developers,
and students in theoretical computer science, applied mathematics,
mathematical and computational biology, interested in studying the
application of formal methods to the construction and analysis of
models describing biological processes at both micro and macro levels.
The topics of interest include (but are not limited to):
- representation and analysis of biological systems in formal systems
such as:
o ordinary and partial differential equation systems,
o discrete event systems, infinite state systems,
o hybrid discrete-continuous systems, hybrid automata,
o cellular automata, multi-agent systems,
o stochastic processes, stochastic games,
o statistical physics models,
o process algebras, process calculi,
o rewriting systems, graph grammars,
- coupling models and data, inference of models from data,
- computability and complexity issues,
- modelling and analysis tools, case studies.
Application areas particularly solicited include:
- environmental biology, ecology, marine science,
- agriculture and forestry,
- developmental biology, population biology,
- epidemiology, medicine,
- systems biology, synthetic biology.
* KEYNOTE SPEAKERS
Pieter Collins, Maastricht University, Netherlands,
Saso Dzeroski, Jozef Stefan Institute, Slovenia,
Radu Grosu, Vienna Technical University, Austria,
Steffen Klamt, Max Planck Institute Magdeburg, Germany,
Pietro Lio', Cambridge University, UK,
Helene Morlon, Ecole Polytechnique and CNRS, France.
* PC CO-CHAIRS
Francois Fages, Inria Paris-Rocquencourt, France,
Carla Piazza, University of Udine, Italy.
* LOCAL CHAIR
Teodor Knapik, University of New Caledonia.
* IMPORTANT DATES
Submission deadline: April 25
Author notification: June 4
Camera-ready copy due: June 25
* SUBMISSION AND PUBLICATION
Regular submissions of 12-20 pages or short submissions of 2 pages
in LNCS style should be submitted as PDF files via EasyChair
https://www.easychair.org/conferences/?conf=fmmb2014 .
All accepted papers will be published in a book in the LNBI series of
Springer-Verlag. Authors of the most significant contributions will
be invited to submit extended versions for a journal special issue.
10TH INTERNATIONAL WORKSHOP ON AUTOMATED SPECIFICATION AND VERIFICATION OF WEB SYSTEMS (WWV 2014)
Call for Papers
July 18th, Vienna (Austria) *
a FLoC workshop @ the Vienna Summer of Logic 2014
http://wwv2014.isti.cnr.it/
* IMPORTANT DATES
Abstract submission April 25, 2014
Paper submission May 2, 2014
Notification of acceptance May 30, 2014
Camera ready versions June 20, 2014
Workshop WWV 2014 July 18, 2014
* SCOPE
The Workshop on Automated Specification and Verification of Web Systems
(WWV, http://users.dsic.upv.es/grupos/elp/wwv/) is a yearly workshop
that aims at providing an interdisciplinary forum to facilitate the
cross-fertilization and the advancement of hybrid methods that exploit
concepts and tools drawn from rule-based programming, formal methods,
software engineering and Web-oriented research.
Nowadays, many companies and institutions have diverted their Web sites
into interactive, completely automated, Web-based applications for areas
such as e-business, e-learning, e-government and e-health. The increased
complexity and the explosive growth of Web systems has made their design
and implementation a challenging task.
Systematic, formal approaches to their specification and verification
can permit to address the problems of this specific domain by means of
automated and effective techniques and tools.
Topics of either theoretical or applied interest include, but are not
limited to:
- Rule-based approaches to Web system analysis, certification,
specification, verification and optimization
- Languages and models for programming and designing Web systems
- Formal methods for describing and reasoning about Web systems
- Model-checking, synthesis and debugging of Web systems
- Analysis and verification of linked data
- Abstract interpretation and program transformation applied to the
semantic Web
- Middleware and frameworks for composition and orchestration of Web
services
- Software Product Line Engineering for Web systems
- Feature-oriented modeling and variability analysis of Web systems
* SUBMISSION
We solicit the submission of original and unpublished contributions not
under review for publication elsewhere, which include full papers and
short papers.
* PUBLICATION
All accepted regular papers will be included in the proceedings, which
will be published as a volume of the EPTCS series (WWV publication is
indexed in DBLP and Microsoft Academic Research, among other important
repositories). Selected short papers will be invited to the proceedings.
An open call for a special issue of a high-quality journal on the topic
of the WWV workshop is envisaged. This has been common practice for WWV
since 2009.
* WORKSHOP CO-CHAIRS
Maurice ter Beek ISTI-CNR, Pisa, Italy
Antonio Ravara New University of Lisbon, Portugal
* INVITED SPEAKERS
Steve Ross-Talbot Cognizant Technology Solutions, United Kingdom
8TH IFIP INTERNATIONAL CONFERENCE ON THEORETICAL COMPUTER SCIENCE (TCS 2014)
Call for Papers
September 1-3, 2014 Rome, Italy
http://www.cyprusconferences.org/tcs2014/
* AIM AND SCOPE OF THE CONFERENCE
Under the patronage of the International Federation of Information
Processing (IFIP), since year 2000 the IFIP Technical Committee 1
(Foundations of Computer Science) has organized a series of biannual
international conferences in Theoretical Computer Science. After Sendai
(2000), Montreal (2002), Toulouse (2004), Santiago (2006), Milano (2008),
Brisbane (2010), and Amsterdam (2012), the 8th edition will be held in Rome
in September 2014, in cooperation with the IFIP Working Group 2.2 (Formal
Description of Programming Concepts) and in conjunction with the 25th
Conference on Concurrency Theory. We call for papers in all areas of
Theoretical Computer Science: they will be evaluated by two committees:
- Track A: Algorithms, Complexity and Models of Computation
- Track B: Logic, Semantics, Specification and Verification
* SUBMISSION GUIDELINES
Authors are invited to submit an extended abstract of at most 15 pages
(LNCS style with at least 11-point font size) to arrive before April 27,
2014. If more space is needed, a clearly marked appendix, to be read at the
discretion of the program committee, may be included if desired. Submission
will be handled by EasyChair. Further information and submission details
can be found on the Conference web page. Simultaneous submissions to other
conferences with published proceedings are not allowed.
* PROCEEDINGS
The conference proceedings will be published by Springer-Verlag in Lecture
Notes in Computer Science (LNCS) series. Selected papers from TCS 2014 will
be invited to a special issue of the Journal Theoretical Computer Science.
* IMPORTANT DATES
Deadline for submission: April 27, 2014.
Notification of acceptance: June 25, 2014.
Final manuscript due: July 6, 2014.
Conference: September 1-3, 2014.
* CONFERENCE CO-CHAIRS:
- Daniele Gorla, Sapienza Univ. di Roma
- Rossella Petreschi, Sapienza Univ. di Roma
* PROGRAM CHAIRS
- Track A: Josep Diaz (Chair), UPC Barcelona
- Track B: Davide Sangiorgi (Chair), Univ. di Bologna
15 INT. WORKSHOP ON LOGIC AND COMPUTATIONAL COMPLEXITY AND WORKSHOP IN HONOR OF NEIL IMMERMAN'S 60TH BIRTHDAY (LCC 2014/IMMERMAN FEST)
Call for Papers
http://www.cs.swansea.ac.uk/lcc2014/
July 12-13, Vienna, Austria
(Affiliated with Vienna Summer of Logic and FloC 2014.)
* DATES
Abstract submission (3-4 pages) deadline: May 2nd,
2014 Authors' notification: May 19th, 2014
* THE LCC 2014/IMMERMANFEST WORKSHOP
The program will consist of a first day (July 12th) of both invited talks
and contributed talks selected by the program committee (based on
submitted abstracts), and a second day (July 13th) devoted entirely to
invited talks in celebration of Neil Immerman's 60th birthday.
* INVITED SPEAKERS
Day 1: Sam Buss, Georg Moser;
Day 2: Eric Allender, Anuj Dawar, Phokion Kolaitis, Benjamin Rossman, Mooly Sagiv, Nicole Schweikardt.
* AIM
LCC meetings are aimed at foundational interconnections between
logic and computational complexity, including topics such as:
finite model theory, proof complexity, bounded arithmetic, implicit
computational complexity, complexity of higher types, and logic and
complexity aspects of verification and database theory. Neil Immerman
has made many inspiring contributions to the connections betweens logic
and complexity. This year, day two of LCC 2014 will honor Neil's 60th
birthday with a series of invited lectures.
* PROCEEDINGS
There will be no published proceedings for LCC 2014; we welcome
submissions of abstracts (3-4 pages) that can be based on work submitted or
published elsewhere. All submissions via Easychair at:
http://www.easychair.org/conferences/?conf=lcc2014
For additional information see http://www.cs.swansea.ac.uk/lcc/
or email lcc2014@easychair.org
9TH INTERNATIONAL WORKSHOP ON LOGICAL FRAMEWORKS AND META-LANGUAGES: THEORY AND PRACTICE (LFMTP 2014)
Call for Papers
July 17, 2014
Vienna, Austria
http://complogic.cs.mcgill.ca/lfmtp14/
Affiliated with CSL-LICS 2014 and IJCAR 2014
as part of FLoC and VSL
* DESCRIPTION
Logical frameworks and meta-languages form a common
substrate for representing, implementing, and reasoning about a wide
variety of deductive systems of interest in logic and computer
science. Their design and implementation on the one hand and their use
in reasoning tasks ranging from the correctness of software to the
properties of formal computational systems on the other hand have been
the focus of considerable research over the last two decades. This
workshop will bring together designers, implementors, and
practitioners to discuss various aspects impinging on the structure
and utility of logical frameworks, including the treatment of variable
binding, inductive and co-inductive reasoning techniques and the
expressivity and lucidity of the reasoning process.
* TOPICS
LFMTP 2014 will provide researchers a forum to present
state-of-the-art techniques and discuss progress in areas such as the
following:
- Encoding and reasoning about the meta-theory of programming
languages and related formally specified systems.
- Theoretical and practical issues concerning the treatment of
variable binding, especially the representation of, and reasoning
about, datatypes defined from binding signatures.
- Logical treatments of inductive and co-inductive definitions and
associated reasoning techniques.
- New theory contributions: canonical and substructural frameworks,
contextual frameworks, proof-theoretic foundations supporting binders,
functional programming over logical frameworks, homotopy type theory.
- Applications of logical frameworks, e.g., in proof-carrying
architectures such as proof-carrying authorization.
- Techniques for programming with binders in functional programming
languages such as Haskell, OCaml, or Agda and logic programming
languages such as lambda Prolog or Alpha-Prolog.
with encoding programming languages theory will be particularly
welcome.
* SUBMISSIONS
In addition to regular papers, we also solicit "work in
progress" reports, in a broad sense. Those do not need to report
original or fully polished research results, but should be interesting
for the community at large.
* IMPORTANT DATES
Paper Submission: May 2
Notification: June 3
Final papers due: June 19
Workshop: July 17
* PROCEEDINGS
Accepted regular papers will be included in the
proceedings, which will be published in the ACM International
Conference Proceedings Series, available in the ACM Digital
Library. Authors are encouraged to publish auxiliary material with
their paper (technical appendixes, source code, scripts, test data,
etc.).
* PROGRAM CHAIRS
Amy Felty, Co-Chair (University of Ottawa)
Brigitte Pientka, Co-Chair (McGill University)
9TH SYMPOSIUM ON TRUSTWORTHY GLOBAL COMPUTING (TGC 2014)
Call for Papers
http://www.cs.le.ac.uk/events/tgc2014/
5-6 September, 2014
Rome, Italy (co-located with Concur 2014)
* SCOPE
The Symposium on Trustworthy Global Computing is an international annual
venue dedicated to secure and reliable computation in the so-called global
computing, i.e., those computational abstractions emerging in large-scale
infrastructures such as service-oriented architectures, autonomic systems,
and cloud computing.
* HIGHLIGHTS
- Parallel submission to CONCUR 2014 allowed (see submission instructions)
- Keynote speakers: Veronique Cortier (CNRS, France) and Catuscia Palamidessi
(INRIA Saclay and LIX, France)
- Deadline for abstract submission: May 2 2014
* TOPICS
The TGC series focuses on providing frameworks, tools, algorithms, and
protocols for rigorously designing, verifying, and implementing open-ended,
large-scaled applications. The related models of computation incorporate
code and data mobility over distributed networks that connect heterogeneous
devices and have dynamically changing topologies.
We solicit papers in all areas of global computing, including (but not
limited to):
- languages, semantic models, and abstractions
- security, trust, and reliability
- privacy and information flow policies
- algorithms and protocols
- resource management
- model checking, theorem proving, and static analysis
- tool support
* IMPORTANT DATES
- Deadline for abstract submission: May 2 2014
- Deadline for paper submission: May 9 2014 (STRICT!)
- Notification to authors: June 27 2014
* SUBMISSION INSTRUCTIONS
Contributions must be in PostScript or PDF format and consist of no more
than 15 pages in the Springer's LNCS style. Clearly marked appendixes may
include additional details and proofs omitted due to space limitations.
Submitted papers must describe work unpublished in refereed venues, and not
submitted for publication elsewhere, with the exception of CONCUR. Concurrent
submissions to CONCUR 2014 and TGC 2014 are allowed, and in fact encouraged,
for those papers that may potentially enhance both conferences. Authors of
such double submissions should flag them to the program chairs at the time
of submission (by choosing the Regular Paper submitted to CONCUR paper
category). Reviews may be shared between CONCUR and TGC. CONCUR timeline
is ahead of TGC; submissions accepted by CONCUR will be considered
automatically withdrawn from TGC.
* POST-PROCEEDINGS
We plan to publish post-proceedings shortly after the conference, to give
the authors the opportunity to take into account discussions and suggestions
at the conference.
The post-proceedings will appear as a volume in Springer Lecture Notes in
Computer Science (LNCS) series.
* PC CHAIRS
- Matteo Maffei (CISPA, Saarland University, Germany)
- Emilio Tuosto (University of Leicester, UK)
11th WORKSHOP ON USER INTERFACES FOR THEOREM PROVERS (UITP 2014)
Call for Papers
July 17, 2014
Vienna, Austria
http://vsl2014.at/pages/UITP-index.html
* SCOPE
The User Interfaces for Theorem Provers (UITP) workshop series
provides a forum for researchers interested in improving human
interaction with interactive and automated deduction systems in a
broad sense.
* PAPER SUBMISSION
Papers should describe previously unpublished work
(completed or in progress), and be at least 4 pages and at most
12 pages. We encourage concise and relevant papers. Submissions should be
in PDF format, and typeset with the EPTCS LaTeX document class (which
can be downloaded from http://style.eptcs.org/). Submission should be
done via EasyChair (https://www.easychair.org/conferences/?conf=uitp14).
Papers will be published after the workshop in the
Electronic Proceedings in Theoretical Computer Science
(EPTCS - http://www.eptcs.org/).
* TOPICS:
- Experiments and evaluation of prover interfaces
- Application-specific interaction mechanisms
- Interfaces for expert systems
- Web interfaces for deduction tools
- New designs for prover interfaces
- Performance/responsiveness of user interface for theorem provers
- Proof scripting languages
- Proof formats for authoring, exchanging and presenting proofs
- Domain-specific languages (DSLs) for interfacing with reasoning tools
- Infrastructure for sharing and using benchmarks for theorem proving
- Summarization of proofs
- Visualization of proofs
- Visualization of large structured deduction problems
- User-friendly repositories of formal mathematical knowledge
- Mobile interfaces (iPhone or Android clients for deduction tools)
- System descriptions
* IMPORTANT DATES
- Paper submission: May 4
- Author notification: May 25
- Final papers: May 31
- Workshop: July 17
WORKSHOP ON HIGHER-ORDER PROGRAM ANALYSIS (HOPA)
Call for Papers
18th July, Part of FLoC 2014, Vienna University of Technology, Austria
http://hopa.cs.rhul.ac.uk
* 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
- Submission deadline: 9th May, 2014.
- Notification: 21st May, 2014.
- USB-ready versions: 30th May, 2014.
- Main event: 18th July, 2014.
* INVITED SPEAKERS
Anders Møller, Aarhus University, Denmark,
Grigore Rosu, University of Illinois at Urbana-Champaign, USA
5TH INTERNATIONAL SYMPOSIUM ON GAMES, AUTOMATA, LOGICS AND FORMAL VERIFICATION (GandALF 2014)
Preliminary Call for Papers
September 10 - 12, 2014,
Verona, Italy
http://gandalf2014.di.univr.it
* AIM
The aim of the symposium is to bring together researchers from academia
and industry which are actively working in the fields of Games, Automata,
Logics, and Formal Verification. The idea is to cover an ample spectrum of
themes, ranging from theory to applications, and stimulate
cross-fertilization. Papers focused on formal methods are especially
welcome. Authors are invited to submit original research or tool papers on
all relevant topics in these areas. Papers discussing new ideas that are
at an early stage of development are also welcome.
* TOPICS
The topics covered by the conference include, but are not limited to:
- Automata Theory
- Automated Deduction
- Computational aspects of Game Theory
- Concurrency and Distributed computation
- Decision Procedures
- Deductive, Compositional, and Abstraction Techniques for Verification
- Finite Model Theory
- First-order and Higher-order Logics
- Formal Languages
- Formal Methods for Systems Biology, Hybrid, Embedded, and Mobile Systems
- Games and Automata for Verification
- Game Semantics
- Logical aspects of Computational Complexity
- Logics of Programs
- Modal and Temporal Logics
- Model Checking
- Models of Reactive and Real-Time Systems
- Program Analysis and Software Verification
- Run-time Verification and Testing
- Specification and Verification of Finite and Infinite-state Systems
- Synthesis
* IMPORTANT DATES
May 10th Abstract submission
May 25th Paper submission
June 25th Notification
July 25th Camera-ready submission
* PUBLICATIONS
The conference proceedings will be published by Electronic Proceedings in
Theoretical Computer Science. A special issue of a major international
journal to publish an extended and revised version of the best symposium
papers is also under consideration.
* SUBMISSIONS
Submitted papers should not exceed fourteen (14) pages using EPTCS format,
be unpublished and contain original research. For papers reporting
experimental results, authors are encouraged to make their data available
with their submission. Submissions must be in PDF or PS format and will be
handled via EasyChair
(https://www.easychair.org/conferences/?conf=gandalf2014).
* PC CHAIRS
- Adriano Peron, University Federico II of Napoli, Italy
- Carla Piazza, University of Udine, Italy
WORKSHOP ON ALGORITHMICS OF INFINITE-STATE SYSTEMS (AISS 2014)
Call for Presentations
July 18, 2014, Vienna, Austria
satellite workshop of CSL-LICS 2014
http://www.informatik.uni-bremen.de/~goeller/AISS14/Algorithmics_on_Infinite-State_Systems.html
* The workshop provides the opportunity to assess recent scientific
advances and exchange ideas on the algorithmic theory of infinite state
systems. Infinite state systems arise in many areas of computer science.
Typical examples are recursive programs, communicating systems with
unbounded buffers, and real time systems. Important algorithmic techniques
dealing with infinite state systems include model checking, reachability
and equivalence checking.
* We invite submissions on the following topics (no order) as well as thereto
related areas: abstract machine models for infinite state systems (e.g.
pushdown systems, higher-order pushdown systems, counter automata), Petri
nets, automatic structures, well-structured transition systems, rewriting
formalisms for infinite state systems (e.g. ground tree rewriting),
higher-order recursion schemes, algorithmic model theory, games on infinite
arenas, model checking for infinite state systems (e.g. model checking
for MSO, FO, CTL, LTL, mu-calculus), equivalence checking for infinite
state systems (e.g. bisimulation equivalence checking) decomposition
techniques for infinite state systems, (e.g. Feferman/Vaught decompositions)
reachability in infinite state systems
* INVITED SPEAKERS
Joel Ouaknine (University of Oxford) and Olivier Serre (Universite Paris 7)
* SUBMISSIONS
Submissions should consist of an abstract of at most 4 pages. We do not plan
to have a published proceedings or special issue for a journal. Theorefore,
already published recent work is welcome too. Submissions should be made via
the easy chair system:
https://www.easychair.org/conferences/?conf=aiss2014
* IMPORTANT DATES
Submissions by May 15, 2014
Notification by June 1, 2014
10TH INTERNATIONAL WORKSHOP ON DEVELOPMENTS IN COMPUTATIONAL MODELS (DCM 2014)
First Call for Papers
July 13, 2014
Vienna, Austria
http://vsl2014.at/pages/DCM-index.html
* SCOPE
Several new models of computation have emerged in the last few years, and
many developments of traditional computational models have been proposed
with the aim of taking into account the new demands of computer systems
users and the new capabilities of computation engines. A new computational
model, or a new feature in a traditional one, usually is reflected in a new
family of programming languages, and new paradigms of software development.
DCM 2014 is the tenth in a series of international workshops focusing on new
computational models. The aim of this workshop is to bring together
researchers who are currently developing new computational models or
new features for traditional computational models, in order to foster their
interaction, to provide a forum for presenting new ideas and work in
progress, and to enable newcomers to learn about current activities in
this area. DCM 2014 will be a one-day satellite event of CSL-LICS 2014,
in the context of VSL 2014.
* TOPICS OF INTEREST
Topics of interest include all abstract models of computation and their
properties, and their applications to the development of programming
languages and systems:
- functional calculi: lambda-calculus, rho-calculus, term and graph rewriting;
- quantum computation, including implementations and formal methods in quantum protocols;
- probabilistic computation and verification in modeling situations;
- chemical, biological and bio-inspired computation, including spatial models, self-assembly, growth models;
- general concurrent models including the treatment of mobility, trust, and security;
- infinitary models of computation;
- information-theoretic ideas in computing.
* IMPORTANT DATES
- Submission Deadline for Extended Abstracts: 16 May 2014
- Notification: 6 June 2014
- Workshop: 13 July 2014
- Submission Deadline for EPTCS Proceedings: 15 September 2014
* SUBMISSIONS
Submit your paper in PDF format via the conference EasyChair submission page:
https://www.easychair.org/conferences/?conf=dcm2014
Submissions should be an abstract of at most 5 pages, written in English.
Simultaneous submission to journals, conferences or other workshops is not
permitted. Please use the EPTCS macro package and follow the instructions of
EPTCS, following the EPTCS style:
http://style.eptcs.org/
A submission may contain an appendix, but reading the appendix should not
be necessary to assess its merits. After the workshop authors are invited
to submit a full paper of their presentation. Accepted contributions will
appear in an issue of EPTCS.
* PROGRAM CHAIRS
Ugo Dal Lago (Universita di Bologna)
Russ Harmer (CNRS & ENS Lyon)
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
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
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
NEW BOOK ON INDUSTRIAL DEPLOYMENT OF SYSTEM ENGINEERING METHODS
Industrial Deployment of System Engineering Methods
Alexander Romanovsky and Martyn Thomas (Eds.)
http://www.springer.com/computer/swe/book/978-3-642-33169-5
* A formal method is not the main engine of a development process,
its contribution is to improve system dependability by motivating
formalisation where useful. This book summarizes the results of the
DEPLOY research project on engineering methods for dependable systems
through the industrial deployment of formal methods in software development.
The applications considered were in automotive, aerospace, railway, and
enterprise information systems, and microprocessor design. The project
introduced a formal method, Event-B, into several industrial organisations
and built on the lessons learned to provide an ecosystem of better tools,
documentation and support to help others to select and introduce rigorous
systems engineering methods. The contributing authors report on these
projects and the lessons learned. For the academic and research partners
and the tool vendors, the project identified improvements required in the
methods and supporting tools, while the industrial partners learned about
the value of formal methods in general. A particular feature of the book
is the frank assessment of the managerial and organisational challenges,
the weaknesses in some current methods and supporting tools, and the ways
in which they can be successfully overcome. The book will be of value to
academic researchers, systems and software engineers developing critical
systems, industrial managers, policymakers, and regulators.
5 PHD POSITIONS AT CHALMERS, SWEDEN
http://www.chalmers.se/en/about-chalmers/vacancies/
* JOB DESCRIPTION
The Department of Computer Science and Engineering at Chalmers University
of Technology invites applications for PhD positions in Formal
Methods/Automated Reasoning, Functional Programming, and Information and
Software/Web Security.
* DATES
Application deadline: March 31, 2014
Expected starting date of positions: September 1, 2014
* 1 PhD position in Formal Methods
Background in one or more of the following areas is expected: logic,
formal methods, formal verification. This position will be supervised by
Prof. Laura Kovacs in the frame of her recently granted junior researcher
project by the Swedish Research Council. Laura Kovacs is the main developer
of the ALIGATOR tool and the co-developer of the world-leading theorem
prover Vampire for applications of program analysis and verification.
* 1 PhD Position in Functional Programming
The ideal candidate for the position in Functional Programming will have
a strong background in functional programming and at least one of hardware
design and parallel programming. The PhD student will be supervised by
Prof. Mary Sheeran, who has long pioneered the combination of hardware
design and functional programming, particularly working with her former
students Koen Claessen and Satnam Singh. The work will be closely connected
to the SSF funded project on Productivity and Performance through Resource
Aware Functional Programming (http://www.cse.chalmers.se/~ms/SSF10Final.pdf).
* 1 PhD Position in Information Security
Experience in one or more of cryptography, probability and statistics,
decision and game theory are beneficial. The PhD student will be supervised
by Prof. Katerina Mitrokotsa and will have the chance to collaborate with
well-known researchers in the area of information security. Some previous
research related to this research project can be found here:
http://www.cse.chalmers.se/~aikmitr/ . Katerina Mitrokotsa's research is
currently funded by the European Commission and the Chalmers ICT Areas
of advance.
* 2 PhD Positions in Software/Web Security
These positions will be supervised by Prof. Andrei Sabelfeld, recipient of
a number of recent awards, including SSF Advancement of Research Leaders
award (2008), Chalmers Research Supervisor of the Year (2010), and ERC
Starter/Consolidator (2012). Promotional video about the team's research
on securing web applications: http://vimeo.com/82206652
* HOW TO APPLY
The application should be submitted electronically by March 31, 2014, at:
- for the position in Formal Methods
http://www.chalmers.se/en/about-chalmers/vacancies/?rmpage=job&rmjob=1911
- for the position in Functional Programming
http://www.chalmers.se/en/about-chalmers/vacancies/?rmpage=job&rmjob=1912
- for the position in Information Security
http://www.chalmers.se/en/about-chalmers/vacancies/Pages/default.aspx?rmpage=job&rmjob=1816
- for the positions in Software/Web Security
http://www.chalmers.se/en/about-chalmers/vacancies/?rmpage=job&rmjob=1913
* CONTACT
- Laura Kovacs
Formal Methods: http://www.cse.chalmers.se/~laurako/
- Katerina Mitrokotsa
Information Security: http://www.cse.chalmers.se/~aikmitr/
- Andrei Sabelfeld
Software/Web Security: http://www.cse.chalmers.se/~andrei/
- Mary Sheeran
Functional Programming: http://www.cse.chalmers.se/~ms/
PHD POSITIONS AT ETH ZURICH
http://cme.ethz.ch
* As part of our "Concurrency Made Easy" ERC Advanced Investigator Grant
project (2012-2017), we are offering PhD positions at the Chair of
Software Engineering of ETH Zurich. The goal of the project is to build
a sophisticated programming and verification architecture to make
concurrent and distributed programming simple and reliable, based on the
ideas of Eiffel and particularly the SCOOP concurrency model.
Concurrency in its various forms (particularly multithreading) as well
as distributed computing are required for most of today’s serious
programs, but programming concurrent applications remains a challenge.
The CME project is determined to break this complexity barrier.
Inevitably, achieving simplicity for users (in this case, application
programmers) requires, under the hood, a sophisticated infrastructure,
both conceptual (theoretical models) and practical (the implementation).
We are building that infrastructure. ETH offers an outstanding research
and education environment and competitive salaries for "assistants"
(PhD students), who are generally expected in addition to their research
to participate in teaching, in particular introductory programming, and
other activities of the Chair. The candidates we seek have: a master's
degree in computer science or related field from a recognized institution
(as required by ETH); a strong software engineering background, both
practical and theoretical, and more generally a strong computer science
and mathematical culture; a good knowledge of verification techniques
(e.g. Hoare-style, model-checking, abstract interpretation); some background
in concurrency or distribution; and a passion for high-quality software
development. Prior publications, and experience with Eiffel, are pluses.
In line with ETH policy, particular attention will be given to female
candidates. Before applying, you should become familiar with our work;
see in particular the research pages at http://se.ethz.ch including
the full description of the CME project at http://cme.ethz.ch.
Candidates should send (in PDF or text) to
se-open-positions@lists.inf.ethz.ch a CV and a short cover letter
describing their view of the CME project and ideas about their possible
contribution.
POST-DOCTORAL POSITION IN PROOF THEORY, VIENNA UNIVERSITY OF TECHNOLOGY
* A position as post-doctoral researcher is available in the group for
Computational Logic (http://www.dmg.tuwien.ac.at/fg2/) at the Faculty of
Mathematics of the Vienna University of Technology. This position is part
of a research project on the proof theory of induction. The aim of this
project is to further deepen our understanding of the structure of proofs
by induction and to develop new algorithms for the automation of inductive
theorem proving. Techniques of relevance include cut-elimination, witness
extraction, Herbrand's theorem.
* The sucessful candidate is expected to have (or be close to completing)
a PhD in mathematics or computer science and a strong background in proof
theory. Experience in one or more of the following areas is an advantage:
formal languages, complexity, automated theorem proving, unification theory.
The ability to work in a team is an important prerequisite.
* The employment is full-time (40h / week). The salary is EUR 37.400,-
after taxes per year. The position is initially for 1 year - an extension
is possible in case of mutual interest. The starting date is negotiable but
should be in 2014. The application deadline is March 7, 2014.
* The application should contain:
- cover letter
(Why are you interested in this position? Why are you qualified?)
- curriculum vitae
- list of publications
- scan of graduation diploma and/or other relevant certificates
- preferred starting date
- optionally, up to three recommendation letters or references
* Send inquiries and your application to:
Stefan Hetzl
http://www.logic.at/people/hetzl/
POSTDOC POSITION IN VERIFICATION IN TRENTO, ITALY
http://disi.unitn.it/~rseba/WOLF-Recruit-postdoc.txt
* One post-doc position in ICT on the research project
"Advanced SMT Techniques for Word-level Formal Verification - (WOLF)"
is available in Trento, Italy, under the joint supervision of
- Alessandro Cimatti, FBK, Trento, and
- Roberto Sebastiani, DISI, University of Trento.
This is a three-year research project supported by SRC/GRC
(http://www.src.org/compete/s201113/), in collaboration with major HW
companies.
TENURE-TRACK POSITIONS AT UNIVERSITE DU QUEBEC A MONTREAL, CANADA
http://www.rhu.uqam.ca/AffichageProfs/21006546.htm
http://www.rhu.uqam.ca/AffichageProfs/21006547.htm
* The departement d'informatique at UQAM invites application for:
- One faculty position in cognitive informatics, in the area of semantic
Web and knowledge management (ontology engineering, ontology reasoning
algorithms, Web of data, semantic web services, etc.);
- One faculty position in theoretical computer science and algorithms
(language theory and applications, graphs, computational geometry,
data structures, etc.).
Teaching at UQAM is done in French and the candidate must have an excellent
mastery of this language. The deadline for (electronic) submission is
March 10, 2014, 5:00 PM.
Back to the LICS web page.