Newsletter 161
August 1, 2014
*******************************************************************
* Past issues of the newsletter are available at
http://lics.siglog.org/newsletters/
* Instructions for submitting an announcement to the newsletter
can be found at
http://lics.siglog.org/newsletters/inst.html
*******************************************************************
TABLE OF CONTENTS
* LICS-RELATED NEWS
CSL-LICS'14 Summary
LICS'15 Preview
ACM SIGLOG Announcement
* AWARD ANNOUNCEMENTS
CAV 2014 Award Announcement
EACSL Outstanding Dissertation Award (Ackermann Award)
Kleene Award for Best Student Paper
LICS Test-of-Time Award
* DEADLINES
Forthcoming Deadlines
* CALLS
SOFSEM 2015 - Call for Papers
ICLA 2015 - Call for Papers
ISR 2014 - Call for Participation
IFIP-TCS 2014 - Call for Participation
CONCUR 2014 - Call for Participation
STACS 2015 - Call for Papers
ETAPS 2015 - Call for Papers
RV 2014 - Call for Participation
VTSA 2014 - Call for Summer School Applications
NASA FORMAL METHODS SYMPOSIUM - Call for Papers
TTL 2015 - Call for Papers
* JOB ANNOUNCEMENTS
Funded PhD Positions in Dynamic Adaptive Automated Software Engineering (DAASE)
Two PhD positions in Information Security at ETH Zurich
New Doctoral Program on Logical Methods in Computer Science (LogiCS)
14 PhD studentships in Computer Science at the University of Pisa
CSL-LICS'14 SUMMARY
http://lics.siglog.org/csl-lics14/
* For the first time, LICS and CSL met jointly, 14-18 July 2014, as one of 8
conferences of FLoC 2014, Vienna Summer of Logic (http://vsl2014.at/).
There were 221 registrants for CSL-LICS 2014, including 62 students.
A total of 1095 registered for FLoC 2014, and CSL-LICS was the second largest
conference.
* The PC, chaired by Tom Henzinger and Dale Miller, consisted of 37 members.
A total of 256 abstracts and 212 full papers were received. 74 papers were
accepted (acceptance rate was 35%).
* CSL-LICS 2014 featured invited lectures by Christel Baier, Patrick Cousot,
Assia Mahboubi (tutorial) and Jasmin Fisher (tutorial). There was an unusually
large number of workshops: 10 in the first block, and 9 in the second.
* This year's Ackermann Award, Kleene Award and Test-of-Time Award were
presented during the meeting. Please read on for details!
LICS'15 PREVIEW
http://lics.siglog.org/lics15/
* LICS'15 will colocate with ICALP 2015, 6-10 July, in Kyoto. Masahito Hasegawa
(RIMS, Kyoto) is the Conference Chair. The PC is chaired by Catuscia
Palamidessi. There will be 4 invited talks, 2 of which joint with ICALP
Track B. The 2 invited tutorial talks of 1.5 hours each will be embedded
in the main programme. The first call for papers is available at
http://lics.siglog.org/lics15/.
ACM SIGLOG ANNOUNCEMENT
http://siglog.acm.org
* The ACM has recently chartered a Special Interest Group on Logic and
Computation (ACM SIGLOG). Its first Chair is Prakash Panangaden,
the other officers are Luke Ong (vice-Chair), Natarajan Shankar (Treasurer)
and Alexandra Silva (Secretary).
* The ACM-IEEE Symposium on Logic in Computer Science will be the flagship
conference of SIGLOG. SIGLOG will also actively seek association agreements
with other conferences in the field. A SIGLOG newsletter will be published
quarterly in an electronic format with community news, technical columns,
members' feedback, conference reports, book reviews and other items of
interest to the community. The first issue went out to members in July.
* One can join SIGLOG by visiting
https://campus.acm.org/public/qj/gensigqj/siglist/gensigqj_siglist.cfm
It is possible to join SIGLOG without joining ACM (the SIGLOG membership
fee is $25 and $15 for students).
2014 CAV AWARD ANNOUNCEMENT
* The 2014 CAV (Computer-Aided Verification) Award was presented on July 19,
2014, at the 26th annual CAV conference in Vienna, to Patrice Godefroid,
Doron Peled, Antti Valmari, and Pierre Wolper. The annual award, which
recognizes a specific fundamental contribution or a series of outstanding
contributions to computer-aided verification includes a $10,000 award.
The award was presented with the citation: "for the development of
partial-order-reduction algorithms for efficient state-space exploration
of concurrent systems." The CAV conference is the premier international
event for reporting research on computer-aided verification, a
sub-discipline of Computer Science that is concerned with ensuring that
software and hardware systems operate correctly and reliably. The CAV award
was established in 2008 by the conference steering committee and was given
this year for the seventh time. The full announcement is available at
http://www.prlog.org/12350330-2014-cav-computer-aided-verification-conference-award-announcement.html
EACSL OUTSTANDING DISSERTATION AWARD (ACKERMANN AWARD)
* The Ackermann Award is given by the European Association for Computer Science
Logic annually since 2005 to an outstanding doctoral dissertation in the area
of Logic in Computer Science. 17 nominations for the Ackermann Award were
received in 2014. The jury (Thierry Coquand, Anuj Dawar, Thomas Henzinger,
Daniel Leivant, Damian Niwinski, Luke Ong, Simona Ronchi Della Rocca,
Wolfgang Thomas) decided to give the award to Michael Elberfeld for his
thesis "Space and Circuit Complexity of Monadic Second-Order Definable
Problems on Tree-Decomposable Structures". This was the tenth edition
of the competition.
KLEENE AWARD FOR BEST STUDENT PAPER
* Seven papers were eligible for the Kleene Award for the Best Student Paper
this year. The two winners were:
- Flavien Breuvart: On the Characterization of Models of H*,
- Yaron Velner: Finite Memory Strategy Synthesis for Robust Multidimensional
Mean Payoff Objectives.
LICS TEST-OF-TIME AWARD
* The Test-of-Time Award Selection Committee was chaired by Dexter Kozen and
included Thierry Coquand, Leonid Libkin and Frank Pfenning. Two awards
were made in 2014 to honor outstanding papers from the IEEE Symposium On
Logic In Computer Science 1994 held in Paris, France. The winners were:
- Martin Hofmann and Thomas Streicher: The Groupoid Model Refutes Uniqueness of
Identity Proofs,
- Dale Miller: A Multiple-Conclusion Meta-Logic.
Full citations are available at
http://lics.siglog.org/csl-lics14/tot94_citations.pdf
DEADLINES
* SOFSEM 2015
Abstract deadline: August 1, 2014
Full paper deadline: August 15, 2014
http://www.sofsem.cz/
* ICLA 2015
Submission deadline: August 5, 2014
http://www.cse.iitb.ac.in/~icla15/index.html
* VTSA 2014
Application deadline: September 5, 2014
http://www.mpi-inf.mpg.de/VTSA14/
* STACS 2015
Submission deadline: September 21, 2014
http://www14.in.tum.de/STACS2015
* ETAPS 2015
Abstract deadline: October 10, 2014
Paper deadline: October 17, 2014
http://www.etaps.org/index.php/2015/call-for-papers
* NASA FORMAL METHODS 2015
Paper submission: November 10, 2014
http://www.NASAFormalMethods.org/nfm2015
* TTL 2015
Paper submission: 18 Jan 2015
http://ttl2015.irisa.fr/
41TH INTERNATIONAL CONFERENCE ON CURRENT TRENDS IN THEORY AND PRACTICE OF COMPUTER SCIENCE (SOFSEM 2015)
Call for Papers
January 24-29, 2015
Hotel Horizont - Pec pod Snezkou
Czech Republic
http://www.sofsem.cz/
* GENERAL
The website provides a lot of interesting information about the next SOFSEM.
SOFSEM 2015 will consist of following four tracks:
- FOUNDATIONS OF COMPUTER SCIENCE
chaired by Roger Wattenhofer (ETH Zurich, Switzerland)
- SOFTWARE and WEB ENGINEERING
chaired by Tiziana Margaria-Steffen (University of Potsdam, Germany)
- CRYPTOGRAPHY, SECURITY, and VERIFICATION
chaired by Jean-Jacques Quisquater (Catholic University of Louvain, Belgium)
- DATA, INFORMATION and KNOWLEDGE ENGINEERING
chaired by Jaroslav Pokorny (Charles University in Prague, Czech Republic)
Moreover, for PhD students there will be the traditional `STUDENT
RESEARCH FORUM'.
* IMPORTANT DATES
Abstract deadline: August 1, 2014
Full paper deadline: August 15, 2014
Acceptance notification: September 22, 2014
Conference: January 24-29, 2015
* DETAILS
As the SOFSEM 2015 organization will progress, the website will be
regularly updated to let you know about important news.
Location, accommodation and leisure activities of SOFSEM 2015 are presented at:
http://www.sofsem.cz/sofsem15/index.php?page=location
http://www.sofsem.cz/sofsem15/index.php?page=accommodation
http://www.sofsem.cz/sofsem15/index.php?page=leisure
We hope that you find the tracks for SOFSEM 2015 interesting,
and that you will join us and enjoy the traditional, inspiring SOFSEM
atmosphere.
* CHAIRS
Giuseppe F. Italiano (Program Committee Chair)
Martin Rimnac (Organising Committee Chair)
6TH INDIAN CONFERENCE ON LOGIC AND ITS APPLICATIONS (ICLA 2015)
Call for Papers
January 8--10, 2015
IIT Bombay, India
http://www.cse.iitb.ac.in/~icla15/index.html
* HISTORY
ALI, the Association for Logic in India, announces the sixth edition of
its biennial International Conference on Logic and its Applications
(ICLA), to be held at the Indian Institute of Technology, Bombay, from
January 8 to 10, 2015. ICLA 2015 will be co-located with the 14th Asian
Logic Conference to be held during January 5-8, 2015.
* SCOPE
ICLA is a forum for bringing together researchers from a wide variety of
fields that formal logic plays a significant role in, along with
mathematicians, philosophers and logicians studying foundations of formal
logic in itself. A special feature of this conference is the inclusion of
studies in systems of logic in the Indian tradition, and historical
research on logic. Details of the last ICLA (2013) may be found at
http://www.imsc.res.in/~icla/.
The earlier events in this series featured many eminent logicians as
invited speakers, and we are pleased to announce that this year's
speakers will include:
- Steve Awodey, Carnegie Mellon University
- J. Michael Dunn, Indiana University Bloomington
* SUBMISSION
Authors are invited to submit papers presenting original and unpublished
research in any area of logic and applications. Articles on mathematical
and philosophical logic, foundations and philosophy of mathematics and the
sciences, history of logic, Indian systems of logic, use of formal logic
in areas of theoretical computer science and artificial intelligence, or
on the relationship between logic and other branches of knowledge, are
welcome.
* IMPORTANT DATES
Deadline for Submission: 5 August 2014
Notification to Authors: 30 September 2014
* IMPORTANT LINKS
http://ali.cmi.ac.in
http://www.cse.iitb.ac.in/~icla15/index.html
* PROGRAM CHAIRS
Mohua Banerjee (IIT Kanpur), co-chair
Krishna S. (IIT Bombay), co-chair
* CONTACT
Any queries related to the conference may be sent to the following email
address: icla15@cse.iitb.ac.in
7TH INTERNATIONAL SCHOOL ON REWRITING (ISR 2014)
Call for Participation
August 25-29, 2014
Universidad Tecnica Federico Santa Maria
Valparaiso, Chile
Co-located with the 21st Workshop on Logic, Language, Information and Computation (WoLLIC 2014)
http://web.ing.puc.cl/~wollic
* REWRITING
Rewriting is a branch of computer science whose origins go back
to the origins of computer science itself (with Thue, Church,
Post, and many other prominent researchers). It has strong links
with mathematics, algebra, and logic, and it is the basis of
well-known programming paradigms like functional and equational
programming, which are taught at the universitary level in many
countries. In these programming paradigms and corresponding
languages, the notions of reduction, pattern matching,
confluence, termination, strategy, etc., are essential.
Rewriting provides a solid framework for understanding, using,
and teaching all these notions. Rewriting techniques are also
used in many other areas of software engineering (scripting,
prototyping, automated transformation of legacy systems,
refactoring, web services, etc.) and are implemented in popular
systems like Mathematica, Autocad, and others. Rewriting
techniques play a relevant role in computing research,
education, and industry.
* AIMS
The International School on Rewriting is promoted by the IFIP
Working Group 1.6 Term Rewriting. The school is aimed at master
and PhD students, researchers, and practitioners interested in
the study of rewriting concepts and their applications.
Two tracks are offered, including the lectures and the courses:
- Track A: for newcomers in the field, or just for people
who want to obtain a new, updated exposure.
- Track B: for those who want to get deeper in the most
recent developments and applications of rewriting.
* CONFIRMED LECTURERS
Mauricio Ayala-Rincon, Universidade de Brasilia, Brazil
Eduardo Bonelli, Universidad de Quilmes, Argentina
Claude Kirchner, INRIA, France
Helene Kirchner, INRIA, France
Aart Middeldorp. University of Innsbruck, Austria
Pierre-Etienne Moreau, Ecole des Mines de Nancy, France
Camilo Rocha, Escuela Colombiana de Ingenieria, Colombia
Johannes Waldmann, HTWK Leipzig, Germany
Sarah Winkler, University of Innsbruck, Austria
* PROGRAMME
The detailed programme can be found at:
http://isr2014.inf.utfsm.cl/programme
* REGISTRATION FEES
300 USD (early registration, until July 15, 2014)
400 USD (late registration, from July 16, 2014)
* INFORMATION
For more information, please visit our web site or contact
isr2014@inf.utfsm.cl
* ORGANIZING COMMITTEE
Mauricio Ayala-Rincon, UNB, Brazil
Carlos Castro (chair), UTFSM, Chile
Nicolas Galvez, UTFSM, Chile
Claude Kirchner, INRIA, France
Alvaro Luzzi, UTFSM, Chile
Christophe Ringeissen, INRIA, France
Maria Elena Rodriguez, UTFSM, Chile
8TH INTERNATIONAL IFIP CONFERENCE ON THEORETICAL COMPUTER SCIENCE 2014 (IFIP-TCS)
Call for Participation
September 1-3, 2014
Rome, Italy
http://www.easyconferences.eu/tcs2014/index.php
* GENERAL
The conference Theoretical Computer Science, which is held every two years,
either in conjunction with or in the framework of the IFIP World Computing
Congress, is the meeting place of the TC1 (IFIP Technical Committee on
Foundations of Computer Science) community where new results of computation
theory are presented and more broadly experts in theoretical computer
science meet to share insights and ask questions about the future directions
of the field.
25TH CONFERENCE ON CONCURRENCY THEORY (CONCUR 2014)
Call for Participation
September 1-6, 2014
Rome, Italy
http://concur2014.org
* GENERAL
The 25th Conference on Concurrency Theory will take place in Rome, from
September 2nd to 5th, 2014. It will be co-located with the 9th International
Symposium on Trustworthy Global Computing, September 5th and 6th, Theoritical
Computer Science Conference September 1st-3rd, and with a few more workshops
on September 1st and 6th. The purpose of the CONCUR conferences is to bring
together researchers, developers and students in order to advance the theory
of concurrency and promote its applications. Since its birth, in 1990, it has
been the reference annual event for this research field. The event will be
hosted by Sapienza Universita di Roma and co-organized by the University of
Padova. It will be located in the heart of the Eternal City, a few steps
from the Colosseum.
* KEYNOTE SPEAKERS
Javier Esparza (Munich),
Jane Hillston (Edinburgh, joint with IFIP TCS)
Catuscia Palamidessi (Paris, joint with TGC)
Vasco Vasconcelos (Lisboa)
* 25TH ANNIVERSARY SPEECH
Tony Hoare
* AFFILIATED WORKSHOPS
EXPRESS/SOS Combined 21st International Workshop on Expressiveness in
Concurrency and 11th Workshop on Structured Operational Semantics
YR-CONCUR Young Researchers Workshop on Concurrency Theory
BEAT 3rd International Workshop on Behavioural Types
FOCLASA 13th International Workshop on Foundations of Coordination
Languages and Self-Adaptation
PV Workshop on Parameterized Verification
TRENDS event organised by IFIP WG 1.8
32ND INTERNATIONAL SYMPOSIUM ON THEORETICAL ASPECTS OF COMPUTER SCIENCE (STACS 2015)
Call for Papers
March 4-7, 2015
Garching near Munich, Germany
http://www14.in.tum.de/STACS2015
* SCOPE
Authors are invited to submit papers presenting original and unpublished
research on theoretical aspects of computer science. Typical areas include
(but are not limited to):
- algorithms and data structures, including: parallel, distributed,
approximation, and randomized algorithms, computational geometry,
cryptography, algorithmic learning theory, algorithmic game theory,
analysis of algorithms;
- automata and formal languages;
- computational complexity, parameterized complexity, randomness in
computation;
- logic in computer science, including: semantics, specification
and verification, rewriting and deduction;
- current challenges, for example: natural computing, quantum computing,
mobile and net computing.
* PC CHAIRS
Ernst W. Mayr (TUM, Munich)
Nicolas Ollinger (LIFO, Orleans)
* INVITED SPEAKERS
Sanjeev Arora (CS, Princeton),
Manuel Bodirsky (CNRS, LIX, Palaiseau),
Peter Sanders (KIT, Karlsruhe)
* TUTORIAL
Felix Brandt (TUM, Munich), Computational Social Choice;
tba: Algorithmic Game Theory
* IMPORTANT DATES
Submission website opens: Jun 22, 2014
Submission deadline: Sep 21, 2014 (23:59:59 GMT/UTC)
Rebuttal period: Nov 15 - 17, 2014
Notification: Dec 5, 2014
Final version due: Jan 7, 2015
Symposium: Mar 4-7, 2015
* SUBMISSIONS
Authors are invited to submit a draft of a full paper with at most 12 pages
(excluding the references section). The usage of pdflatex and the LIPIcs
style file (see below) are mandatory; no changes to font size, page geometry
etc. are permitted. Submissions not in the correct format or submitted
after the deadline will not be considered.
Simultaneous submission to other conferences with published proceedings or
to journals is not allowed. PC members are excluded from submitting. As a
novelty for STACS, there will also be a rebuttal period for authors. Authors
will receive the reviews of their submissions (via EasyChair) on Nov 14/15
and have three days (Nov 15 - 17) to submit rebuttals (via EasyChair). These
rebuttals become part of the PC meeting, but entail no specific responses.
The submission site, which opens on Jun 22, 2014, is
https://www.easychair.org/conferences/?conf=stacs2015
EUROPEAN JOINT CONFERENCES ON THEORY AND PRACTICE OF SOFTWARE (ETAPS)
Call for Papers
April 11-19, 2015
London, UK
http://www.etaps.org
* ABOUT ETAPS
ETAPS is the primary European forum for academic and industrial
researchers working on topics relating to software science. ETAPS,
established in 1998, is a confederation of six main annual
conferences, accompanied by satellite workshops. ETAPS 2015 is the
eighteenth event in the series.
* MAIN CONFERENCES (13-17 April)
- CC: Compiler Construction
(PC chair Bjoern Franke, University of Edinburgh, UK)
- ESOP: European Symposium on Programming
(PC chair Jan Vitek, Northeastern University, USA)
- FASE: Fundamental Approaches to Software Engineering
(PC chairs Alexander Egyed, Johannes Kepler U Linz, Austria,
and Ina Schaefer, Technische Universitaet Braunschweig, Germany)
- FOSSACS: Foundations of Software Science
and Computation Structures
(PC chair Andrew Pitts, University of Cambridge, UK)
- POST: Principles of Security and Trust
(PC chairs Riccardo Focardi, Universita Ca' Foscari Venezia,
Italy, and Andrew Myers, Cornell University, USA)
- TACAS: Tools and Algorithms for
the Construction and Analysis of Systems
(PC chairs Christel Baier, Technische Univ Dresden, Germany,
and Cesare Tinelli, The University of Iowa, USA)
TACAS '14 will host the 4rd Competition on Software Verification (SV-COMP).
* INVITED SPEAKERS
- Unifying speakers:
Robert Harper (Carnegie Mellon University, USA)
Catuscia Palamidessi (INRIA Saclay and LIX, France)
- CC invited speaker:
Keshav Pingali (University of Texas, USA)
- FoSSaCS invited speaker:
Frank Pfenning (Carnegie Mellon University, USA)
- TACAS invited speaker:
Wang Yi (Uppsala Universitet, Sweden)
* IMPORTANT DATES
- 10 October 2014: Submission deadline for abstracts
- 17 October 2014: Submission deadline for full papers
- 3-5 December 2014: Author response period (ESOP and FoSSaCS only)
- 19 December 2014: Notification of acceptance
- 16 January 2015: Camera-ready versions due
* SUBMISSION INSTRUCTIONS --
ETAPS conferences accept two types of contributions: research papers
and tool demonstration papers. Both types will appear in the
proceedings and have presentations during the conference.
ESOP and FoSSaCS accept only research papers. TACAS has more paper
categories (see http://www.etaps.org/2015/tacas).
A condition of submission is that, if the submission is accepted, one
of the authors attends the conference to give the presentation.
Submitted papers must be in English presenting original
research. They must be unpublished and not submitted for publication
elsewhere. In particular, simultaneous submission of the same
contribution to multiple ETAPS conferences is forbidden. The
proceedings will be published in the Advanced Research in Computing
and Software Science (ARCoSS) subline of Springer's Lecture Notes in
Computer Science series.
Papers must follow the formatting guidelines specified by Springer at
http://www.springer.de/comp/lncs/authors.html
and be submitted electronically in pdf through the EasyChair author
interface of the respective conference (HotCRP for ESOP).
Submissions not adhering to the specified format and length may be
rejected immediately.
* Research papers
FASE, FOSSACS and TACAS have a page limit of 15 pages for research
papers, whereas CC, POST allow at most 20 pages and ESOP 25 pages.
Additional material intended for the referees but not for publication
in the final version - for example, details of proofs - may be placed
in a clearly marked appendix that is not included in the page
limit. ETAPS referees are at liberty to ignore appendices and papers
must be understandable without them.
In addition to regular research papers, TACAS solicits also case study
papers (at most 15 pages).
Both TACAS and FASE solicit also regular tool papers (at most 15
pages).
* Tool demonstration papers
Submissions should consist of two parts:
- The first part, at most 4 pages, should describe the tool
presented. Please include the URL of the tool (if available) and
provide information that illustrates the maturity and robustness of
the tool. (This part will be included in the proceedings.)
- The second part, at most 6 pages, should explain how the
demonstration will be carried out and what it will show, including
screen dumps and examples. (This part will be not be included in the
proceedings, but will be evaluated.
ESOP and FOSSACS do not accept tool demonstration papers.
TACAS has a page limit of 6 pages for tool demonstrations.
* SATELLITE EVENTS (11-12 April, 18 April)
Around 20 satellite workshops will take place before and after the
main conferences.
* HOST CITY
London, the capital city of England and the UK, is a leading global
city, with strengths in the arts, commerce, education, entertainment,
fashion, finance, healthcare, media, professional services, research
and development, tourism and transport all contributing to its
prominence. It is one of the world's leading financial centers and a
world cultural capital. It is the world's most-visited city as
measured by international arrivals and has the world's largest city
airport system measured by passenger traffic. In 2012, London became
the first city to host the modern Summer Olympic Games three times.
* HOST INSTITUTION
ETAPS 2015 is hosted by the School of Electrical Engineering and
Computer Science of the Queen Mary University of London.
The main campus is located in the Mile End area of the East End of
London.
* ORGANIZERS
- General chairs: Pasquale Malacaria, Nikos Tzevelekos
- Workshops chair: Paulo Oliva
* FURTHER INFORMATION
Please do not hesitate to contact the organizers at
p.malacaria@qmul.ac.uk, nikos.tzevelekos@qmul.ac.uk.
14TH INTERNATIONAL CONFERENCE ON RUNTIME VERIFICATION (RV 2014)
Call for Participation
September 22-25, 2014, Toronto, Canada
http://rv2014.imag.fr
* OVERVIEW
Runtime verification is concerned with monitoring and analysis of software
and hardware system executions. Runtime verification techniques are important
for system correctness, reliability, and robustness; they are complementary
to 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. Topics of
interest to the conference include: specification languages, specification
mining, program instrumentation, monitor construction techniques, logging,
recording, and replay fault detection, localization, containment, recovery
and repair program steering and adaptation, metrics and statistical
information gathering, combination of static and dynamic analyses, program
execution visualization, monitoring techniques for safety/mission-critical
systems, monitoring distributed systems, cloud services, and big data
applications, monitoring security and privacy policies. Application areas of
runtime verification include safety/mission-critical systems, enterprise and
systems software, autonomous and reactive control systems, health management
and diagnosis systems, and system security and privacy.
* INVITED TALKS
- Kevin Driscoll (Honeywell Labs)
Murphy Strikes Again
- Assaf Schuster (Technion, Israel)
Monitoring Big, Distributed, Streaming Data
- Jeannette Wing (Carnegie Mellon University, USA)
Formal Methods: An Industrial Perspective
* INVITED TUTORIALS
- Vijay K. Garg (UT at Austin) & Neeraj Mittal (UT at Dallas)
A Lattice-Theoretic Approach to Monitoring Distributed Computations
- David Basin (ETH-Zurich) & Felix Klaedtke (NEC Labs, Europe)
Runtime Monitoring and Enforcement of Security Policies
* VENUE
The Fields Institute for Research in Mathematical Sciences
222 College Street, Toronto, Ontario, Canada
http://www.fields.utoronto.ca/
* REGISTRATION
Registration on line to Aug. 21, on site Sept. 22
Registration fees $575, after Aug. 21 $675
Student $350, after Aug. 21, $450
Fees include proceedings and 1x Conference banquet
Additional banquet tickets $80
Registration link:
http://www.fields.utoronto.ca/programs/scientific/14-15/RV2014/
SUMMER SCHOOL ON VERIFICATION TECHNOLOGY, SYSTEMS AND APPLICATIONS (VTSA 2014)
Call for Applications
October 26-31, 2014
University of Luxembourg, Luxembourg
* AIMS
The summer school on verification technology, systems & applications
focuses on fundamental aspects of verification techniques, their
implementation, and their use for concrete applications. It is
organised by the Universities of Liege and of Luxembourg, the
Max-Planck-Institut fuer Informatik in Saarbruecken, and the Inria
Research Center in Nancy, and will take place at the Interdisciplinary
Centre for Security, Reliability and Trust in University of
Luxembourg, Luxembourg from October 26-31, 2014. This year it is a
co-located event with ICFEM 2014, which will be held in Luxembourg
from November 3-7, 2014. PhD students can apply scholarships in order
to attend the conference ICFEM 2014 as well. More details will be
available on the following website icfem2014.uni.lu.
* SPEAKERS
The following speakers have agreed to lecture at the school:
- Nikolaj Bjorner: Software Verification by Solving Horn Clauses
- Laura Kovacs: Symbolic Computation and Theorem Proving in Program Analysis
- Joel Ouaknine: A Survey of Program Termination: Practical and
Theoretical Challenges
- Jaco van de Pol: Scalable Multi-core Model Checking: Technology &
Applications of Brute Force
- Helmut Veith: Model Checking of Fault-Tolerant Distributed Algorithms
* PARTICIPATION
Participation to the school is free to anybody holding at least a
bachelor degree or equivalent; it includes the lectures, daily coffee
and lunch breaks, and a school dinner. Attendance is limited to 40
participants. Please apply electronically by sending an email to Eugen
Denerz (edenerz_AT_mpi-inf.mpg.de) including
- a one-page CV,
- an application letter explaining your interest in the school and
your experience in the area, and
- a copy of your bachelor (or equivalent or higher) certificate.
The deadline for application is September 05, 2014. Notification of
acceptance will be given by September 12, 2014.
Full details can be found on the school Web page at
http://www.mpi-inf.mpg.de/VTSA14/.
7TH NASA FORMAL METHODS SYMPOSIUM (NFM 2015)
Call for Papers
27-29 April 2015
Pasadena, California, USA
http://www.NASAFormalMethods.org/nfm2015
* THEME
The widespread use and increasing complexity of mission- and safety-critical
systems require advanced techniques that address their specification,
verification, validation, and certification. The NASA Formal Methods
Symposium is a forum for theoreticians and practitioners from academia,
industry, and government, with the goals of identifying challenges and
providing solutions to achieving assurance in mission- and safety-critical
systems. Within NASA such systems include for example autonomous robots,
separation assurance algorithms for aircraft, Next Generation Air
Transportation (NextGen), and autonomous rendezvous and docking for
spacecraft. Moreover, emerging paradigms such as property-based design,
code generation, and safety cases are bringing with them new challenges
and opportunities. The focus of the symposium will be on formal techniques,
their theory, current capabilities, and limitations, as well as their
application to aerospace, robotics, and other mission- and safety-critical
systems in all design life-cycle stages. We encourage submissions on
cross-cutting approaches marrying formal verification techniques with
advances in critical system development, such as requirements generation,
analysis of aerospace operational concepts, and formal methods integrated
in early design stages and carrying throughout system development.
* TOPICS
Topics of interest include, but are not limited to: Model checking, Theorem
proving, SAT and SMT solving, Symbolic execution, Static analysis, Runtime
verification, Program refinement, Compositional verification, Modeling and
specification formalisms, Model-based development, Model-based testing,
Requirement engineering, Formal approaches to fault tolerance, Security and
intrusion detection, Applications of formal methods to aerospace systems,
Applications of formal methods to cyber-physical systems, Applications of
formal methods to human-machine interaction analysis
* IMPORTANT DATES
Paper Submission: 10 Nov 2014
Paper Notifications: 12 Jan 2015
Camera-ready Papers: 9 Feb 2015
Symposium: 27-29 April 2015
* LOCATION AND COST
The symposium will take place at the Hilton Hotel, Pasadena, California,
USA, April 27-29, 2015. There will be no registration fee for participants.
All interested individuals, including non-US citizens, are welcome to submit,
to attend, to listen to the talks, and to participate in discussions;
however, all attendees must register.
* SUBMISSION DETAILS
There are two categories of submissions:
Regular papers describing fully developed work and complete results (15 pages)
Short papers describing tools, experience reports, or descriptions of work
in progress with preliminary results (6 pages) All papers should be in English
and describe original work that has not been published or submitted elsewhere.
All submissions will be fully reviewed by members of the Programme Committee.
Papers will appear in a volume of Springer's Lecture Notes on Computer
Science (LNCS), and must use LNCS style formatting. Papers should be
submitted in PDF format.
* PC CHAIRS
Klaus Havelund, NASA Jet Propulsion Laboratory
Gerard Holzmann, NASA Jet Propulsion Laboratory
Rajeev Joshi, NASA Jet Propulsion Laboratory
4TH INTERNATIONAL CONFERENCE ON TOOLS FOR TEACHING LOGIC (TTL 2015)
Call for Papers
June 1-4, 2015, Rennes, France
http://ttl2015.irisa.fr/
* TOPICS
Topics that fit the interests of Tools for Teaching Logic include
(but are not limited to): teaching logic in sciences and humanities;
teaching logic at different levels of instruction (secondary education,
university level, and postgraduate); didactic software; facing some
difficulties concerning what to teach; international postgraduate
programs; resources and challenges for e-Learning Logic; teaching
Argumentation Theory, Critical Thinking and Informal Logic; teaching
specific topics, such as modal logic, computability and logic, and
others; dissemination of logic courseware and logic textbooks;
teaching Logic Thinking.
* IMPORTANT DATES
Paper submission: 18 Jan 2015;
Notification: 1 Mar 2015;
Final camera-ready due: 29 Mar 2015.
FUNDED PHD POSITIONS IN DYNAMIC ADAPTIVE AUTOMATED SOFTWARE ENGINEERING (DAASE)
http://www.stir.ac.uk/postgraduate/research-degrees/school-of-natural-sciences/
* DAASE is a four site project funded by the Engineering and Physical Sciences
Research Council involving University College London, Birmingham, Stirling
and York and with a growing list of industrial partners, including: Berner
and Mattner, BT Laboratories, Ericsson, GCHQ, Honda Research Institute
Europe,IBM,Microsoft Research and Motorola UK.
* The project seeks to use Search Based Software Engineering to develop
optimised software development processes, combining aspects of software
engineering activities into a single combined and optimising process.
This new form of software engineering will be supported by the development
and evaluation of theory, algorithms and methods for advanced exact,
metaheuristic and hyper-heuristic techniques. The goal is to produce
software that is dynamically adaptive; not only able to respond to and fix
problems that arise before deployment and during operation, but that
continually optimises, re-configures and evolves to adapt to new operating
conditions, platforms and environmental challenges (as most broadly
construed). DAASE will create an array of new processes, methods, techniques
and tools for a new kind of software engineering, radically transforming
the theory and practice of software engineering.
* DAASE is a highly collaborative project. PhD students working on the project
will have at least one other "buddy partner site" (one of the four academic
partners specifically designated to collaborate) with which they will
collaborate, supported by visits to the partner site (of one to four weeks
duration), the full expenses of which will be met by the project. PhDs will
also have opportunities to visit and collaborate with industrial and other
partners and to be fully engaged with the international community through
conferences, workshops and other networking activities. This will enhance
training and development and open new opportunities for collaboration and
intellectual development. A total of four studentships are available.
* Contact John R. Woodward jrw@cs.stir.ac.uk http://www.cs.stir.ac.uk/~jrw/
* Studentships will provide funding for tuition fees, a stipend of £13,590 per
annum plus Research Training Support Grant of £750 pa. Formal applications
should be made via the online PG application form at
http://www.stir.ac.uk/postgraduate/research-degrees/school-of-natural-sciences/
Click the "apply now" button at the top right of the page. Select 'Research
Degree in Computing Science' and 'register as a new user' on the system to
proceed to the application form.
TWO PHD POSITIONS IN INFORMATION SECURITY AT ETH ZURICH, SWITZERLAND
http://www.infsec.ethz.ch/news/positions
* The Information Security group headed by Prof. David Basin at ETH
Zurich has two open PhD positions in two projects:
(1) Formalizing computational soundness for protocol implementations
(2) Testing access control systems
* We are looking for enthusiastic outstanding researchers with a strong
background and interest in one or more of the following areas:
- formal methods or mathematical logic,
- information security or cryptography,
- (project 1) interactive theorem proving
(project 2) software testing.
Candidates with a strong theoretical background in related areas are
also encouraged to apply. ETH Zurich regulations require PhD
candidates to hold a Masters or equivalent degree (e.g. Diplom). The
preferred starting date for both positions is as soon as possible, at
the latest by the end of 2014.
* Contact: Andreas Lochbihler and Mohammad Torabi Dashti
infsec.positions@inf.ethz.ch
NEW DOCTORAL PROGRAM ON LOGICAL METHODS IN COMPUTER SCIENCE (LogiCS)
http://logic-cs.at/phd
* Funded Doctoral Positions in Computer Science
* TU Wien, TU Graz, and JKU Linz are seeking exceptionally talented and
motivated students for their joint doctoral program LogiCS. The LogiCS
doctoral college focuses on interdisciplinary research topics covering
(i) computational logic, and applications of logic to
(ii) databases and artificial intelligence as well as to
(iii) computer-aided verification.
* THE PROGRAM
LogiCS is a doctoral college focusing on logic and its applications in
computer science. Successful applicants will work with and be
supervised by leading researchers in the fields of computational
logic, databases and knowledge representation, and computer-aided
verification.
* FACULTY MEMBERS
M. Baaz A. Biere R. Bloem A. Ciabattoni
U. Egly T. Eiter C. Fermueller R. Grosu
A. Leitsch M. Ortiz R. Pichler S. Szeider
H. Tompits H. Veith G. Weissenbacher
* POSITIONS AND FUNDING
We are looking for 1-2 doctoral students per faculty member, where 30%
of the positions are reserved for highly qualified female
candidates. The doctoral positions are funded for a period of 3 years
according to the funding scheme of the Austrian Science Fund
(details: http://www.fwf.ac.at/de/projects/personalkostensaetze.html)
The funding can be extended for one additional year contingent on a
placement at one of our international partner institutions.
* HOW TO APPLY
Detailed information about the application process is available on the
LogiCS web-page http://logic-cs.at/phd/
The applicants are expected to have completed an excellent diploma or
master's degree in computer science, mathematics, or a related
field. Candidates with comparable achievements will be considered on a
case-by-case basis. Applications by the candidates need to be
submitted electronically.
* Next application Deadline: September 1, 2014.
* HIGHEST QUALITY OF LIFE
The Austrian cities Vienna, Graz, and Linz, located close to the Alps
and surrounded by beautiful nature, provide an exceptionally high
quality of life, with a vibrant cultural scene, numerous cultural
events, world-famous historical sites, a large international
community, a varied cuisine and famous coffee houses.
* For further information please contact:
info@logic-cs.at
14 PHD STUDENTSHIPS IN COMPUTER SCIENCE AT THE UNIVERSITY OF PISA
http://dottorato.unipi.it/index.php/en/competition-for-admission-academic-year-2014-2015.html
* We would like to announce 14 grants at the PhD in Computer Science of
the University of Pisa. The deadline for applications is September 5th, 2014,
and the selection will be made on CV, reference letters and an interview,
also via teleconferencing (check *carefully* the relevant fields required).
* For further details please preferably contact Mr Enrico Carpentras or otherwise the chairman of the PhD Programme
Prof. Pierpaolo Degano
Back to the LICS web page.