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.