Newsletter 162
September  3, 2014

*******************************************************************
* Past issues of the newsletter are available at
 http://lii.rwth-aachen.de/lics/newsletters/
* Instructions for submitting an announcement to the newsletter
 can be found at
 http://lii.rwth-aachen.de/lics/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.rwth-aachen.de/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.rwth-aachen.de/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.