SIGLOG Monthly 174
September  1, 2015

*******************************************************************
* 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
* NEWS
  CSL'15 Final Call for Participation
  ACM SIGLOG Announcement
* DEADLINES
  Forthcoming Deadlines
* CALLS
  WS-FM/BEAT - Call for Participation
  FOCLASA - Call For Participation
  HaPoC 2015 - Call For Participation
  FICS 2015 - Call For Participation
  TIME 2015 - Call for Participation
  AVACS Final Colloquium - Call for Participation
  AVACS Autumn School 2015 - Call for Participation
  HIGHLIGHTS 2015 - Call for Participation
  RV 2015 - Call for Participation
  SAFECOMP 2015 - Call for Participation
  LPNMR 2015 - Call for Participation
  CPS 2016 - Call for workshop and tutorial proposals
  PODS 2016 - Call for Papers
  ETAPS 2016 - Call for Papers
  ATVA 2015 - Call for Participation
  ABZ 2016 - Call for Papers, Answers to the case study, Workshops, Tutorials
  ISAIM 2016 - Call for Papers
  KR 2016 - Call for Papers
  COMPLEXITY 2016 - Call for Participation
* JOB ANNOUNCEMENTS
  PHD POSITIONS AT THE UNIVERSITY OF PISA
  POSTDOC POSITION AT VIENNA UNIVERSITY OF TECHNOLOGY


CSL 2015
  Final Call for Participation
  COMPUTER SCIENCE LOGIC 2015
  Berlin, 7 - 10 September 2015
  http://logic.las.tu-berlin.de/csl2015/
  AIM AND SCOPE
  Computer Science Logic (CSL) is the annual conference of the European
  Association for Computer Science Logic (EACSL). The conference is
  intended for computer scientists whose research activities involve
  logic, as well as for logicians working on  issues significant for
  computer science.
  LOCATION
  The 24th EACSL Annual Conference on Computer Science Logic will be
  held at the Technical University Berlin from  Monday, 7 September 2015
  to Thursday, 10 September 2015.
  INVITED SPEAKERS
  Martin Abadi (Google and Santa Cruz)
  Elham Kashefi (Edinburgh)
  Markus Lohrey (Siegen)
  Ryan Williams (Stanford)
  REGISTRATION
  The conference fee is 300 EUR for non-students and 250 EUR for
  students. There is a discount for members of EATCS and ACM SIGLOG.
  For details about registration see
  http://logic.las.tu-berlin.de/csl2015/registration.html.
  HOTELS
  There are a few rooms left in the conference hotels reserved for
  conference participants. These can be booked through the registration
  page for a reduced price.
  CO-LOCATED EVENTS
  FICS: Workshop in fixed-points in computer science
  YuriFest: a symposium in the honour of Yuri Gurevich's 75th birthday
  LogInf: the meeting of the GI Fachgruppe Logic in der Informatik.
  You can register for any of these events independently and also
  independent on conference participation. The registration page is the
  same as for CSL, see http://logic.las.tu-berlin.de/csl2015/registration.html.



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 is the flagship
  conference of SIGLOG. SIGLOG will also actively seek association agreements
  with other conferences in the field. A SIGLOG newsletter (SIGLOG News)
  is also 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.
* 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).



DATES
* WS-FM/BEAT FOCLASA
  Symposium: September 4-5, Madrid, Spain
  http://www.projects.science.uu.nl/WSFM-BEAT2015/
  Colocated events in Madrid Meet, September 4-5, 2015, Madrid, Spain
  http://mafalda.fdi.ucm.es/madrid2015/
* FOCLASA
  Workshop: September 4-5, Madrid, Spain
  http://foclasa.lcc.uma.es/
  Colocated events in Madrid Meet, September 4-5, 2015, Madrid, Spain
  http://mafalda.fdi.ucm.es/madrid2015/
* HaPoC 2015
  Call for Participation
  Conference on October 8-11, 2015, Pisa, Italy
  Early Registration until September 6, 2015
* FICS 2015
  Call for Participation
  Satellite Workshop of CSL 2015: September 11-12, 2015, Berlin, Germany
* TIME 2015
  Call for Participation
  Symposium on September 23 - 25, 2015, Kassel Germany
  http://time2015.uni-kassel.de
* AVACS Final Colloquium
  September 29, 2015, Oldenburg, Germany
  http://www.avacs.org/concluding-colloq/?L=4
  Registration deadline: September 18, 2015.
* AVACS Autumn School 2015
  Oldenburg, Germany, September 30 to October 2, 2015
  http://www.avacs.org/autumn2015
* HIGHLIGHTS 2015
  Conference: Prague, 15-18 September 2015
  http://highlights-conference.org
* RV 2015
  Conference: Vienna, Austria, September 22-25, 2015
  http://rv2015.conf.tuwien.ac.at/
* SAFECOMP 2015
  Conference + workshops: Delft, the Netherlands, 22-25 September 2015
  http://safecomp2015.tudelft.nl
* LPNMR 2015
  Call for Participation
  Conference: Lexington, KY, USA, September 27-30, 2015
  http://lpnmr2015.mat.unical.it/
* CPS WEEK
  Call for workshop and tutorial proposals
  Proposal submission deadline : October 1, 2015
  April 11-14, 2016, Vienna, Austria
  http://www.cpsweek.org/2016/
* PODS 2016
  Call for Research Papers (First submission cycle)
  June 27-29, 2016, San Francisco, California, USA
  Abstract submission: October 2, 2015
  http://www.sigmod2016.org
* ETAPS 2016
  Call for papers
  Conferences: 2-8 April 2016, Eindhoven, The Netherlands
  Submission deadline for abstracts: 9 October 2015
  http://www.etaps.org/2016
* ATVA 2015
  Call for participation
  October 12-15, 2015, Shanghai, China
  http://atva2015.ios.ac.cn/
* ABZ 2016
  Workshop proposal submissions: October 16, 2015
  Workshop proposal notifications: November 6, 2015
  Research paper and answers to case study submission: January 15, 2016
  Short paper submission: February 4, 2016
  Tutorial proposal submissions: February 15, 2016
  http://www.cdcc.faw.jku.at/ABZ2016/
* ISAIM 2016
  Call for Papers
  January 4-6, 2016, Fort Lauderdale FL, USA
  http://isaim2016.cs.virginia.edu
* KR 2016
  Call for papers
  Conference: Cape Town, South Africa, 25-29 April 2016
  Submission of title and abstract deadline: 21 November 2015
  http://kr.org/KR2016/
* SPECIAL SEMESTER ON COMPUTATIONAL COMPLEXITY AND PROOF COMPLEXITY 2016
  April-June 2016
  Chebyshev Laboratory at St.Petersburg State University
  Organized jointly with the Skolkovo Institute of Science and Technology.
  http://en.chebyshev.spb.ru/complexity2016



INTERNATIONAL SYMPOSIUM ON WEB SERVICES, FORMAL METHODS AND BEHAVIOURAL TYPES (WS-FM/BEAT 2015)
  Call for Participation
  Symposium: September 4-5, Madrid, Spain
* DETAILED INFORMATION
  http://www.projects.science.uu.nl/WSFM-BEAT2015/
  Colocated events in Madrid Meet, September 4-5, 2015, Madrid, Spain
  http://mafalda.fdi.ucm.es/madrid2015/



14TH INTERNATIONAL WORKSHOP ON FOUNDATIONS OF COORDINATION LANGUAGES AND SELF-ADAPTATION
  Call for Participation
  Workshop: September 4-5, Madrid, Spain
* DETAILED INFORMATION
  http://foclasa.lcc.uma.es/
  Colocated events in Madrid Meet, September 4-5, 2015, Madrid, Spain
  http://mafalda.fdi.ucm.es/madrid2015/



3RD INTERNATIONAL CONFERENCE ON THE HISTORY AND PHILOSOPHY OF COMPUTING (HaPoC 2015)
  First Call For Participation
  Early Registration until September 6, 2015
  Conference: October 8-11, 2015, Pisa, Italy
  http://hapoc2015.di.unipi.it 
* AIMS
  The conference brings together researchers interested in the historical
  developments of computers and their sciences, as well as those reflecting
  on the sociological and philosophical issues springing from the rise and
  ubiquity of computing machines in the contemporary landscape. The conference
  is composed of 30 research presentations, with no parallels sessions, and 6
  invited talks from renowned experts in the relevant fields. The conference
  will take place in Pisa, at the Museum of Computing Machinery.
* INVITED SPEAKERS
  Nicola Angius, Universita' di Sassari
  Lenore Blum, Carnegie Mellon University
  David Alan Grier, IEEE & George Washington University
  Furio Honsell, Universita' di Udine
  Pierre Mounier-Kuhn, CNRS & Universite' Paris-Sorbonne
  Franck Varenne, Universite' de Rouen



10TH INTERNATIONAL WORKSHOP ON FIXED POINTS IN COMPUTER SCIENCE (FICS 2015)
  Call for participation
  Workshop: September 11-12, 2015, Berlin, Germany
  http://www.irit.fr/FICS2015/
* AIMS
  The aim of this workshop is to provide a forum for researchers to present
  their results to those members of the computer science and logic communities
  who study or apply the theory of fixed points.
* INVITED SPEAKERS
  Bartek Klin, Warsaw University
  James Worrell, University of Oxford
* REGISTARTION
  No registration deadline, but registration through the CSL 2015 registration
  page http://logic.las.tu-berlin.de/csl2015/registration.html required
* PROGRAMME
  There are two invited speakers, 11 contributed talks with paper at EPTCS,
  plus the following invited speakers of the annual meeting of the
  GI-Fachgruppe "Logik in der Informatik":
  Ulrich Schopp, LMU Munchen
  Michael Elberfeld, RWTH Aachen
  All the details are on the web site (titles, abstracts of FICS talks,
  registration fee).



22ND INTERNATIONAL SYMPOSIUM ON TEMPORAL REPRESENTATION AND REASONING (TIME 2015)
  Call for participation
  Early registration deadline: July 31st
  Symposium on September 23 - 25, 2015, Kassel Germany
  http://time2015.uni-kassel.de
* AIMS
  TIME 2015 aims to bring together researchers interested in reasoning about
  temporal aspects of information in any area of Computer Science. The
  symposium has a wide remit and intends to cater both for theoretical aspects
  and well-founded applications. One of the key aspects of the time symposium
  is its interdisciplinarity with attendees from distinct areas such as
  artificial intelligence, database management, logic and verification,
  and beyond. The symposium will encompass three tracks on temporal
  representation and reasoning in AI, Databases, as well as Logic and
  Verification. The two-and-a-half-days scientific programme with 3 invited
  presentations, 17 contributed talks and a panel session on temporal
  databases will be complemented with two social events on the first and
  second evening. Please consult the TIME 2015 website for further
  information, including the list of accepted papers.
* INVITED SPEAKERS
  Giuseppe de Giacomo, Sapienza Universita di Roma;
  Carlo Zaniolo, UCLA;
  Benedikt Bollig, ENS Cachan



AUTOMATIC VERIFICATION AND ANALYSIS OF COMPLEX SYSTEMS FINAL COLLOQUIUM
  Call for Participation
  Registration deadline: September 18, 2015
  September 30 to October 2, 2015
  Oldenburg, Germany
* OVERVIEW
  We would like to invite you to the 12 years celebration of the Transregional
  Collaborative Research Center AVACS - Automatic Verification and Analysis of
  Complex Systems, see www.avacs.org with a final colloquium held at the
  University of Oldenburg, Germany.
  This event is followed by the three days AVACS Autumn School -
  see http://www.avacs.org/autumn2015/.
* REGISTRATION
  Please register for participation by sending an e-mail to Mrs. Kathrin Kuper:
  kathrin.kuper@uni-oldenburg.de by September 18, 2015.



2ND AUTUMN SCHOOL ON AUTOMATIC ANALYSIS AND VERIFICATION OF COMPLEX SYSTEMS
  Call for Participation
  September 30 to October 2, 2015
  Oldenburg, Germany
  http://www.avacs.org/autumn2015
* AIMS
  "Automatic Verification and Analysis of Complex Systems" is an autumn
  school focussing on automated formal methods in computer science and
  their application to the analysis and verification of complex embedded
  systems. Targeting primarily PhD students and young researchers with
  an interest in safety-critical embedded systems, the technical program
  comprises talks from 12 specialists in the field of automated formal
  methods, covering the range from hard real-time systems over hybrid
  systems to dynamically restructuring systems of systems.
* LECTURERS
  Overview:
  - Werner Damm (Carl von Ossietzky Universitat Oldenburg, D)
  Hybrid Systems:
  - Goran Frehse (Universite Joseph Fourier Grenoble, F)
  - Andre Platzer (Carnegie Mellon University, PA, USA)
  - Thomas Sturm (Max-Planck-Institut fur Informatik, D)
  Real-Time:
  - Kim G. Larsen (Aalborg Universitet, DK)
  - Ernst-Rudiger Olderog (Carl von Ossietzky Universitat Oldenburg, D)
  - Andrey Rybalchenko (Microsoft Research, UK)
  - Mani Swaminathan (Carl von Ossietzky Universitat Oldenburg, D)
  Systems of Systems:
  - Paolo Marin (Albert-Ludwigs-Universitat Freiburg, D)
  - David Parker (University of Birmingham, UK)
  - Sven Schewe (University of Liverpool, UK)
  - Ralf Wimmer (Albert-Ludwigs-Universitat Freiburg, D)
* VENUE AND REGISTRATION
  The autumn school will be held at the Carl von Ossietzky University
  Oldenburg.  Please see the autumn school's website
  www.avacs.org/autumn2015 for detailed information.
  Inquiries can be addressed to the local organizers Martin Franzle,
  Thomas Scheidsteger, and Jurgen Niehaus via email: autumn2015@avacs.org .



HIGHLIGHTS OF LOGIC, GAMES AND AUTOMATA (HIGHLIGHTS 2015)
  Call for Participation
  Prague, 15-18 September 2015
  http://highlights-conference.org
* AIMS
  HIGHLIGHTS 2015 is the third conference on Highlights of Logic, Games
  and Automata which aims at integrating the community working in these
  fields. A visit to Highlights conference should offer a wide picture
  of the latest research in the area and a chance to meet everybody in
  the field, not just those who happen to publish in one particular
  proceedings volume. The participants present their best work, be it
  published elsewhere or yet unpublished.
* INVITED SPEAKERS
  Christel Baier
  Thomas Colcombet
  Giuseppe De Giacomo
  Philippe Schnoebelen
  The program is further enriched by a special Mathematical Colloquia
  talk by Moshe Vardi that takes place in Karolinum, the historical
  seat of the Charles University in Prague.
* DATES
  The conference is three days long (Sept. 16-18) and it is preceeded
  by the Highlights tutorial day (Sept. 15). The contributed talks are
  around ten minutes.
* REGISTRATION
  The registration form and detailed information about Highlights 2015
  are available at http://highlights-conference.org. There is a
  small registration fee of 80 Euro which includes lunches and conference
  dinner. Although the deadline for early registration already elapsed, the
  organizers still offer several cheap rooms close to the conference
  venue (the available capacity is almost booked, so this option remains
  open only for a very limited period of time). All potential
  participants are recommended to register as soon as possible.



15TH INTERNATIONAL CONFERENCE ON RUNTIME VERIFICATION (RV 2015)
  Call for Participation
  Vienna, Austria, September 22-25, 2015
  http://rv2015.conf.tuwien.ac.at/
* 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. 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
* INVITED TALKS
  - Patrice Godefroid, Microsoft Research, USA
  - Sriram Sankaranarayanan, University of Colorado Boulder, USA
  - Georg Weissenbacher, Vienna University of Technology, Austria
* TUTORIALS
  - M. Isberner, B. Steffen, F. Howar
  - P. Daian, Y. Falcone, P. Meredith, T. F. Serbanuta, S. Shiriashi, A. Iwai, G. Rosu
  - D. Nickovic
  - L. Bortolussi, D. Milos, G. Sanguinetti
* REGISTRATION
  Full details available at the registration link:
  http://rv2015.conf.tuwien.ac.at/?page_id=522
* CHAIRS AND ORGANIZERS
  General Chair: Radu Grosu (Vienna University of Technology, Austria).
  PC co-Chairs:
  - Ezio Bartocci (Vienna University of Technology, Austria)
  - Rupak Majumdar (Max Planck Institute, Germany)
  Tools Track Chair: Dejan Nickovic (Austrian Institute of Technology, Austria)
  Runtime Monitoring Competition Co-Chairs:
  - Ylies Falcone (Universite Joseph Fourier, France)
  - Dejan Nickovic (AIT Austrian Institute of Technology GmbH, Austria)
  - Giles Reger (University of Manchester, UK)
  - Daniel Thoma (University of Luebeck, Germany)



INTERNATIONAL CONFERENCE ON COMPUTER SAFETY, RELIABILITY AND SECURITY (SAFECOMP 2015)
  Call for Participation
  Delft, the Netherlands, 22-25 September 2015
  http://safecomp2015.tudelft.nl/
* The registration for participation in SAFECOMP 2015 or one or more of the
  related workshops ASSURE, DECSoS, ISSE, ReSA4CI and SASSUR in Delft, the
  Netherlands is still possible! For the provisional programmes see
  http://safecomp2015.tudelft.nl/programme.
* PROGRAM CHAIR
  Floor Koornneef
  Coen van Gulijk



13TH INTERNATIONAL CONFERENCE ON LOGIC PROGRAMMING AND NON-MONOTONIC REASONING (LPNMR 2015)
  Call for Participation
  Lexington, KY, USA, September 27-30, 2015
  http://lpnmr2015.mat.unical.it/
* REGISTRATION: Registration procedure is available via
  http://www.cs.uky.edu/lpnmr2015/.
  Hotel Special rate DEADLINE Sep. 2nd
* AIMS:
  LPNMR 2015 is the thirteenth in the series of international meetings on
  logic programming and non-monotonic reasoning. LPNMR is a forum for
  exchanging ideas on declarative logic programming, non-monotonic reasoning,
  and  knowledge representation.
* The program will include three invited talks:
  - Stable Models for Temporal Theories - By Pedro Cabalar, University of
    Corunna, Spain
  - Algorithmic decision theory meets logic - By Jerome Lang, Universite
    Paris-Dauphine, France (Plenary session with ADT 2015).
  - Relational and Semantic Data Mining - By Nada Lavrac, Jozef Stefan
    Institute and University of Nova Gorica, Slovenia
* ASSOCIATED EVENTS
  This edition of LPNMR will also feature several workshops, a special session
  dedicated to the 6th ASP Systems Competition, and will be collocated with the
  4th Algorithmic Decision Theory Conference, ADT 2015. Joint LPNMR-ADT Doctoral
  Consortium will be a part of the program.
  Currently planned workshops
  include:
  - Grounding, Transforming, and Modularizing Theories with Variables
    Organizers: Marc Denecker, Tomi Janhunen
    Website: https://sites.google.com/site/gttv2015/
  - Action Languages, Process Modeling, and Policy Reasoning
    Organizer: Joohyung Lee, Gail-Joon Ahn
    Website: https://sites.google.com/site/alpp2015/
  - Natural Language Processing and Automated Reasoning
    Organizers: Marcello Balduccini, Ekaterina Ovchinnikova, Peter Schueller
    Website: https://sites.google.com/site/nlpar2015/
  - Learning and Nonmonotonic Reasoning
    Organizers: Alessandra Russo and Alessandra Mileo
    Website: http://lnmr2015.insight-centre.org/
  Full info are  available via the official conference website
  http://lpnmr2015.mat.unical.it/.
* GENERAL CHAIR: Victor Marek, University of Kentucky, KY, USA
* PROGRAM CHAIRS
  Giovambattista Ianni, University of Calabria, Italy
  Mirek Truszczynski, University of Kentucky, KY, USA
* WORKSHOPS CHAIR
  Yuliya Lierler, University of Nebrska at Omaha, NE, USA
* NEW INFORMATION ABOUT STUDENT SUPPORT GRANTS
  The organizing committee has limited funds to partially support students
  attending LPNMR, with priority to authors of accepted papers that are not
  funded by the doctoral consortium and have no other funding available.



CYBER-PHYSICAL SYSTEMS WEEK (CPS WEEK)
  Call for workshop and tutorial proposals
  April 11-14, 2016, Vienna, Austria
  http://www.cpsweek.org/2016/
* AIMS
  CPS Week is the premier event on Cyber-Physical Systems. It brings
  together four top conferences, HSCC, ICCPS, IPSN, and RTAS,
  10-15 workshops, a localization competition, tutorials and various
  exhibitions from both industry and academia. Altogether the CPS Week
  program covers a multitude of complementary aspects of CPS, and
  reunites the leading researchers in this dynamic field.
  CPS Week 2016 in Vienna, Austria will host 10-15 workshops (subject to room
  availability) and 2-3 tutorials on Monday April 11 and is soliciting
  proposals for new and recurring workshops as well as for tutorials.
  We invite you to  submit workshop proposals on any topic related
  to the broad set of research, education, and application areas in
  cyber-physical systems.
* GUIDELINES FOR WORKSHOP PROPOSALS
  Proposals should be submitted at the latest by October 1, 2015
  Detailed information available at
  http://www.cpsweek.org/2016/ws.html
  Notification of acceptance: October 15, 2015
* WORKSHOP AND TUTORIAL CO-CHAIRS
  Christoph Kirsch
  Ana Sokolova.



35TH ACM SIGMOD-SIGACT-SIGAI SYMPOSIUM ON PRINCIPLES OF DATABASE SYSTEMS (PODS 2016)
  Call for Research Papers (First submission cycle)
  June 27-29, 2016, San Francisco, California, USA
  http://www.sigmod2016.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 foundations of data
  management, traditional or non-traditional (see
  http://www.sigmod.org/the-pods-pages).For the 35th edition, PODS continues
  to aim to broaden its scope, and calls for research papers providing
  original, substantial contributions along one or more of the following aspects:
  - deep theoretical exploration of topical areas central to data management;
  - new formal frameworks that aim at providing the basis for deeper
  theoretical investigation of important emerging issues in data management;
  - validation of theoretical approaches from the lens of practical
  applicability in data management.
* TOPICS that fit the interests of the symposium include the following:
  - design, semantics, query languages
  - data models, data structures, algorithms for data management
  - concurrency and recovery, distributed and parallel databases, cloud computing
  - model theory, logics, algebras, computational complexity
  - graph databases and (semantic) Web data
  - data mining, information extraction, search
  - data streams
  - data-centric (business) process management, workflows, web services
  - incompleteness, inconsistency, uncertainty in databases
  - data and knowledge integration and exchange, data provenance, views and data
    warehouses, metadata management
  - domain-specific databases (multi-media, scientific, spatial, temporal, text)
  - deductive databases
  - data privacy and security
* KEYNOTE SPEAKER
  Moshe Vardi (Rice University)
* TUTORIAL SPEAKERS
  Sara Cohen (The Hebrew University of Jerusalem)
  Frank Neven (Hasselt University)
* IMPORTANT DATES
  Dates for first submission cycle:
  - October 2, 2015, 4:59pm PST: Abstract submission
  - October 9, 2015, 4:59pm PST: Paper submission
  - December 18, 2015, 4:59pm PST: Accept/Reject/Revise notification
  - January 29, 2016, 4:59pm PST: Revised submission
  - March 4, 2016:, 4:59pm PST: Accept/Reject notification
  Dates for second submission cycle:
  - November 27, 2015, 4:59pm PST: Abstract submission
  - December 4, 2015, 4:59pm PST: Paper submission
  - March 4, 2016, 4:59pm PST: Accept/Reject notification



19TH EUROPEAN JOINT CONFERENCES ON THEORY AND PRACTICE OF SOFTWARE (ETAPS 2016)
  Call for papers
  Eindhoven, The Netherlands, 2-8 April 2016
  http://www.etaps.org/2016
* OVERVIEW
  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 five main annual
  conferences, accompanied by satellite workshops. ETAPS 2016 is the
  nineteenth event in the series.
* MAIN CONFERENCES (4-7 April)
   -- ESOP: European Symposium on Programming
       (PC chair Peter Thiemann, Universitat Freiburg, Germany)
   -- FASE: Fundamental Approaches to Software Engineering
       (PC chairs Perdita Stevens, University of Edinburgh, UK,
        and Andrzej Wasowski, IT University of Copenhagen, Denmark)
   -- FOSSACS: Foundations of Software Science
       and Computation Structures
       (PC chairs Bart Jacobs, Radboud Universiteit Nijmegen,
        The Netherlands,  and Christof Loding, RWTH Aachen, Germany)
   -- POST: Principles of Security and Trust
       (PC chairs Frank Piessens, Katholieke Universiteit Leuven,
        Belgium,  and Luca Vigano, King's College London, UK)
   -- TACAS: Tools and Algorithms for
       the Construction and Analysis of Systems
       (PC chairs Marsha Chechik, University of Toronto, Canada,
       and Jean-Francois Raskin (Universite Libre de Bruxelles,
       Belgium)
   -- TACAS '16 hosts the 5th Competition on Software Verification
      (SV-COMP).
* INVITED SPEAKERS
   -- Unifying speakers:
      Andrew D. Gordon (MSR Cambridge and University of Edinburgh, UK)
      Rupak Majumdar (MPI Kaiserslautern, Germany)
   -- ESOP invited speaker:
      Cristina Lopes (University of California at Irvine, USA)
   -- FASE invited speaker:
      Oscar Nierstrasz (UniversitŠt Bern, Switzerland)
   -- POST invited speaker:
      Vitaly Shmatikov (University of Texas at Austin, USA)
* IMPORTANT DATES
   - 9 October 2015: Submission deadline for abstracts
   - 16 October 2015: Submission deadline for full papers
   - 2-4 December 2015: Author response period (ESOP and FoSSaCS only)
   - 18 December 2015: Notification of acceptance
   - 8 January 2016: Camera-ready versions due
* SATELLITE EVENTS (2-3 April, 8 April)
  Around 20 satellite workshops will take place before and after the
  main conferences.
* FURTHER INFORMATION
  Please do not hesitate to contact the organizers at
  j.f.groote@tue.nl, a.j.wijs@tue.nl.



13TH INTERNATIONAL SYMPOSIUM ON AUTOMATED TECHNOLOGY FOR VERIFICATION AND ANALYSIS, ATVA 2015
  Call for participation
  October 12-15, 2015, Shanghai, China
  http://atva2015.ios.ac.cn/
* CONTEXT
  ATVA promotes research on theoretical and practical aspects of automated
  analysis, verification and synthesis by providing a forum for interaction
  between the regional and the international research communities and
  industry in the field. The conference will be held at East China Normal
  University (old campus) in Shanghai.
* KEYNOTES and TUTORIALS
  Dino Distefano (Facebook and Queen Mary University of London, UK)
  Martin Fraenzle (Carl von Ossietzky Universitaet, Oldenburg, Germany)
  Joost-Pieter Katoen (RWTH Aachen University, Germany)
  J Strother Moore (University of Texas-Austin, USA)
* REGISTRATION
  Registration is open now.
  Early registration deadline: August 15, 2015
  For details see http://atva2015.ios.ac.cn/participation.html#registration
* GENERAL CHAIR
  Jifeng He (East China Normal University, China)
* PROGRAMME CHAIRS
  Bernd Finkbeiner (Saarland University, Germany)
  Geguang Pu (East China Normal University, China)
  Lijun Zhang (Institute of Software, Chinese Academy of Sciences)
* WORKSHOP CHAIR
  Jun Sun (Singapore University of Technology and Design, SG)



5TH INTERNATIONAL ABZ 2014 CONFERENCE (ASM, Alloy, B, TLA, VDM, Z)
  Call for Papers, Answers to the case study, Workshops, Tutorials
  May 23-27, 2016
  Linz, Austria
  http://www.cdcc.faw.jku.at/ABZ2016/
* The ABZ conference is dedicated to the cross-fertilization of six related
  state-based and machine-based formal methods, Abstract State Machines (ASM),
  Alloy, B, TLA, VDM and Z. Contributions are solicited on all aspects of the
  theory and applications of ASMs, Alloy, B, TLA, VDM, Z approaches in
  software/hardware engineering, including the development of tools and
  industrial applications.
* Types of submission:
  -- Research papers: full papers of not more than 14 pages in LNCS format,
  which have to be original, unpublished and not submitted elsewhere.
  -- Short presentations of work in progress, and tool demonstrations. An
  extended abstract of not more than 4 pages is expected and will be reviewed.
  -- Answers to case study papers: full papers of not more than 14 pages in
  LNCS format reporting on the experiments conducted with any of the state
  based techniques in the scope of ABZ 2014.
  -- Application in industry papers reporting on work or experiences on the
  application of state based formal methods in industry. An extended abstract
  of not more than 4 pages is expected and will be reviewed.
* Submission site: https://easychair.org/conferences/?conf=abz2016
* Important Dates:
  Workshop proposal submission: October 16, 2015
  Research paper, Answers to case study submission: January 15, 2016
  Short and industry paper submission: February 4, 2016
  Tutorial proposal submissions: February 15, 2016
  Tutorial proposal notifications: March 14, 2016
* Detailed information can be found on the conference website
* Contact: Klaus-Dieter SCHEWE (klaus-dieter.schewe@scch.at)



14th INTERNATIONAL SYMPOSIUM ON ARTIFICIAL INTELLIGENCE AND MATHEMATICS (ISAIM 2016)
  Call for Papers
  January 4-6, 2016, Fort Lauderdale FL, USA
  http://isaim2016.cs.virginia.edu
* AIMS AND SCOPE
  The International Symposium on Artificial Intelligence and Mathematics (ISAIM)
  is a biennial meeting that fosters interactions between mathematics,
  theoretical computer science, and artificial intelligence.  This is the
  fourteenth Symposium in the series, which is sponsored by Annals of
  Mathematics   and Artificial Intelligence.  We seek submissions of recent
  results with particular emphasis on the foundations of AI and mathematical
  methods used in AI.  Papers describing applications are also encouraged,
  but the focus should be on principled lessons learned from the development
  of the application. Traditionally, the Symposium attracts participants
  from a variety of disciplines, thereby providing a unique forum for
  scientific exchange. The three-day Symposium includes invited speakers,
  presentations of technical papers, and special topic sessions.
* SPECIAL TOPIC INVITED SESSIONS:
   - Boolean and pseudo-Boolean Functions, organized by Endre Boros, Rutgers
       University, and Yves Crama, University of Liège
   - Computational Approaches to Proof Construction, organized by Vijay Ganesh,
       University of Waterloo
   - Integrating Constraint Programming and Operations Research, organized by
       John Hooker, Carnegie Mellon University
   - Mathematical Theories of Natural Language Processing, organized by
       Sean A. Fulop, California State University, Fresno
* IMPORTANT DATES:
   - Paper submission:  October 25, 2015
   - Notification:      November 22, 2015
   - Final version due: December 14, 2015
   - Workshop:          January 4-6, 2016, Ft. Lauderdale, Florida
* DETAILED CALL FOR PAPERS:     http://isaim2016.cs.virginia.edu/cfps.html
* INSTRUCTIONS FOR SUBMISSIONS:
  http://isaim2016.cs.virginia.edu/submissions.html
* FURTHER INFORMATION:
  Send inquiries and requests to the program committee chairs
  (Francesca Rossi and Kristen Brent Venable) at the email address
  isaim2016 at wave DOT tulane DOT edu.
  Join isaim@googlegroups.com to receive announcements related to ISAIM.



15TH INTERNATIONAL CONFERENCE ON PRINCIPLES OF KNOWLEDGE REPRESENTATION AND REASONING (KR 2016)
  Call for papers
  Cape Town, South Africa, 25-29 April 2016
  http://kr.org/KR2016/
  Co-located with DL 2016 [http://www.dl.kr.org] and NMR 2016 [http://www.kr.org/NMR/]
* KR 2016 IMPORTANT DATES
  --  Submission of title and abstract: 21 November 2015
  --  Paper submission deadline: 28 November 2015
  --  Notification of acceptance: 21 January 2016
  --  Camera-ready papers due: 19 February 2016
  --  Conference: 25-29 April 2016
* AIMS
  Knowledge Representation and Reasoning (KRR) is an exciting, well-established
  field of research. In KRR a fundamental assumption is that an agent's
  knowledge is explicitly represented in a declarative form, suitable for
  processing by dedicated reasoning engines. This assumption, that much of
  what an agent deals with is knowledge-based, is common in many modern
  intelligent systems. Consequently, KRR has contributed to the theory and
  practice of various areas in AI, such as automated planning and natural
  language understanding, among others, as well as to fields beyond AI,
  including databases, software engineering, the semantic web, computational
  biology, and the development of software agents.
* SUBMISSION INFORMATION
  For complete details, see the 'Submission information' page at
  http://www.kr.org/KR2016
* CONFERENCE CHAIRS
 -  General: Chitta Baral (Arizona State University, USA)
 -  Program: James Delgrande (Simon Fraser University, Canada),
    Frank Wolter (University of Liverpool, UK)
 -  Local Organization: Thomas Meyer (University of Cape Town and CAIR,
    South Africa)
 -  Doctoral Consortium: Meghyn Bienvenu (CNRS, France), Joohyung Lee
    (Arizona State University, USA)
 -  Sponsorship and Publicity: Ivan Varzinczak (Federal University of Rio
    de Janeiro, Brazil)



SPECIAL SEMESTER ON COMPUTATIONAL COMPLEXITY AND PROOF COMPLEXITY
  April-June 2016
* Chebyshev Laboratory at St.Petersburg State University
  Organized jointly with the Skolkovo Institute of Science and Technology.
* Events include a WORKSHOP ON PROOF COMPLEXITY, May 17-20, 2016, St. Petersburg,
  organized by Sam Buss and Pavel Pudlak, keynote speaker Jan Krajicek;
  and a WORKSHOP ON LOW-DEPTH COMPLEXITY, May 23-25, 2016, St. Petersburg,
  organized by Ben Rossman and Rahul Santhanam, keynote speaker Ryan Williams.
* Short courses will be held before each workshop.
* Graduate student, postdocs and other researchers may apply for funding for
  both short or extended visits throughout the semester.
* To inquire about participation, or apply for funding, please fill out the
  form on the web page or email the organizers directly.
* Web page: http://en.chebyshev.spb.ru/complexity2016.
* Organizers: Sam Buss and Edward A. Hirsch.



PHD POSITIONS AT THE UNIVERSITY OF PISA
  We would like to announce that the call for 12 grants plus 4 positions
  without bursary, at the PhD in Computer Science of the University of Pisa,
  is now available at: http://dottorato.unipi.it/index.php/en
  The deadline for applications is 3 September 2015, 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
    Mrs Rosaria Mongini 
  or otherwise the chairman of the PhD Programme
    Prof. Pierpaolo Degano 



POSTDOC POSITION AT VIENNA UNIVERSITY OF TECHNOLOGY
  The Institute of Computer Engineering at Vienna
  (http://ti.tuwien.ac.at/) University of Technology is seeking a
  candidate for a postdoctoral research position (one year with the
  posibility to renew for up to other two years), starting as soon as
  possible. The successful applicant will carry out his/her postdoc in
  the research area of formal methods applied to the verification and
  synthesis of timed systems with faults and delays, including
  distributed systems. This task is part of the recently granted
  Austrian FWF National Research Network “RiSE” (2nd funding period,
  http://arise.or.at/nfn/shine-organization-and-subprojects/), to be led
  by Ass.-Prof. Ezio Bartocci in collaboration with Prof. Ulrich Schmid
  and Prof. Radu Grosu and with the other PIs of RiSE:
  http://arise.or.at/principal-investigators/.
* CONTACT DETAILS
  For further information and enquiries about this post please contact
  Ezio Bartocci, e-mail: ezio.bartocci@tuwien.ac.at.
* APPLICATIONS
  Applications, including any attachments, should be submitted by the
  15th of September to the following emails: ezio.bartocci@tuwien.ac.at,
  s@ecs.tuwien.ac.at, radu.grosu@tuwien.ac.at.




Back to the LICS web page.