Newsletter 160
July  1, 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
  VIENNA SUMMER OF LOGIC ANNOUNCEMENT
  CSL-LICS'14
  ACM SIGLOG ANNOUNCEMENT
* DEADLINES
  Forthcoming Deadlines
* CALLS
  FSTTCS 2014 - Call for Papers
  LSB 5 - Call for Participation (Student/Postdoc Funding)
  ICOOOLPS 2014 - Call for Participation
  ISR 2014 - Call for Participation
  JLAP on Formal Methods - Call for Papers
  SOFSEM 2015 - Call for Papers
  ICLA 2015 - Call for Papers
  IFIP-TCS 2014 - Call for Participation
  CONCUR 2014 - Call for Participation
  STACS 2015 - Call for Papers
  ETAPS 2015 - Call for Papers
  VTSA 2014 - Call for Summer School Applications
* JOB ANNOUNCEMENTS
  Two PhD positions in Information Security at ETH Zurich
  11 PhD studentships in Computer Science at the University of Pisa
  New Doctoral Program on Logical Methods in Computer Science (LogiCS)


VIENNA SUMMER OF LOGIC ANNOUNCEMENT
  July 9-24, 2014
  http://vsl2014.at
* In the summer of 2014, Vienna will host the largest event in the history
  of logic. The Vienna Summer of Logic (VSL) will consist of twelve large
  conferences and numerous workshops, attracting an expected number of 2500
  researchers from all over the world. The conferences and workshops will deal
  with the main theme, logic, from three important aspects: logic in computer
  science, mathematical logic and logic in artificial intelligence.
  This unique event will be organized by the Kurt Goedel Society at Vienna
  University of Technology from July 9 to 24, 2014.
* KEYNOTE SPEAKERS
  Franz Baader (Technische Universitaet Dresden), Edmund Clarke (Carnegie
  Mellon University), Christos Papadimitriou (University of California,
  Berkeley) and Alex Wilkie (University of Manchester).
  Dana Scott (Carnegie Mellon University) will speak in the opening session.
* LOGIC IN COMPUTER SCIENCE/FEDERATED LOGIC CONFERENCE (FLoC)
  - 26th International Conference on Computer Aided Verification (CAV)
  - 27th IEEE Computer Security Foundations Symposium (CSF)
  - 30th International Conference on Logic Programming (ICLP)
  - 7th International Joint Conference on Automated Reasoning (IJCAR)
  - 5th Conference on Interactive Theorem Proving (ITP)
  - Joint meeting of the 23rd EACSL Annual Conference on Computer Science Logic
    (CSL) and the 29th ACM/IEEE Symposium on Logic in Computer Science (LICS)
  - 25th International Conference on Rewriting Techniques and Applications (RTA)
    joint with the 12th International Conference on Typed Lambda Calculi and
    Applications (TLCA)
  - 17th International Conference on Theory and Applications of Satisfiability
    Testing (SAT)
  - FLoC Workshops
  - FLoC Olympic Games (System Competitions)
* MATHEMATICAL LOGIC
  - Logic Colloquium 2014
  - Logic, Algebra and Truth Degrees 2014
  - The Infinity Workshop
  - Kurt Goedel Fellowship Competition
* LOGIC IN ARTIFICIAL INTELLIGENCE
  - 14th International Conference on Principles of Knowledge Representation and Reasoning (KR)
  - 27th International Workshop on Description Logics (DL)
  - 15th International Workshop on Non-Monotonic Reasoning (NMR)
  - International Workshop on Knowledge Representation for Health Care 2014 (KR4HC)
* KURT GOEDEL RESEARCH PRIZE FELLOWSHIP COMPETITION
  At the Vienna Summer of Logic, the Kurt Goedel Society will award three
  fellowship prizes endowed with 100.000 Euro each to the winners of the Kurt
  Goedel Research Prize Fellowship Competition "Logical Mind: Connecting
  Foundations and Technology."
* FLOC OLYMPIC GAMES - CITIUS, MAIUS, POTENTIUS
  The Federated Logic Conference (FLoC) 2014 will host the 1st FLoC Olympic
  Games.  Intended as a new FLoC tradition, the Games will bring together
  a multitude of established solver competitions by different research
  communities. In addition to the competitions, the Olympic Games will
  facilitate the exchange of expertise between communities, and increase
  the visibility and impact of state-of-the-art solver technology. The winners
  in the competition categories will be awarded Kurt Goedel medals at the FLoC
  Olympic Games award ceremonies.



CSL-LICS'14
  July 14-18, 2014
  Vienna, Austria
  http://lii.rwth-aachen.de/lics/csl-lics14/
* This year LICS and CSL will hold a joint conference for the first time,
  as part of FLoC 2014 and the Vienna Summer of Logic. Tom Henzinger and
  Dale Miller are co-chairs of a joint PC of 38 members. The proceedings
  will be published by ACM.
* INVITED SPEAKERS
  Christel Baier (TU Dresden)
  Patrick Cousot (ENS Paris and NYU)
* INVITED TUTORIAL SPEAKERS
  Assia Mahboubi (INRIA Saclay)
  Jasmin Fisher (MSR Cambridge)
* SCHEDULE
  http://www.easychair.org/smart-program/VSL2014/CSLLICS-program.html
* AFFILIATED WORKSHOPS
  - Workshop Block 1 (July 12-13)
  CL&C      5th International Workshop on Classical Logic and Computation
  DCM       10th Int'l Workshop on Developments in Computational Models
  DTP       Dependently-Typed Programming
  GSB       Workshop on Gentzen Systems and Beyond 3
  LCC       Workshop on Logic and Comptuational Complexity
  LINEARITY 3rd International Workshop on Linearity
  LOLA      5th Workshop on Syntax and Semantics of Low-Level Languages
  LSB       5th International Workshop on Logic and Systems Biology
  PC        FLoC Workshop on Proof Complexity
  SD        3rd Workshop on Structures and Deduction
  - Workshop Block 2 (July 17-18)
  AISS         Algorithmics of Infinite State Systems 2014
  APPA         All about Proofs, Proofs for All
  CICLOPS-WLPE Int'l Joint Workshop on Implementation of Constraint and
               Logic Programming Systems and Logic-based Methods in
               Programming Environments 2014
  FCS-FCC      Joint Workshop on Foundations of Computer Security and
               Formal and Computational Cryptography
  HOPA         Higher Order Program Analysis
  LFMTP        9th International Workshop on Logical Frameworks and
               Meta-languages: Theory and Practice
  NLCS         2nd Workshop on Natural Language and Computer Science
  PCCR         2nd Workshop on the Parameterized Complexity of Computational
               Reasoning
  PSC          Proof, Structure and Computation
* AWARDS
  - The Kleene Award for Best Student Paper will be given for the best
  student paper(s), as judged by the program committee.
  - The EACSL Outstanding Dissertation Award, named for Wilhelm F. Ackermann,
  will be presented during the joint meeting.
  - The LICS Test-of-Time Award 2014 will be presented during the joint meeting.



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. It will also actively seek association agreements
  with other conferences in the field. A SIGLOG newsletter is planned to 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 will
  go out to members in July.
* It is possible to join SIGLOG as soon as today by visiting
  https://campus.acm.org/public/qj/gensigqj/siglist/gensigqj_siglist.cfm
  One can join SIGLOG without joining ACM (the SIGLOG membership fee is
  $25 and $15 for students).



DEADLINES
* FSTTCS 2014
  Abstract submission deadline: July 11, 2014
  Paper submission: July 18, 2014
  http://www.fsttcs.org
* ISR 2014
  Early registration deadline: July 15, 2014
  http://isr2014.inf.utfsm.cl
* JLAP Special Issue on Formal Methods
  Paper submission: July 15, 2014
* 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



34TH FOUNDATIONS OF SOFTWARE TECHNOLOGY AND THEORETICAL COMPUTER SCIENCE (FSTTCS 2014)
  Call for Papers
  December 15-17, 2014
  India International Centre, New Delhi, India
  http://www.fsttcs.org
* GENERAL
  IARCS, the Indian Association for Research in Computing Science, announces
  the 34th Foundations of Software Technology and Theoretical Computer Science
  conference at India International Centre, New Delhi, India. The FSTTCS
  conference is a forum for presenting original results in foundational aspects
  of Computer Science and Software Technology.
* SUBMISSIONS
  Submissions will be in electronic form via EasyChair using the LIPIcs LaTeX
  style file (see  http://www.dagstuhl.de/en/publications/lipics/instructions-for-authors).
  Submissions must not exceed 12 pages (including bibliography). Simultaneous
  submissions to journals or other conferences with published proceedings are
  disallowed. Accepted papers will be published as proceedings of the conference
  in the Leibniz International Proceedings in Informatics (LIPIcs) as a free,
  open, electronic archive with access to all. For an accepted paper to be
  included in the proceedings, one of the authors must commit to presenting
  the paper at the conference.
* IMPORTANT DATES
  Abstract Submission deadline:         July 11, 2014
  Paper Submission deadline:            July 18, 2014
  Notification to Authors:              September 15, 2014
  Deadline for camera-ready papers: October 15, 2014
* IMPORTANT LINKS
  http://www.fsttcs.org
  https://www.easychair.org/conferences/?conf=fsttcs2014
* INVITED SPEAKERS
  Nikhil Bansal (TU Eindhoven), Paul Gastin (LSV, ENS Cachan),
  Martin Grohe (RWTH Aachen), Orna Kupferman (Hebrew University),
  Ryan Williams (Stanford University)
* PC CHAIRS
  Venkatesh Raman (IMSc, Chennai)
  S P Suresh (CMI, Chennai)
* ORGANIZING COMMITTEE
  Shweta Agrawal (IIT Delhi),
  Naveen Garg (IIT Delhi),
  Ragesh Jaiswal (IIT Delhi, chair),
  Amit Kumar (IIT Delhi),
  Sanjiva Prasad (IIT Delhi),
  Sandeep Sen (IIT Delhi)



WORKSHOP ON LOGIC AND SYSTEMS BIOLOGY STUDENT/POSTDOC PARTICIPATION FUNDING (LSB 5)
  Call for Participation
  A FLoC workshop at the Vienna Summer of Logic (VSL 2014)
  Affiliated with CSL/LICS 2014
  Vienna, Austria, July 13, 2014
  http://perso.ens-lyon.fr/russell.harmer/lsb5.html
* The National Science Foundation of the United States is providing funds
  to support the travel expenses of students and postdoctoral fellows attending
  the Workshop on Logic and Systems Biology.
  For further information contact James Lynch (jlynch@clarkson.edu).



9TH WORKSHOP ON IMPLEMENTATION, COMPILATION, OPTIMIZATION OF OBJECT-ORIENTED LANGUAGES, PROGRAMS AND SYSTEMS (ICOOOLPS 2014)
  Call For Participation
  28th July 2014
  Uppsala, Sweden
  Co-located with ECOOP.
  http://icooolps.loria.fr/
* OVERVIEW
  The ICOOOLPS workshop series brings together researchers and practitioners
  working in the field of OO languages implementation and optimization.
  ICOOOLPS key goal is to identify current and emerging issues relating to
  the efficient implementation, compilation and optimization of such languages,
  and outlining future challenges and research directions.
  Topics of interest for ICOOOLPS include, but are not limited to: implementation
  of fundamental OO and OO-like features (e.g. inheritance, parametric types,
  memory management, objects, prototypes), runtime systems (e.g. compilers,
  linkers, virtual machines, garbage collectors), optimizations (e.g. static or
  dynamic analyses, adaptive virtual machines), resource constraints (e.g. time
  for real-time systems, space or low-power for embedded systems) and relevant
  choices and tradeoffs (e.g. constant time vs. non-constant time mechanisms,
  separate compilation vs. global compilation, dynamic loading vs. global
  linking, dynamic checking vs. proof-carrying code...).
* CHAIRS
  Laurence Tratt, King's College London, UK
  Olivier Zendra, INRIA Nancy, FR
* EMAIL
  icooolps14@easychair.org



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



JOURNAL OF LOGIC AND ALGEBRAIC PROGRAMMING SPECIAL ISSUE ON FORMAL METHODS IN SOFTWARE PRODUCT LINE ENGINEERING
  Call for Papers
  http://ees.elsevier.com/jlap/
* SCOPE
  This special issue of the Journal of Logic and Algebraic Programming (JLAP)
  is devoted, but by no means limited, to the themes of the FMSPLE workshop
  series on formal methods and analysis in Software Product Line Engineering
  (SPLE). This is an open call for papers, therefore participants of the
  FMSPLE workshop series as well as others working on the themes of this
  special issue, are strongly encouraged to submit contributions.
* AIMS
  SPLE aims at developing a family of systems by reuse in order to reduce time
  to market and to increase product quality. The general motivation is to
  promote and stimulate the application of formal modelling and analysis
  techniques to problems that originate from the SPLE domain, and to
  strengthen in this way the ties between the SPLE community and theoretical
  computer scientists and formal methods researchers seeking to apply
  calculi, process algebras, type systems, logics, model checking,
  type checking, theorem proving, constraint solving, and so forth.
  Recent years have witnessed an increased application of formal modelling
  and analysis techniques in SPLE and this is starting to make an impact,
  as is confirmed by the growing number of papers that have been published
  in a variety of high-profile formal methods, SPLE, and (fundamental)
  software engineering conferences and journals.
* IMPORTANT DATES
  Submission of papers: July 15, 2014
  First review decision: December 15, 2014
  Revision due: February 15, 2015
  Acceptance notification: April 15, 2015
  Final manuscript due: June 15, 2015
  Expected publication: Summer 2015
* TOPICS OF INTEREST
  We solicit original papers on topics within the general scope of
  applying formal modelling and analysis techniques to software
  product lines.
* SUBMISSION
  We expect original articles (typically 20-30 pages; submission of
  larger papers will be evaluated depending on editorial constraints)
  that present high-quality contributions, which have not been previously
  published elsewhere and that are also not simultaneously
  submitted for publication elsewhere. All contributions must be written
  in English, must be submitted in PDF format and must comply with JLAP's
  author guidelines. Submissions are handled using the Elsevier Editorial
  System and can be uploaded via the link http://ees.elsevier.com/jlap/
  In the submission process, the authors must select the article type
  "FMSPLE".
* GUEST EDITORS
  Maurice ter Beek, ISTI-CNR, Pisa, Italy
  Dave Clarke, Uppsala University, Sweden & KU Leuven, Belgium
  Ina Schaefer, Technische Universitaet Braunschweig, Germany



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



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
* IMPORTANT DATES
  Abstracts due: 10 October 2014 AoE
  Papers due: 17 October 2014 AoE
  Rebuttal (ESOP and FoSSaCS only): 3-5 December 2014
  Author notification: 19 December 2014
  Camera-ready versions: 16 January 2015
* SUBMISSIONS 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. (TACAS has more categories, see
  below.) 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 Springer's
  Lecture Notes in Computer Science series. Papers must follow the formatting
  guidelines specified by Springer at the URL http://www.springer.de/comp/lncs/authors.html
  and be submitted electronically in pdf through the Easychair (HotCRP) author
  interface of the respective conference. Submissions not adhering to the
  specified format and length may be rejected immediately.
* RESEARCH PAPERS
  Different ETAPS 2015 conferences have different page limits. Specifically,
  FASE, FOSSACS and TACAS have a page limit of 15 pages, whereas CC, ESOP and
  POST allow at most 20 pages. Additional material intended for reviewers 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 reviewers are at liberty to ignore appendices and papers must
  be understandable without them. TACAS solicits not only regular research
  papers, but also case study papers.
* 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. In addition to tool
  demonstration papers (max 6 pages in their case), TACAS solicits also longer
  tool papers (max 15 pages) adhering to specific instructions about content
  and organization.



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/.



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



11 PHD STUDENTSHIPS IN COMPUTER SCIENCE AT THE UNIVERSITY OF PISA
  http://dottorato.unipi.it/index.php/en/
* We would like to announce that by mid July it will appear the call for 11
  grants at the PhD in Computer Science of the University of Pisa (deadline
  beginning September). The selection will be made on CV, reference letters
  and an interview, possibly 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 



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



Back to the LICS web page.