Newsletter 162
September 3, 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
LICS'15 Preview
ACM SIGLOG Announcement
* DEADLINES
Forthcoming Deadlines
* CALLS
CCC 2014 - Call for Participation and Registration
STACS 2015 - Call for Papers
NWPT'14 - Call for Papers
PODS 2015 - Call for Papers
ETAPS 2015 - Call for Papers
RV 2014 - Call for Participation
VTSA 2014 - Call for Summer School Applications
EDBT/ICDT 2015 - Call for Tutorials
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
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).
DEADLINES
* VTSA 2014
Application deadline: September 5, 2014
http://www.mpi-inf.mpg.de/VTSA14/
* NWPT'14
Abstract submission: 14 September 2014
http://ceres.hh.se/mediawiki/index.php/NWPT_2014
* STACS 2015
Submission deadline: September 21, 2014
http://www14.in.tum.de/STACS2015
* PODS 2015
Cycle 1: 3 Oct 2014 (abstract); 10 Oct 2014 (paper)
Cycle 2: 28 Nov 2014 (abstract); 5 Dec 2014 (paper)
http://www.sigmod2015.org
* ETAPS 2015
Abstract deadline: October 10, 2014
Paper deadline: October 17, 2014
http://www.etaps.org/index.php/2015/call-for-papers
* EDBT/ICDT 2014
Proposal submission: 7 November 2014
http://edbticdt2015.be/index.php/edbt-icdt-call-for-tutorials
* 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/
CONTINUITY, COMPUTABILITY, CONSTRUCTIVITY: FROM LOGIC TO ALGORITHMS (CCC 2014)
Call for Participation and Registration
University of Ljubljana, Slovenia
15-19 September 2014
http://ccc2014.fmf.uni-lj.si/
* HISTORY
CCC is a workshop series bringing together researchers from real analysis,
computability theory, and constructive mathematics. The overall aim is to
apply logical methods in these disciplines to provide a sound foundation
for obtaining exact and provably correct algorithms for computations with
real numbers and related analytical data, which are of increasing importance
in safety critical applications and scientific computation.
* INVITED SPEAKERS
Vasco Brattka (Universitaet der Bundeswehr Muenchen)
Thierry Coquand (University of Gothenburg)
Jean Goubault-Larrecq (Ecole normale superieure de Cachan)
Dirk Pattinson (Australian National University)
Paul Potgieter (University of South Africa)
Robert Rettinger (Fernuniversitaet in Hagen)
Hideki Tsuiki (Kyoto University)
* TUTORIAL SPEAKERS
Andrej Bauer (University of Ljubljana)
Martin Ziegler (Technische Universitaet Darmstadt)
* ORGANIZATION
Andrej Bauer - Ljubljana (local organizer)
Dieter Spreen - Siegen and Pretoria (chair)
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
26TH NORDIC WORKSHOP ON PROGRAMMING THEORY (NWPT'14)
Call for Papers
29-31 October 2014
Halmstad University, Sweden
http://ceres.hh.se/mediawiki/index.php/NWPT_2014
* INTRODUCTION
The NWPT series of annual workshops is a forum bringing together programming
theorists from the Nordic and Baltic countries (but also elsewhere).
* SCOPE
Topics of interest include (but are not limited to)
- semantics of programming languages
- programming language design and programming methodology
- programming logics
- formal specification of programs
- program verification
- program construction
- tools for program verification and construction
- program transformation and refinement
- real-time and hybrid systems
- models of concurrency and distributed computing
- language-based security.
* IMPORTANT DATES
Tentative deadlines:
14 September 2014: Submission of abstracts
28 September 2014: Notification
5 October 2014: Registration deadline
29-31 October 2014: Workshop
* SUBMISSION
Authors wishing to give a talk at the workshop are requested to submit
abstracts of 2-3 pages (pdf, printable on A4 paper, using easychair.cls from
http://www.easychair.org/easychair.zip) through EasyChair.
Work in progress as well as abstracts of manuscripts submitted for formal
publication elsewhere are permitted. Submission website is located at:
https://www.easychair.org/conferences/?conf=nwpt2014
* PUBLICATION
The abstracts of the accepted contributions will be available at the workshop.
We have arranged a special issue of the Journal of Logic and Algebraic
Methods in Programming (http://www.journals.elsevier.com/journal-of-logical-and-algebraic-methods-in-programming)
dedicated to the best contributions of the journals. The contributions will
be invited after the workshop and will undergo a rigorous review process
according to the stringent rules of JLAMP.
* INVITED SPEAKERS
- Holger Hermanns, Saarland University, Germany
- Anna Ingolfsdottir, Reykjavik University, Iceland
- Catuscia Palamidessi, INRIA Saclay and Ecole Polytechnique, France
* VENUE
The workshop will be held on the campus of Halmstad University in Halmstad,
Sweden. Halmstad is a popular holiday destination located on the Swedish
west coast. Direct trains services are available between Halmstad and Goteborg
(ca. 75 minutes), and between Halmstad and the Malmo-Copenhagen area (incl.
Copenhagen Kastrup Airport, in about 2 hours). There are also direct daily
flights between Halmstad and Stockholm.
* HISTORY
The previous editions were held in Uppsala (1989, 1999 and 2004),
Aalborg (1990), Goteborg (1991 and 1995), Bergen (1992, 2000 and 2012),
Abo (1993, 1998, 2003 and 2010), Aarhus (1994), Oslo (1996, 2007),
Tallinn (1997, 2002, 2008 and 2013), Lyngby (2001 and 2009),
Copenhagen (2005), Reykjavik (2006), and Vasteras (2011).
* ORGANIZERS
Veronica Gaspes (Organization Chair)
Mohammad Mousavi (Program Co-Chair)
Eva Nestius (Local Organization)
Walid Taha (Program Co-Chair)
34TH ACM SIGMOD-SIGACT-SIGAI SYMPOSIUM ON PRINCIPLES OF DATABASE SYSTEMS (PODS 2015)
Call for Papers
June 1-3, 2015, Melbourne, Victoria, Australia
http://www.sigmod2015.org
* The PODS symposium series, held in conjunction with the SIGMOD
conference series, provides a premier annual forum for the
communication of new advances in the theoretical foundation of
management, traditional or non-traditional. For the 34th edition,
PODS aims at broadening its scope, and calls for research papers
providing original, substantial contributions along one or more of
the following aspects: (1) deep theoretical exploration of topical
areas central to data management; (2) new formal frameworks that
aim at providing the basis for deeper theoretical investigation of
important emerging issues in data management; and (3) validation of
theoretical approaches from the lens of practical applicability in
data management.
* Topics that fit the interests of the symposium include the following
(as they pertain to databases): design, semantics, optimization;
data modeling; data structures and algorithms; tree- and
graph-structured data; search; information retrieval; approximation;
model theory; logics; algebras and complexity; dynamic aspects;
foundations of "big data" and "small data"; data analytics;
streaming, real-time, and sensor data; processes, workflows, web
services; verification and synthesis; incompleteness; inconsistency;
uncertainty; constraints; metadata; semantic, linked, networked, and
crowdsourced data; data and knowledge integration and exchange;
distribution and parallelism; cloud computing; domain-specific data;
mining and learning; privacy; security; provenance.
* Important dates:
Cycle 1: Abstract 3 Oct 2014; Paper 10 Oct 2014; Notif 19 Dec 2014;
Revised paper 30 Jan 2015; Notif 9 Mar 2015
Cycle 2: Abstract 28 Nov 2014; Paper 5 Dec 2014; Notif 20 Feb 2015;
Camera ready for both cycles: 22 Mar 2015
EUROPEAN JOINT CONFERENCES ON THEORY AND PRACTICE OF SOFTWARE (ETAPS 2015)
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/.
EDBT/ICDT 2015
Call for Tutorials
March 23-27, 2015 - Brussels, Belgium
http://edbticdt2015.be/index.php/edbt-icdt-call-for-tutorials
* The EDBT series of conferences is an established and prestigious forum
for the exchange of the latest research results in data management.
The series of ICDT conferences provides an international forum for the
communication of research advances on the theoretical foundations of
database systems.
* We solicit proposals for tutorials for presentation at the EDBT/ICDT
joint conference. Proposals must provide an in-depth survey of the
chosen area with the option of describing some particular pieces of work in
detail. Proposals must be no more than four pages, in the ACM
double-column format used for EDBT/ICDT submissions, and must include
enough details to provide a sense of both the scope of material to be
covered and the depth to which it will be covered.
* Important dates:
Submission of proposals for tutorials: 7 November 2014
Notification to authors: 12 December 2014
Conference: March 23-27, 2015
* Please submit your proposals (in PDF) via e-mail to the Tutorial Chair,
Pablo Barcelo pbarcelo@dcc.uchile.cl
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.
* Applications can be submitted at any time. Next screening: December 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.