SIGLOG Monthly 185
August  1, 2016

*******************************************************************
* 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
  ANNOUNCEMENT OF THE 2016 CHURCH AWARD
  ACM SIGLOG Announcement
* DEADLINES
  Forthcoming Deadlines
* CALLS
  DEDUCTION MEETING/DEDUKTIONSTREFFEN 2016 - Call for Papers
  CRV 2016 - Call for Participation
  FORMATS 2016 - Call for participation
  DARE 2016 - Call for Participation
  PODS 2017 - Call for Papers (1st submission cycle)
  ARVI COST 2016 - Call for Participation
  GANDALF 2016 - Call for Participation
  ICLA 2017 - Call for Papers
  KR@SAC17 - Call for Papers
  ICDT 2017 - Call for Papers
  ETAPS 2017 - Call for Papers
* JOB ANNOUNCEMENTS
  3-YEAR POSTDOC POSITION AT HASSELT UNIVERSITY
  11 + 2 PHD POSITIONS 2016 - COMPUTER SCIENCE - PISA


THE 2016 ALONZO CHURCH AWARD
FOR OUTSTANDING CONTRIBUTIONS TO LOGIC AND COMPUTATION
  http://siglog.hosting.acm.org/wp-content/uploads/2016/05/church16.pdf
* The 2016 Alonzo Church Award for Outstanding Contributions to Logic
  and Computation is given to Rajeev Alur and David Dill for their
  invention of timed automata, a decidable model of real-time systems,
  which combines a novel, elegant, deep theory with widespread
  practical impact.
  Rajeev Alur and David Dill: A theory of timed automata.
  Theoretical Computer Science 126(2):183-235, 1994.
* Alur and Dill will receive the award at the 31st Annual ACM/IEEE
  Symposium on Logic in Computer Science (LICS), which will be held on
  July 5-8, 2016, at Columbia University, New York City, USA.
* The Award was established in 2015 by the ACM Special Interest Group
  for Logic and Computation (SIGLOG), the European Association for
  Theoretical Computer Science (EATCS), the European Association for
  Computer Science Logic (EACSL), and the Kurt Goedel Society
  (KGS). It recognises an outstanding contribution represented by a
  paper or small group of papers within the past 25 years; this is the
  first such award. The Award Committee consisted of Catuscia
  Palamidessi, Gordon Plotkin, Wolfgang Thomas, and Moshe Vardi
  (chair).



ACM SIGLOG ANNOUNCEMENT
  http://siglog.acm.org
* The ACM has recently chartered a Special Interest Group on Logic and
  Computation (ACM SIGLOG).
* We are pleased to announce the 2016 ACM SIGLOG election results for
  the term of 1 July 2016 - 30 June 2019. The SIGLOG Chair is Prakash
  Panangaden and the other officers are Luke Ong (vice-Chair), Amy
  Felty (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
* DEDUCTION MEETING/DEDUKTIONSTREFFEN 2016
  Call for Papers
  September 26, 2016, Alpen Adria University, Klagenfurt, Austria
  Hosted by KI 2016.
  https://fg-dedsys.gi.de/dt2016.html
  Standard submission: August 15
* CRV 2016
  Call for Participation
  https://rv2016.imag.fr/?page_id=188
  September 2016, Madrid, Spain
* FORMATS 2016
  Call for participation
  (joint with CONCUR'16 and QEST'16)
  Québec City, Canada, 24-26 August
  http://formats16.lsv.fr/
* DARe-16 at ECAI
  Call for Participation
  Date: 29 August 2016
  The Hague, Netherlands
  http://dare2016.yolasite.com
* ARVI COST 2016
  Call for Participation
  September 23-25, Madrid, Spain
  https://rv2016.imag.fr/?page_id=128
* GANDALF 2016
  Call for Participation
  14-16 September 2016, University of Catania, Italy
  http://gandalf2016.dmi.unict.it
  Early registration deadline: August 21, 2016
* ICLA 2017
  Call for Papers
  IIT Kanpur, India,  January 5-7, 2017
  http://www.cse.iitk.ac.in/users/icla/
  Deadline for Submission: 2 September 2016
* KR@SAC17
  Call for Papers
  Marrakech, Morocco, April 3 - 7, 2017
  Track on Knowledge Representation and Reasoning (KRR)
  Website: http://www.dmi.unipg.it/bista/organizing/KR@sac2017/
  Paper and short abstract deadline: September 15, 2016
* ICDT 2017
  Call for papers
  27-31 March, 2017, Venice, Italy
  http://www.cs.ox.ac.uk/people/michael.benedikt/icdt17.html
  Paper deadine (2nd submission cycle): September 18, 2016
* ETAPS 2017
  Joint call for papers
  Uppsala, Sweden, 22-29 April 2017
  http://www.etaps.org/2017
  Abstracts due (ESOP, FASE, FoSSACS, TACAS): 14 October 2016
  Papers due: 21 October 2016



30th DEDUCTION MEETING/DEDUKTIONSTREFFEN 2016
  Call for Papers
  September 26, 2016, Alpen Adria University, Klagenfurt, Austria
  Hosted by KI 2016.
  https://fg-dedsys.gi.de/dt2016.html
* The annual meeting Deduktionstreffen is the prime activity of the
  Interest Group for Deduction Systems (FGDedSys) of the German
  Informatics Society.
  It is a meeting with a familiar, friendly atmosphere, where all
  members and friends of the German deduction community are invited to
  present, discuss and share their latest research results and ideas
  in an informal setting.
* A particular focus of the Deduktionstreffen is on young researchers
  and students, who are particularly encouraged to present their
  ongoing research projects to a wider audience. Another goal of the
  meeting is stimulate networking effects and to foster collaborative
  research projects.
* Invited Speakers:
   - Armin Biere
   - Cezary Kaliszyk
* We welcome contributions on all theoretical, experimental and
  application aspects of deduction. Accepted abstracts will be
  presented as 5min teaser talks followed by a poster presentation.
* Important dates:
   - Early bird submission: July 15
   - Standard submission: August 15



THE 3RD INTERNATIONAL COMPETITION ON RUNTIME VERIFICATION (CRV 2016)
  Call for Participation
  https://rv2016.imag.fr/?page_id=188
  September 2016, Madrid, Spain
* The 3rd International Competition on Runtime Verification In
  Association with COST Action "Runtime Verification beyond
  Monitoring" held with RV 2016, September 23-30 2016, Madrid, Spain
* The main goal of CRV 2016 is to compare tools for runtime
  verification. We invite and encourage the participation with
  benchmarks and tools for the competition. The competition will
  consist of three main tracks based on what is being monitored:
  - Track on monitoring Java programs (online monitoring)
  - Track on monitoring C programs (online monitoring)
  - Subtrack on Generic Specifications (e.g. in LTL)
  - Subtrack on Implicit Specifications (e.g. memory safety)
  - Track on monitoring of traces (offline monitoring)
* The general organisation of the competition is described in the
  rules document found at
  http://crv.liflab.ca/CRV2016.pdf.
* To register please fill in the form at
  http://goo.gl/forms/kWxFFfFCvZ.
* Please direct any enquiries to the competition co-organizers
  (crv2016@crv.liflab.ca):
  - Ylies Falcone (Univ. Grenoble Alpes, Inria, France),
  - Sylvain Halle (Universite du Quebec a Chicoutimi, Canada),
  - Giles Reger (University of Manchester, Manchester, UK).
* Expected Important Dates
  May 9th Registration Opens
  May 29th Benchmark Submission Deadline
  June 5th Registration Closes
  June 5-12th Clarifications Phase
  June 19th Benchmarks Announced
  July 10th Monitor Submission Deadline
  August 1st Notifications
  At RV 2016 Presentation of Results



14TH INTERNATIONAL CONFERENCE ON FORMAL MODELING AND ANALYSIS OF
TIMED SYSTEMS (FORMATS'16)
  Call for participation
  (joint with CONCUR'16 and QEST'16)
  Québec City, Canada, 24-26 August
  http://formats16.lsv.fr/
* FORMATS'16 will take place in Québec City, Canada, from 24 to 26
  August 2016. It is colocated with the conferences CONCUR'16 and
  QEST'16 (which start on 23 August 2016), and with the workshops
  EXPRESS/SOS (22 August 2016) and TRENDS (27 August 2016).
* Invited speakers, in collaboration with CONCUR and QEST:
  Scott A. Smolka (State University of New York, Stony Brook)
  Ufuk Topcu (University of Texas, Austin)
  Oleg Sokolsky (University of Pennsylvania)
* FORMATS'16 program:
  http://formats16.lsv.fr/?page_id=240
* Registration:
  You can register from the CONCUR website:
  http://www.concur2016.ulaval.ca/registration_and_venue/



THE THIRD INTERNATIONAL WORKSHOP ON "DEFEASIBLE AND AMPLIATIVE
REASONING" (DARE 2016)
  Call for Participation
  29 August 2016, The Hague, Netherlands
  http://dare2016.yolasite.com
* The workshop is held at the European Conference on Artificial
  Intelligence (ECAI 2016)
* DARe welcomes contributions on all aspects of defeasible and
  ampliative reasoning such as (but not limited to):
  - Abductive and inductive reasoning
  - Explanation finding, diagnosis and causal reasoning
  - Inconsistency handling and exception-tolerant reasoning
  - Decision-making under uncertainty and incomplete information
  - Default reasoning, non-monotonic reasoning, non-monotonic logics,
    conditional logics
  - Specific instances and variations of ampliative and defeasible
    reasoning
  - Probabilistic and statistical approaches to reasoning
  - Vagueness, rough sets, granularity and fuzzy-logics
  - Philosophical foundations of defeasibility
  - Empirical studies of reasoning
  - Relationship with cognition and language
  - Contextual reasoning
  - Preference-based reasoning
  - Analogical reasoning
  - Similarity-based reasoning
  - Belief dynamics and merging
  - Argumentation theory, negotiation and conflict resolution
  - Heuristic and approximate reasoning
  - Defeasible normative systems
  - Reasoning about actions and change
  - Reasoning about knowledge and belief, epistemic and doxastic logics
  - Ampliative and defeasible temporal and spatial reasoning
  - Computational aspects of reasoning with uncertainty
  - Implementations and systems
  - Applications of uncertainty in reasoning
* IMPORTANT DATES
  - Submission deadline: 16 June 2016
  - Notification: 28 June 2016
  - Camera ready: 17 July 2016
  - Early registration: 5 July 2016
  - Late registration: [TBA]
  - Workshop date: 30 August 2016
*  WORKSHOP CO-CHAIRS
  - Richard Booth (Cardiff University, United Kingdom)
  - Giovanni Casini (Universite du Luxembourg)
  - Szymon Klarman (Brunel University London, United Kingdom)
  - Gilles Richard (Universite Paul Sabatier, France)
  - Ivan Varzinczak (CRIL, Universite d'Artois, France)
* FURTHER INFORMATION. Please visit the workshop website
  (http://dare2016.yolasite.com) for further information and regular
  updates.



36TH ACM SIGMOD-SIGACT-SIGAI SYMPOSIUM ON PRINCIPLES OF DATABASE
SYSTEMS (PODS 2017)
  Call for Papers (1st submission cycle)
  May 14-19, 2017, Raleigh, North Carolina, USA
  http://www.sigmod2017.org
* PODS has two rounds of submissions (see dates below). Note that the
  1st round is moved earlier compared with the previous editions of
  PODS. This is to better synchronize with the two deadlines of the
  ICDT conference (see
  http://www.cs.ox.ac.uk/people/michael.benedikt/icdt17.html)
* 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 data management
  - 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
* PROGRAM CHAIR
  Floris Geerts (University of Antwerp, BE)
* IMPORTANT DATES
  - Dates for first submission cycle:
    June 12, 2016, 11:59pm PST: Abstract submission
    June 19, 2016, 11:59pm PST: Paper submission
    August 28, 2016, 11:59pm PST: Accept/Reject/Revise notification
    September 25, 2016, 11:59pm PST: Revision deadline
    October 30, 2016, 11:59pm PST: Accept/Reject notification
                                   (Revisions)
  - Dates for second submission cycle:
    December 11, 2016, 11:59pm PST: Abstract submission
    December 18, 2016, 11:59pm PST: Paper submission
    February 26, 2017, 11:59pm PST: Accept/Reject notification
    March 19, 2017, 11:59pm PST: Camera-ready deadline
* AWARDS
  - Best Paper Award: An award will be given to the best submission,
    as judged by the program committee.
  - Best Student Paper Award: There will also be an award for the best
    submission, as judged by the program committee, written by a
    student or exclusively by students.



ARVI COST SUMMER SCHOOL ON RUNTIME VERIFICATION (ARVI COST 2016)
  Call for Participation
  September 23-25, Madrid, Spain
  https://rv2016.imag.fr/?page_id=128
* The first edition of the ARVI COST Summer School on Runtime
  Verification: Branches of Practical Topics Rooted in Theory will be
  co-located with the 16th International Conference on Runtime
  Verification in Madrid and organised over three days with a series
  of lectures from international experts in the field.
* TOPICS:
  - The basics of runtime verification
  - Instrumentation techniques
  - Specification languages
  - Monitor parametrisation
  - Monitoring concurrency errors
  - Performance issues of monitors
  - Combination of static and dynamic analysis
  - Monitoring of distributed systems
  - Time-triggered monitoring
* Confirmed Speakers:
  -  Prof. Wolfgang Ahrendt - Chalmers University of Technology
     and University of Gothenburg (Sweden)
  -  Prof. Ezio Bartocci - University of Vienna (Austria).
  -  Prof. Borzoo Bonakdarpour - University of MacMaster (Canada).
  -  Dr. Marius Bozga - CNRS - Verimag (France).
  -  Dr. Christian Colombo - University of Malta (Malta).
  -  Dr. Ylies Falcone - University of Grenoble (France).
  -  Dr. Adrian Francalanza - University of Malta (Malta).
  -  Dr. Klaus Havelund - NASA Jet Propulsion Laboratory (USA).
  -  Prof. Martin Leucker - University of Lubeck (Germany).
  -  Prof. Joao Lourenco - Universidade Nova de Lisboa (Portugal).
  -  Prof. Dejan Nikovic Technical University of Vienna (Austria).
  -  Prof. Gordon Pace - University of Malta (Malta).
  -  Dr. Giles Reger - University of Manchester (UK).
* Application Procedure and Important Dates:
  Deadline for Applications: July 15, 2016.
  Response to Applicants: July 20, 2016.
  Online Registration and Fee payment: July 29, 2016.
* More details can be found at: https://rv2016.imag.fr/?page_id=128.
  Enquiries can be sent to Ylies.Falcone@imag.fr or
  Christian.Colombo@um.edu.mt.



THE SEVENTH INTERNATIONAL SYMPOSIUM ON GAMES, AUTOMATA, LOGICS AND
FORMAL VERIFICATION (GANDALF 2016)
 Call for Participation
 14-16 September 2016, University of Catania, Italy
 http://gandalf2016.dmi.unict.it
* Important dates:
  - Early registration deadline: August 21, 2016
  - Late registration deadline: September 4, 2016
  - Conference: 14-16 September 2016, 2016
* The aim of the symposium is to bring together researchers from
  academia and industry which are actively working in the fields of
  Games, Automata, Logics, and Formal Verification. The topics covered
  by the symposium include, but are not limited to, the following:
  - Automata Theory
  - Automated Deduction
  - Computational aspects of Game Theory
  - Concurrency and Distributed computation
  - Decision Procedures
  - Deductive, Compositional, and Abstraction Techniques for
    Verification
  - Finite Model Theory
  - First-order and Higher-order Logics
  - Formal Languages
  - Formal Methods for Systems Biology, Hybrid, Embedded, and Mobile
    Systems
  - Games and Automata for Verification
  - Game Semantics
  - Logical aspects of Computational Complexity
  - Logics of Programs
  - Modal and Temporal Logics
  - Model Checking
  - Models of Reactive and Real-Time Systems
  - Program Analysis and Software Verification
  - Run-time Verification and Testing
  - Specification and Verification of Finite and Infinite-state Systems
  - Synthesis
* INVITED SPEAKERS
  - Luca Bortolussi (University of Trieste, Italy)
  - Joanna Golinska-Pilarek (Institute of Philosophy, University of
    Warsaw, Poland)
  - Arnaud Sangnier (Laboratoire IRIF, Université Paris Diderot,
    France)
* The proceedings are published by EPTCS.
* Registration: http://gandalf2016.dmi.unict.it/registration.php/
* For more details on the symposium, please visit the website:
  http://gandalf2016.dmi.unict.it



7th INDIAN CONFERENCE ON LOGIC AND ITS APPLICATIONS (ICLA 2017)
  Call for Papers
  IIT Kanpur, India,  January 5-7, 2017
  http://www.cse.iitk.ac.in/users/icla/
  Deadline for Submission: 2 September 2016
* ALI, the Association for Logic in India, announces the seventh
  edition of its biennial International Conference on Logic and its
  Applications (ICLA), to be held at the Indian Institute of
  Technology Kanpur, from January 5 to 7, 2017. ICLA 2017 will be
  co-located with the Methods for Modalities Workshop to be held
  during January 8-10, 2017.
* ICLA is a forum for bringing together researchers from a wide
  variety of fields in which formal logic plays a significant role,
  along with mathematicians, computer scientists, 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 (2015) may be found at
  https://www.cse.iitb.ac.in/~icla15/.
* INVITED SPEAKERS
  Nicholas Asher, IRIT Toulouse
  Natasha Dobrinen, University of Denver
  Luke Ong, University of Oxford (to be confirmed)
  Richard Zach, University of Calgary
* IMPORTANT DATES
  Deadline for Submission: 2 September 2016
  Notification to Authors: 8 October 2016
  Deadline for camera-ready papers: 17 October 2016
  Deadline for early-bird registration: 30 November 2016
* IMPORTANT LINKS
  http://ali.cmi.ac.in
  http://www.cse.iitk.ac.in/users/icla/
* PROGRAMME CHAIRS
  Sujata Ghosh (ISI Chennai) Co-chair
  Sanjiva Prasad (IIT Delhi) Co-chair
* CONTACT
  Any queries related to the conference may be sent to the following
  email address: icla2017.iitk@gmail.com



THE 32ND ACM SIGAPP SYMPOSIUM ON APPLIED COMPUTING (KR@SAC17)
  Marrakech, Morocco, April 3 - 7, 2017
  Track on Knowledge Representation and Reasoning (KRR)
  Website: http://www.dmi.unipg.it/bista/organizing/KR@sac2017/
* OVERVIEW: The topic of the track covers an important field of
  research in Artificial Intelligence: KRR is indeed a trending topic
  (for instance, its Argumentation-theory subfield). A similar
  dedicated conference is the International Conference on Principles
  of Knowledge Representation and Reasoning, but all the major
  conferences in AI (e.g., AAAI, IJCAI, AAMAS, ECAI) have KRR among
  their topics of interest. KRR track will be a venue for all the
  researchers and practitioners working on the fundaments (but also
  applications) of reasoning, and the cross-fertilization among
  different approaches (e.g., Argumentation and Belief Revision). ACM
  SAC is ranked CORE:B, MAS:A-, SHINE:A. The average acceptance rate
  per track is under 25%.
* CALL FOR PAPER: Knowledge-representation is the field of artificial
  intelligence that focuses on designing computer representations that
  capture information about the world that can be used to solve
  complex problems. Topics of interest include, but are not limited to:
  - Argumentation
  - Belief revision and update, belief merging, etc.
  - Commonsense reasoning
  - Constraint Programming and KRR
  - Contextual reasoning
  - Description logics
  - Diagnosis, abduction, explanation
  - Inconsistency- and exception tolerant reasoning, para-consistent
     logics
  - KR and autonomous agents: intelligent agents, cognitive
    robotics, multi-agent systems
  - KR and decision making, game theory,
    social choice
  - KR and machine learning, inductive logic programming, knowledge
    discovery and acquisition
  - Logic  programming, answer set programming, constraint logic
    programming
  - Non-monotonic logics, default logics, conditional logics
  - Preferences: modeling and representation, preference-based
    reasoning
  - Reasoning about knowledge and belief, dynamic epistemic logic,
    epistemic and doxastic logics
  - Reasoning systems and solvers, knowledge compilation
  - Spatial reasoning and temporal reasoning, qualitative reasoning
  - Uncertainty, representations of vagueness, many-valued and fuzzy
    logics
* IMPORTANT DATES:
  - September 15, 2016: Papers and SRC research abstracts submission
  - September 25, 2016: Tutorial proposals submission
  - October 25, 2016: Tutorials notifications
  - November 10, 2016: Paper and SRC notifications
  - November 25, 2016: Paper and SRC camera-ready copies • December
    10, 2016: Author registration
* CHAIRS:
  Stefano Bistarelli, University of Perugia, Italy
  Martine Ceberio, University of Texas at El Paso, USA
  Eric Monfroy, University of Nantes, France
  Francesco Santini, University of Perugia, Italy



THE 20TH INTERNATIONAL CONFERENCE ON DATABASE THEORY (ICDT 2017)
  Call for papers
  27-31 March, 2017, Venice, Italy
  http://www.cs.ox.ac.uk/people/michael.benedikt/icdt17.html
* The series of ICDT conferences (http://icdt.tu-dortmund.de/)
  provides an international forum for the communication of research
  advances on the theoretical foundations of database systems.
* ICDT has made significant changes to its submission dates, in
  co-ordination with its sibling conference PODS. There are now two
  submission cycles, with the first providing the possibility of
  revision.
* First submission cycle:
  Abstract deadline: March 18, 2016
  Full paper submission deadline: March 25, 2016
  Accept/Reject/Revise Notification: May 29, 2016
* Second submission cycle:
  Abstract deadline: September 11, 2016
  Full paper submission deadline: September 18, 2016
  Notification: November 27, 2016
* Examples of relevant topics are: concurrency and recovery,
  distributed and parallel databases, cloud computing, connections
  between databases and knowledge representation, 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,
  database aspects of machine learning, model theory, logics,
  algebras, computational complexity, design, semantics, query
  languages, data models, data structures, algorithms for data
  management.



20TH EUROPEAN JOINT CONFERENCES ON THEORY AND PRACTICE OF SOFTWARE
(ETAPS 2017)
  Joint call for papers
  Uppsala, Sweden, 22-29 April 2017
  http://www.etaps.org/2017
* 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 five main annual
  conferences, accompanied by satellite workshops. ETAPS 2017 is the
  twentieth event in the series.
* MAIN CONFERENCES (24-28 April)
  - ESOP: European Symposium on Programming
          (PC chair Hongseok Yang, University of Oxford, UK)
  - FASE: Fundamental Approaches to Software Engineering
          (PC chairs Marieke Huisman, Universiteit Twente, The
          Netherlands, and Julia Rubin, University of British Columbia,
          Canada)
  - FOSSACS: Foundations of Software Science and Computation Structures
          (PC chairs Javier Esparza, Technische Universität München,
          Germany, Andrzej Murawski, University of Warwick, UK)
  - POST: Principles of Security and Trust
          (PC chairs Matteo Maffei, Universität des Saarlandes, Germany,
          Mark D. Ryan, University of Birmingham, UK)
  - TACAS: Tools and Algorithms for the Construction and Analysis of
           Systems
          (PC chairs Axel Legay, INRIA Rennes, France,
          and Tiziana Margaria, LERO, Ireland)
* TACAS '17 hosts the 6th Competition on Software Verification
  (SV-COMP).
* INVITED SPEAKERS
   - Unifying speakers:
     Michael Ernst (University of Washington, USA)
     Kim G. Larsen (Aalborg University, DK)
   - FoSSaCS invited speaker:
     Joel Ouaknine (University of Oxford, UK)
   - TACAS invited speaker:
     Dino Distefano (Facebook and Queen Mary University of London, UK)
* IMPORTANT DATES
    -  Abstracts due (ESOP, FASE, FoSSACS, TACAS): 14 October 2016
    -  Papers due: 21 October 2016
    -  Rebuttal (ESOP and FoSSaCS only): 7-9 December 2016
    -  Notification: 22 December 2016
    -  Camera-ready versions due: 20 January 2017
* SATELLITE EVENTS (22-23 April, 29 April)
  Around 20 satellite workshops will take place before and after the
  main conferences.
* Please do not hesitate to contact the organizers at
  parosh.abdulla@it.uu.se, mohamed_faouzi.atig@it.uu.se



3-YEAR POSTDOC POSITION AT HASSELT UNIVERSITY
* We have a vacancy for a 3-year postdoc position at Hasselt
  University.  The salary is very good and it comes with social
  security, health insurance, what have you.  The topic is very
  flexible as long as it has to do with finite model theory,
  expressive power of database query languages, in particular
  query languages for novel data models such as JSON or graph
  data, tractable fragments of higher-order logic is also a theme
  that fits.
* The position needs to be filled by 1 January 2017 at the latest.
* The research group on Databases and Theoretical Computer
  Science at Hasselt University is a leading group in the
  theoretical foundations of data management.  Professors are
  Marc Gyssens, Bart Kuijpers, Frank Neven, and Jan Van den
  Bussche
* Please email Jan Van den Bussche
  (jan.vandenbussche@uhasselt.be) if you are interested.
* http://alpha.uhasselt.be/jan.vandenbussche



11 + 2 PHD POSITIONS 2016 -- COMPUTER SCIENCE -- PISA
* We would like to announce that the call for 11 grants plus 2
  positions without bursary, at the PhD in Computer Science of the
  University of Pisa, will be available at:
  http://dottorato.unipi.it/index.php/en/application-process-for-the-academic-year-2016-2017.html
* The deadline for applications is September 2nd, 2016 h 13.00
  (Central European Time), 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.