SIGLOG Monthly 179
February  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
  The Alonzo Church Award 2016 - Call for Nominations
  2016 SIGLOG Election - Update
  ACM SIGLOG Announcement
* DEADLINES
  Forthcoming Deadlines
* CALLS
  FSCD'16 - Call for papers
  PHDS IN LOGIC VIII - Call for submissions
  DISCOTEC 2016 - Second Call for Papers
  Elsevier Ad Hoc Networks Journal Special Issue - Call for papers
  ABZ 2016 - Call for Papers, Answers to the case study, Workshops, Tutorials
  NFM 2016 - Call For Papers
  CCC 2015 -  Second call for submission
  QPL 2016 - Call for Papers
  CCA 2016 -  First Call for Papers
  RuleML 2016 - Call for Papers
  WoLLIC 2016 - Call for Papers
  HaPoP 2016 - Call for Papers
  LFCS 30TH ANNIVERSARY CELEBRATION + WADLERFEST - Call for Participation
  FMICS-AVoCS 2016 - Call for Papers
  RV 2016 - Call For Papers
  ILP2016 - Call For Papers
  SSBSS 2016 - Call for Participation
* JOB ANNOUNCEMENTS
  PHD & POSTDOC POSITION AT JACOBS UNIVERSITY BREMEN


THE 2016 ALONZO CHURCH AWARD FOR OUTSTANDING CONTRIBUTIONS TO LOGIC AND COMPUTATION
  Call for Nominations
* INTRODUCTION An annual award, called the Alonzo Church Award for
  Outstanding Contributions to Logic and Computation, 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 Godel Society (KGS). The award is for an
  outstanding contribution represented by a paper or by a small group
  of papers published within the past 25 years. This time span allows
  the lasting impact and depth of the contribution to have been
  established. The award can be given to an individual, or to a group
  of individuals who have collaborated on the research. For the rules
  governing this award, see
  http://siglog.hosting.acm.org/the-alonzo-church-award-for-outstanding-contributions-to-logic-and-computation/
* ELIGIBILITY AND NOMINATIONS The contribution must have appeared in a
  paper or papers published within the past 25 years. Thus, for the
  2016 award, the cut-off date is January 1, 1991. When a paper has
  appeared in a conference and then in a journal, the date of the
  journal publication will determine the cut-off date. In addition,
  the contribution must not yet have received recognition via a major
  award, such as the Turing Award, the Kanellakis Award, or the Godel
  Prize. (The nominee(s) may have received such awards for other
  contributions.) While the contribution can consist of conference or
  journal papers, journal papers will be given a preference.
* NOMINATIONS for the 2016 award are now being solicited. The
  nominating letter must summarize the con tribution and make the case
  that it is fundamental and outstanding. The nominating letter can
  have multiple co-signers. Self-nominations are excluded. Nominations
  must include: a proposed citation (up to 25 words); a succinct
  (100-250 words) description of the contribution; and a detailed
  statement (not exceeding four pages) to justify the
  nomination. Nominations may also be accompanied by supporting
  letters and other evidence of worthiness.
* Nominations are due by March 1, 2016, and should be submitted to
  vardi@cs.rice.edu.
* PRESENTATION OF THE AWARD The 2016 award will be presented at LICS,
  the flagship conference of SIGLOG. The award will be accompanied by
  an invited lecture by the award winner, or by one of the award
  winners. The awardee(s) will receive a certificate and a cash prize
  of USD 2,000. If there are multiple awardees, this amount will be
  shared.
* AWARD COMMITTEE The 2016 Alonzo Church Award Committee consists of
  the following four members: Catuscia Palamidessi, Gordon Plotkin,
  Wolfgang Thomas, and Moshe Vardi (chair).



2016 SIGLOG ELECTION
  (respectfully submitted by Dale Miller, Chair of the Nominating Committee)
* PROCEDURE
  The Nominating Committee for the 2016 SIGLOG election has submitted
  the following ballot to the ACM.  The candidates are listed in the
  order they confirmed their participation with the committee.
  Information about the nomination procedure, including the option to
  petition to be on the ballot, can be found at
  http://www.acm.org/sigs/elections/pol_proc/.
  Vision statements from all the candidates will be collected and
  distributed to all SIGLOG members early in 2016.
* MESSAGE
  I wish to thank all those who have volunteered to be on the ballot.
  The enthusiasm shown by the many who responded demonstrates that there
  is very strong interest in SIGLOG and its future.
* CURRENT BALLOT
  - Chair
    1 Prakash Panangaden
    2 Prasad Sistla
    3 Simona Ronchi Della Rocca
    4 Frank de Boer
  - Vice Chair
    1 Luke Ong
    2 Frank Pfenning
    3 Martin Hofmann
    4 Leszek Pacholski
    5 Veronique Cortier
  - Treasurer
    1 Natarajan Shankar
    2 R. Ramanujam
    3 Vivek Nigam
    4 Amy Felty
  - Secretary
    1 Alexandra Silva
    2 Elaine Pimentel
    3 Zakaria Chihani



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
* FSCD'16
  Call for Papers
  June 22-26, 2016, Porto, Portugal
  http://fscd2016.dcc.fc.up.pt/
  Abstract submission due: 8 February 2016
* PhDs in Logic VIII
  Call for submissions
  May 9-11, 2016, Darmstadt, Germany
  http://www.mathematik.tu-darmstadt.de/fbereiche/logik/phdsinlogic2016/?site=home
  Deadline for submissions: February 7, 2016
* DISCOTEC 2016
  Second Call for Papers
  June 6-9, 2016, Heraklion, Greece
  http://2016.discotec.org/
  Paper submission: February 8, 2016
* Elsevier Ad Hoc Networks Journal Special Issue
  Call for Papers
  Paper submission: February 14th, 2016
* ABZ 2016
  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/
* NFM 2016
  Call For Papers
  June 7-9 2016, McNamara Alumni Center, University of Minnesota
  http://crisys.cs.umn.edu/nfm2016
  paper submission deadline:    2/19/2016
* CCC 2015
  Call for submission (Extended Deadline)
  Deadline for submission: 15 March 2016
* QPL 2016
  Call for papers
  June 6-10, 2016, University of Strathclyde, Glasgow, Scotland
  http://qpl2016.cis.strath.ac.uk
  Submission: March 13, 2016
* CCA 2016
  First Call for Papers
  June 15-17, 2016, Faro, Portugal
  http://cca-net.de/cca2016/
  Submission deadline: March 14, 2016 (two-page abstracts)
* RuleML 2016
  Call for Papers
  5-8 July, 2016, New York, USA
  http://2016.ruleml.org/calls
  Title and Abstract: March 11, 2016
  Paper Submission: March 18, 2016
* WoLLIC 2016
  Call for Papers
  August 16th-19th, 2016, Puebla, Mexico
  http://wollic.org.wollic2016/
  Mar 21, 2016: Full paper deadline
* HaPoP 2016
  June 25, 2016, CNAM, Paris, France
  www.hapoc.org/hapop3
  http://hapoc.org/node/167
  Submission deadline: March 31, 2016
* LFCS 30TH ANNIVERSARY CELEBRATION + WADLERFEST
  Call for Participation
  11-13 April 2016, Edinburgh
  LFCS30: http://events.inf.ed.ac.uk/lfcs30/
  WadlerFest: http://events.inf.ed.ac.uk/wf2016/
* FMICS-AVoCS 2016
  Call for Papers
  26-29 September 2016, Pisa, Italy
  http://fmics-avocs.isti.cnr.it/
  Abstract submission: April 18, 2016
  Paper submission: April 25, 2016
* RV 2016 - 1st Call for Papers
  September 23-30, Madrid, Spain
  http://rv2016.imag.fr
  Abstract deadline: May 8, 2016
  Paper and tutorial deadline: May 15, 2016
* ILP2016 - Call For Papers
  Call For Papers
  September 4th - 6th, 2016, London, UK
  http://ilp16.doc.ic.ac.uk
  Long paper submission: 13 May   2016
  Short Paper submission: 24 July  2016
* SSBSS 2016
  Call for Participation
  8-14 July 2016, Volterra (Pisa), Tuscany, Italy



FIRST INTERNATIONAL CONFERENCE ON FORMAL STRUCTURES FOR COMPUTATION AND DEDUCTION (FSCD'16)
  Call for Papers
  June 22-26, 2016, Porto, Portugal
  http://fscd2016.dcc.fc.up.pt/
* The FSCD conference series (http://fscdconference.org/) covers  all
  aspects of formal structures for computation and deduction from
  theoretical foundations to applications. Building on two communities,
  RTA (Rewriting Techniques and Applications) and TLCA (Typed Lambda
  Calculi and Applications), FSCD embraces their core topics and broadens
  their scope to closely related areas in logics, proof theory and new
  emerging models of computation such as quantum computing and homotopy
  type theory. The name of the new conference comes from an unpublished
  but important book by Gerard Huet that strongly influenced many
  researchers in the area.
* Suggested, but not exclusive, list of topics for submission are:
  1. Calculi (Lambda calculus; Logics; Rewriting systems; Proof theory;
     Type theory and logical frameworks; Homotopy type theory)
  2. Methods in Computation and Deduction (Type systems; Induction,
     coinduction; Matching; Unification; Completion; Orderings; Strategies;
     Tree automata; Model building and model checking; Proof search;
     Constraint solving and decision procedures)
  3. Semantics (Operational semantics and abstract machines; Game Semantics
     and applications; Domain theory and categorical models; Quantitative
     models; Quantum computation and emerging models in computation)
  4. Algorithmic Analysis and Transformations of Formal Systems (Type
     Inference and type checking; Abstract Interpretation; Complexity
     analysis and implicit computational complexity; Checking termination,
     confluence, derivational complexity and related properties; Symbolic
     computation)
  5. Tools and Applications (Programming and proof environments;
     Verification tools; Libraries for proof assistants and interactive
     theorem provers; Case studies in proof assistants and interactive
     theorem provers; Certifications; Applications of formal systems inside
     and outside of CS)
* IMPORTANT DATES:
  Abstract submission due: 8 February 2016;
  Paper Submission: 12 February 2016;
  Rebuttal: 21-23 March 2016;
  Notification: 6 April 2016
* INVITED SPEAKERS
  - Amal Ahmed    (USA)
  - Ichiro Hasuo  (Japan)
  - Gerard Huet   (France)
  - Tobias Nipkow (Germany)
* PROGRAM CHAIRS
  - Delia Kesner (Univ.  Paris-Diderot)
  - Brigitte Pientka (McGill University)
  fscd16@easychair.org
* SPECIAL ISSUE
  After the conference, authors of selected papers will be invited to submit
  extended versions of their work to a special issue published in the
  open-access journal Logical Methods in Computer Science (LMCS).
* SATELLITE EVENTS
  The  following meetings and  workshops are  colocated with  FSCD 2016:
  CL&C, DCM, HDRA, HOR, IFIP  Working Group 1.6, ITRS, Linearity, LFMTP,
  LSFA, UNIF, WPTE, WWV.



PHDS IN LOGIC VIII
  Call for Submissions
  May 9-11, 2016, Darmstadt, Germany
  http://www.mathematik.tu-darmstadt.de/fbereiche/logik/phdsinlogic2016/?site=home
* "PhDs in Logic" is an annual graduate conference organised by local
  graduate students. This conference has an interdisciplinary character,
  welcoming contributions to various topics in Mathematical Logic,
  Philosophical Logic, and Logic in Computer Science. It involves tutorials
  by established researchers as well as short presentations by PhD students
  on their research.
  We are happy to announce that the next edition of "PhDs in Logic" will
  take place in Darmstadt, Germany, during May 9-11 2016, hosted by the
  Logic research group of the Department of Mathematics, TU Darmstadt.
* Registration and abstract submission for interested PhD students are now
  open. We welcome contributions from any general field of Logic.
* Important dates:
  - February 7, 2016: deadline for submissions
  - April 2, 2016: author notification
  - April 30, 2016: registration closes
* Confirmed tutorial speakers are:
  Mirna Dzamonja (University of East Anglia, UK)
  Nina Gierasimczuk (University of Amsterdam, the Netherlands)
  Ulrich Kohlenbach (TU Darmstadt, Germany)
  Martin Otto (TU Darmstadt, Germany)



11th INTERNATIONAL FEDERATED CONFERENCE DISTRIBUTED COMPUTING TECHNIQUES (DISCOTEC 2016)
  Second Call for Papers
  June 6-9, 2016, Heraklion, Greece
  http://2016.discotec.org/
  Paper submission: February 8, 2016
* The DisCoTec series of federated conferences is one of the major
  events sponsored by the International Federation for Information
  processing (IFIP). The main conferences are:
  - COORDINATION 2016: 18th IFIP International Conference on
    Coordination Models and Languages
  - DAIS 2016: 16th IFIP International Conference on
    Distributed Applications and Interoperable Systems
  - FORTE: 36th IFIP International Conference on Formal
    Techniques for Distributed Objects, Components and Systems
* This year IFIP offers an award for the best paper of DisCoTec.
* Topics of interest for each conference can be found on the webpage.
* Important Dates:
  - Abstract submission: February 1, 2016
  - Paper submission: February 8, 2016
  - Notification: March 21, 2016
  - Camera-ready version: April 4, 2016
  - Early registration: May 9, 2016
* Invited Speakers:
  - Tim Harris (Oracle Labs, UK)
  - Catuscia Palamidessi (INRIA, France)
  - Vijay Saraswat (IBM Research, USA)
* Conference Chairs:
  - General: Kostas Magoutis (University of Ioannina & ICS-FORTH, Greece)
  - Publicity: George Baryannis (University of Huddersfield, UK)
  - Workshops: Vincenzo Gulisano (Chalmers University of Technology, Sweden)
  - COORDINATION PC: Alberto Lluch Lafuente (Technical University of Denmark, Denmark),
    Jose Proenca, KU Leuven (Belgium and University of Minho, Portugal)
  - DAIS PC: Evangelia Kalyvianaki (City University London, UK),
    Mark Jelasity (University of Szeged, Hungary)
  - FORTE PC: Elvira Albert (Complutense University of Madrid, Spain),
    Ivan Lanese (University of Bologna/INRIA, Italy)



Performance Modeling and Analysis of Wireless Ad-Hoc and Sensor Networks
  A Special Issue in Elsevier Ad Hoc Networks Journal
  Call for Papers
  http://www.journals.elsevier.com/ad-hoc-networks/call-for-papers/special
  -issue-on-modeling-and-performance-evaluation-of-wire/
* IMPORTANT DATES
  - Paper submission: February 14th, 2016
  - First round notification: March 30th, 2016
  - First round revision: April 30th, 2016
  - Second round notification: June 30th, 2016
  - Final papers: July 15th, 2016
* A primary aim of wireless ad-hoc networks is to deliver data in
  areas where there is no pre-defined infrastructure. In these
  networks, the users, but also the network entities can be
  potentially mobile. Wireless ad-hoc networks have recently witnessed
  their fastest growth period ever in history. Real wireless ad-hoc
  networks are now implemented, deployed and tested, and this trend is
  likely to increase in the future. However, as such networks are
  increasingly complex, performance modeling and evaluation play a
  crucial part in their design process to ensure their successful
  deployment and exploitation in practice.
* This special issue on Modeling and Performance Evaluation of
  Wireless Ad-Hoc Networks era aims to open a new critical debate on
  the evaluation of wireless ad-hoc networks. In particular, we seek
  original theoretical and/or practical contributions, from
  researchers and practitioners that identify and address issues in
  evaluating wireless ad-hoc networks.
* A detailed submission guideline is available as a Guide to Authors
  at http://www.elsevier.com/locate/adhoc
* Editor in Chief
  Ian Akyildiz, Georgia Institute of Technology
* Guest Editors
  - Monica Aguilar Igartua, Universitat Politecnica de Catalunya
  - Carolina Tripp Barba, Universidad Autonoma de Sinaloa
  - Cristina Alcaraz Tello, University of Malaga



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)



THE 8TH NASA FORMAL METHODS SYMPOSIUM (NFM 2016)
  Call For Papers
  June 7-9 2016, McNamara Alumni Center, University of Minnesota
  http://crisys.cs.umn.edu/nfm2016
* THEME OF THE SYMPOSIUM
  The widespread use and increasing complexity of mission-critical and
  safety-critical systems at NASA and the aerospace industry requires advanced
  techniques that address their specification, design, verification, validation,
  and certification requirements. The NASA Formal Methods Symposium is a forum
  to foster collaboration between theoreticians and practitioners from NASA,
  academia, and the industry, with the goal of identifying challenges and
  providing solutions towards achieving assurance for such critical systems.
  New developments and emerging applications like autonomous on-board software
  for Unmanned Aerial Systems (UAS), UAS Traffic Management (UTM), advanced
  separation assurance algorithms for aircraft, and the need for system-wide
  fault detection, diagnosis, and prognostics provide new challenges for system
  specification, development, and verification approaches. Similar challenges
  need to be addressed during development and deployment of on-board software
  for spacecraft ranging from small and inexpensive CubeSat systems to manned
  spacecraft like Orion, as well as for ground systems.
  The focus of the symposium will be on formal techniques and other approaches
  for software assurance, their theory, current capabilities and limitations,
  as well as their potential application to aerospace, robotics, and other
  NASA-relevant safety-critical systems during all stages of the software
  life-cycle.
* TOPICS OF INTEREST
  include but are not limited to
  - Model checking
  - Theorem proving
  - SAT and SMT solving
  - Symbolic execution
  - Static analysis
  - Model-based development
  - Runtime verification
  - Software and system testing
  - Safety assurance
  - Fault tolerance
  - Compositional verification
  - Security and intrusion detection
  - Design for verification and correct-by-design techniques
  - Techniques for scaling formal methods
  - Applications of formal methods in the development of:
    - autonomous systems
    - safety-critical artificial intelligence systems
    - cyber-physical, embedded, and hybrid systems
    - fault-detection, diagnostics, and prognostics systems
  - Use of formal methods in:
    - assurance cases
    - human-machine interaction analysis
    - requirements generation, specification, and validation
    - automated testing and verification
* IMPORTANT DATES
  - Paper Submission:    2/19/2016
  - Paper Notifications: 4/8/2016
  - Camera-ready Papers: 4/27/2016
  - Symposium:           6/7 - 6/9/2016
* ORGANIZING COMMITTEE
  - Michael Lowry, NASA Ames Research Center, USA (NASA Liaison)
  - Johann Schumann, SGT, Inc./NASA Ames Research Center, USA (General Chair)
  - Oksana Tkachuk, SGT, Inc./NASA Ames Research Center, USA (PC Chair)
  - Sanjai Rayadurgam, University of Minnesota, USA (PC Chair)
  - Mike Whalen, University of Minnesota, USA (Financial Chair)
  - Mats Heimdahl, University of Minnesota, USA (Local Arrangements Chair)



CONTINUITY, COMPUTABILITY, CONSTRUCTIVITY: FROM LOGIC TO ALGORITHMS 2015 (CCC 2015)
  Call for submission - postproceedings
* After a further year of successful work in the EU-IRSES project
  COMPUTAL and an excellent workshop in Kochel (Germany) in September
  this year, we are planning to publish a collection of papers
  dedicated to the meeting and the project as a part of LOGICAL METHODS
  IN COMPUTER SCIENCE. The issue should reflect progress made in
  Computable Analysis and related areas, not only work in the project.
  Submissions are welcome from all scientists and should be on topics
  in the spectrum from logic to algorithms including, but not limited
  to, Computable analysis Complexity of real number computations
  Computing with continuous data Domain theory and analysis Randomness
  and computable measure theory Models of computation with real numbers
  Realizability theory and analysis Reverse analysis Exact real number
  computation Program extraction in analysis.
* EDITORS:
  Ulrich Berger (Swansea, UK)
  Willem Fouche (UNISA, Pretoria)
  Arno Pauly (Brussels, Belgium)
  Dieter Spreen (Siegen, Germany)
  Martin Ziegler (KAIST, South Korea)
* DEADLINE FOR SUBMISSION: 15 March 2016
  If you intend to submit a paper, please send a corresponding email to
  spreen@math.uni-siegen.de untill 15 February 2016
  You will then receive concrete submission instructions and a
  Special-Issue-Code allowing you to submit your paper for the special
  issue.



THE 13TH INTERNATIONAL WORKSHOP ON QUANTUM PHYSICS AND LOGIC (QPL 2016)
  Call for papers
  June 6-10, 2016, University of Strathclyde, Glasgow, Scotland
  http://qpl2016.cis.strath.ac.uk
  Submission: March 13, 2016
* The 13th International Workshop on Quantum Physics and Logic (QPL)
  will take place at the University of Strathclyde between Tuesday 7
  and Friday 10 June, 2016.  The workshop brings together researchers
  working on mathematical foundations of quantum physics, quantum
  computing, and related areas, with a focus on structural
  perspectives and the use of logical tools, ordered algebraic and
  category-theoretic structures, formal languages, semantical methods,
  and other computer science techniques applied to the study of
  physical behaviour in general.
* INVITED SPEAKERS
  - Elham Kashefi (University of Edinburgh)
  - Tom Leinster (University of Edinburgh, to be confirmed)
  - Krysta Svore (Microsoft Research)
  - Stephanie Wehner (Technical University Delft)
* PROGRAM CHAIRS
  Ross Duncan (University of Strathclyde)
  Chris Heunen (University of Edinburgh)
* SATELLITES
  On Monday June 6 there will be tutorial lectures. More details will
  be announced later.On Saturday June 11 there will be a satellite
  workshop on "Semantic spaces at the intersection of natural language
  processing, physics, and cognitive science". More details can be
  found at: https://www.sites.google.com/site/semspworkshop.
* IMPORTANT DATES
  Submission: March 13, 2016
  Notification: April 24
  Papers ready: May 29
  Tutorials: June 6
  Workshop: June 7-10
* REGISTRATION AND SUPPORT
  We encourage participation of graduate students and those with
  caregiving responsibilities. We hope to be able to provide limited
  financial support for travel and accommodations;



COMPUTABILITY AND COMPLEXITY IN ANALYSIS (CCA 2016)
  First Call for Papers
  June 15-17, 2016, Faro, Portugal
  http://cca-net.de/cca2016/
  Submission deadline: March 14, 2016 (two-page abstracts)
* Topics: computable analysis; complexity on real numbers;
  constructive analysis; domain theory and analysis; theory of
  representations; computable numbers, subsets and functions;
  randomness and computable measure theory; models of computability on
  real numbers; realizability theory and analysis; reverse analysis;
  real number algorithms; implementation of exact real number
  arithmetic.
* Detailed information can be found on the webpage.



THE 10TH INTERNATIONAL WEB RULE SYMPOSIUM (RULEML 2016)
  Call for Papers
  5-8 July, 2016, New York, USA
  http://2016.ruleml.org/calls
  Title and Abstract: March 11, 2016
  Paper Submission: March 18, 2016
* The annual International Web Rule Symposium (RuleML) is the leading
  international event in the field of rules and their applications.
  RuleML 2016, the tenth event in this series, will be held at Stony
  Brook University, USA. RuleML is the leading conference to build
  bridges between academia and industry in the field of rules and its
  applications, especially as part of the semantic technology stack. It
  is devoted to rule-based programming and rule-based systems including
  production rules systems, logic programming rule engines, and business
  rules engines/business rules management systems; Semantic Web rule
  languages and rule standards (e.g., RuleML, SWRL, RIF, PRR, SBVR, DMN,
  CL, Prolog); rule-based event processing languages (EPLs) and
  technologies; and research on inference rules, transformation rules,
  decision rules, production rules, and ECA rules.
* RuleML 2016 will host multiple special tracks, as well as hosting the
  10th International Rule Challenge, and the 6th RuleML Doctoral
  Consortium. Special topic tracks: Smart Contracts, Blockchain and
  Rules Track, Constraint Handling Rules Track, Event Driven
  Architectures and Active Database Systems Track, Legal Rules and
  Reasoning Track, Rule- and Ontology-Based Data Access and
  Transformation Track, and Rule Induction and Learning Track.
* Industry Track The RuleML 2016 Industry Track targets businesses and
  the private sector interested in sharing, exploring, and learning
  about the use of rules and rule technologies for solving real life
  business problems.
* Further details: http://2016.ruleml.org/calls
* RuleML main track and special tracks dates (not including Industry
  Track):
  - Register Title and Abstract in Easychair March 11, 2016
  - Paper Submission: March 18, 2016
  - Author Notification May 4, 2016
  - Camera Ready May 18, 2016
  - Conference: 5-8 July, 2016



23rd WORKSHOP ON LOGIC, LANGUAGE, INFORMATION AND COMPUTATION (WoLLIC 2016)
  Call for Papers
  August 16th-19th, 2016, Puebla, Mexico
  http://wollic.org.wollic2016/
* WoLLIC is an annual international forum on inter-disciplinary
  research involving formal logic, computing and programming theory,
  and natural language and reasoning. Each meeting includes invited
  talks and tutorials as well as contributed papers.
* Contributions are invited on all pertinent subjects, with particular
  interest in cross-disciplinary topics. Typical but not exclusive
  areas of interest are: foundations of computing and programming;
  novel computation models and paradigms; broad notions of proof and
  belief; proof mining, type theory, effective learnability; formal
  methods in software and hardware development; logical approach to
  natural language and reasoning; logics of programs, actions and
  resources; foundational aspects of information organization, search,
  flow, sharing, and protection; foundations of mathematics;
  philosophical logic.
* IMPORTANT DATES:
  - Mar 14, 2016: Paper title and abstract deadline
  - Mar 21, 2016: Full paper deadline,
  - Apr 22, 2016: Author notification
  - May 6, 2016: Final version deadline (firm).



THIRD SYMPOSIUM FOR HISTORY AND PHILOSOPHY OF PROGRAMMING (HaPoP 2016)
  Call for Papers
  June 25, 2016, CNAM, Paris, France
  www.hapoc.org/hapop3
  http://hapoc.org/node/167
  Submission deadline: March 31, 2016
  An affiliated event of CiE 2016, Paris
* AIMS: The aim of the current symposium is to offer an opportunity
  for historical and philosophical reflection on operating systems and
  the programs they coordinate. Our approach is interdisciplinarity
  and openness towards different fields relevant to HaPoC. We were and
  are strongly convinced that such trans- and interdisciplinarity is
  necessary if one wants to reflect on a discipline such as computer
  science with its multidimensional nature. The current symposium will
  be organized in a similar manner and invites researchers coming from
  a diversity of backgrounds, including historians, philosophers,
  logicians and computer scientists who want to engage with topics
  relevant to the history and philosophy of programming and more
  specifically that of operating systems.
* TOPICS of the symposium include but are not restricted to historical
  and philosophical reflections on:
  - Origin, evolution and future of OSs
  - Design and Epistemology of User Interfaces
  - Principles of Data Access, Control and Sharing, especially in
    relation to OSs (e.g. the Bell-La Padula model)
  - Privacy and Security in OSs
  - Batch processing and time sharing systems
  - Models, problems and techniques of concurrency, parallelism and
    distributed systems
  - Open source vs corporate software
  - Programming paradigms and techniques (e.g. pair-programming)
* IMPORTANT DATES:
  - Submission deadline: March 31, 2016
  - Notification of acceptance: April 22, 2016
* INVITED SPEAKERS:
  - Daniel Glazman (Disruptive Innovations)
  - Warren Toomey (Bond University, Australia)
* SYMPOSIUM CHAIRS:
  Liesbeth De Mol (CNRS, UMR8163), Raphael Fournier-S'niehotta (CNAM),
  Baptiste Meles (CNRS, UMR7117), Giuseppe Primiero (Middlesex
  University)



LFCS 30TH ANNIVERSARY CELEBRATION + WADLERFEST
  Call for Participation
  11-13 April 2016, Edinburgh
  LFCS30: http://events.inf.ed.ac.uk/lfcs30/
  WadlerFest: http://events.inf.ed.ac.uk/wf2016/
* Founded in 1986 by Rod Burstall, Robin Milner, Gordon Plotkin and Matthew
  Hennessy, the Laboratory for Foundations of Computer Science is a community
  of theoretical computer scientists with interests in research topics such as
  concurrency, semantics, categories, algebra, types, logic, algorithms,
  complexity, databases, and modelling, and their applications in Computer
  Science and beyond. LFCS30, a celebration of thirty years of innovation in
  these areas, will take place in Edinburgh on 13th April with a programme of
  talks from current and former members of the LFCS, visitors, and friends.
  * LFCS30 will be preceded by WadlerFest, a celebration of Philip Wadler's 60th
  birthday, on 11-12 April. Phil will be presented with a festschrift entitled
  "A list of successes that can change the world".
* For more information and registration instructions, see the above webpages.



INTERNATIONAL WORKSHOP ON FORMAL METHODS FOR INDUSTRIAL CRITICAL SYSTEMS
AND AUTOMATED VERIFICATION OF CRITICAL SYSTEMS (FMICS-AVoCS 2016)
  26-29 September 2016, Pisa, Italy
  http://fmics-avocs.isti.cnr.it/
  Preliminary Call for Papers
* AIMS: The aim of the FMICS workshop series is to provide a forum for
  researchers who are interested in the development and application of
  formal methods in indu= stry.  The aim of the AVoCS workshop series
  is to contribute to the interaction an= d exchange of ideas among
  members of the international research community on tools and
  techniques for the verification of critical systems. In 2016, FMICS
  and AVoCS join their forces to hold a workshop combining their
  themes on Formal Methods and Automated Verification. For FMICS, this
  will be the 21st, for AVoCS the 16th edition. In particular,
  FMICS-AVoCS 2016 aims to bring together scientists and engin= eers
  that are active in the area of formal methods, develop tools and
  techniques for the automated verification of critical systems, and
  are interested in exchanging their experiences in the industrial
  usage of these methods and tools.
* IMPORTANT DATES
  - Abstract submission: April 18, 2016
  - Paper submission: April 25, 2016
  - Notification: June 19, 2016
  - Final version: July 10, 2016
  - Workshop: September 26-29, 2016
* TOPICS of interest include (but are not limited to):
  - Design, specification, refinement, code generation and testing of
    critical systems based on formal methods
  - Methods, techniques and tools to support automated analysis,
    certification, debugging, learning, optimization and
    transformation of critical systems, in particular distributed,
    real-time systems and embedded systems
  - Automated verification (model checking, theorem proving, SAT/SMT
    constraint solving, abstract interpretation, etc.) of critical
    systems
  - Verification and validation methods that address shortcomings of
    existing methods with respect to their industrial applicability
    (e.g., scalability and usability issues)
  - Tools for the development of formal design descriptions
  - Case studies and experience reports on industrial applications of
    formal methods, focusing on lessons learned or identification of
    new research directions
  - Impact of the adoption of formal methods on the development
    process and associated costs
  - Application of formal methods in standardization and industrial
    forums
* GENERAL CHAIR
  - Maurice ter Beek (ISTI-CNR, Pisa, Italy)
* PC CHAIRS
  - Stefania Gnesi (ISTI-CNR, Pisa, Italy)
  - Alexander Knapp (Augsburg University, Germany)



16TH INTERNATIONAL CONFERENCE ON RUNTIME VERIFICATION (RV 2016)
  September 23-30, Madrid, Spain
  http://rv2016.imag.fr
* SCOPE: Runtime verification is concerned with monitoring and analysis
  of software and hardware system executions. Runtime verification
  techniques are crucial for system correctness, reliability, and
  robustness; they are significantly more powerful and versatile than
  conventional testing, and more practical than exhaustive formal
  verification. Runtime verification can be used prior to deployment,
  for testing, verification, and debugging purposes, and after
  deployment for ensuring reliability, safety, and security and for
  providing fault containment and recovery as well as online system
  repair. Topics of interest to the conference include:
  - specification languages
  - specification mining
  - program instrumentation
  - monitor construction techniques
  - logging, recording, and replay
  - runtime enforcement, 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 SPEAKERS
  Gul Agha (University of Illinois at Urbana-Champaign, USA)
  Oded Maler (CNRS and University of Grenoble-Alpes, France)
  Fred B. Schneider (Cornell University, USA)
* OVERVIEW: RV 2016 will be held September 23-30 in Madrid, Spain. RV
  2016 will feature the first summer school on Runtime Verification
  (September 23-25), two workshop days (September 26-25), and three
  conference days (September 28-30).
* INFORMATION ON SUBMISSIONS:   http://rv2016.imag.fr
* IMPORTANT DATES
  Research and tool papers as well as tutorials will follow the
  following timeline:
  - Abstract deadline: May 8, 2016
  - Paper and tutorial deadline: May 15, 2016
  - Tutorial notification: June 1, 2016
  - Paper notification: July 11, 2016
  - Camera ready deadline: August 8, 2016
  - Summer school: September 23-25, 2016
  - Workshops and tutorials: September 26-27, 2016
  - Conference: September 28-30, 2016
* PROGRAM COMMITTEE CHAIRS
  Ylies Falcone, Univ. Grenoble-Alpes and Inria, France
  Cesar Sanchez, IMDEA Software, Madrid, Spain
* TOOL COMMITTEE CHAIR
  Klaus Havelund, NASA Jet Propulsion Laboratory, USA



THE 26TH INTERNATIONAL CONFERENCE ON INDUCTIVE LOGIC PROGRAMMING (ILP2016)
  Call For Papers
  September 4th - 6th, 2016, London, UK
  http://ilp16.doc.ic.ac.uk
* AIMS: The ILP conference series is the premier international forum
  for learning from structured relational data. Originally focusing on
  the induction of logic programs, over the years it has expanded its
  research horizon significantly and welcomes contributions to all
  aspects of learning in logic, multi-relational data mining,
  statistical relational learning, graph and tree mining, learning in
  other (non-propositional) logic-based knowledge representation
  frameworks, exploring intersections to statistical learning and
  other probabilistic approaches.
* TOPICS OF INTEREST include:
  - Theoretical aspects: logical-foundations of learning;
  - computational/statistical learning theory; specialisation and
  - generalisation; probabilistic logic-based learning; graph and tree
  - mining.  Representation and languages for learning: logic
  - programming; Datalog;first-order logic; description logic and
  - ontologies; higher-order logic; Answer Set Programming;
  - probabilistic logic languages; constraint logic programming;
  - knowledge graphs.  Algorithms and systems: learning with
  - (semi-)structured data; (semi-)supervised and unsupervised
  - relational learning; relational reinforcement learning; predicate
  - invention; propositionalisation approaches; multi-instance learning;
  - learning in the presence of uncertainty; meta-level learning.
  - Applications of learning in: art; bioinformatics; systems biology;
  - games; medical informatics; robotics; natural language processing;
  - web-mining; software engineering; modelling and adaptation of
  - control systems; socio-technical systems.
  In addition to the above topics, ILP 2016 is also encouraging
  contributions in the areas of cognitive technologies, knowledge
  acquisition from big data, the cloud and crowd sourced data, deep
  relational learning, as well as contributions on the application of
  any of these solutions to real world problems.
  The conference will host keynote talks from both industry and academia
  and will run the first International ILP Competition.
* Submission guidlines: please see the conference website
* IMPORTANT DATES:
  - Abstract registration:       7 May   2016
  - Long paper submission:      13 May   2016
  - Long Paper notification:    26 June  2016
  - Short Paper submission:     24 July  2016
  - Short Paper notification:   28 July  2016
* We expect there will be a special issue of the Machine Learning
  Journal following the conference, which will be open for
  everyone. This special issue will welcome conference submissions
  from all three categories, which should be significantly revised and
  extended, to meet the MLJ criteria, and will be re-reviewed by PC
  members.
* CONFERENCE AND PROGRAM CO-CHAIRS:
  - Alessandra Russo, Imperial College London UK
  - James Cussens, University of York, UK
* ILP COMPETITION CHAIR;
  Mark Law, Imperial College London, UK
* PUBLICITY CHAIR:
  Krysia Broda, Imperial College London, UK
* ASSOCIATED EVENT:
  3rd International Workshop on Probabilistic Logic Programming



3RD INT. SYNTHETIC AND SYSTEMS BIOLOGY SUMMER SCHOOL (SSBSS 2016)
  Call for Participation
  8-14 July 2016, Volterra (Pisa), Tuscany, Italy
* The 3rd International Synthetic and Systems Biology Summer School is a
  great opportunity to exchange ideas and information with colleagues
  and peers from around the world and discover the latest trends and new
  exciting results in Synthetic and Systems Biology.
* Further details: ssbss.school@gmail.com
  http://www.taosciences.it/ssbss/
* Previous Editions:
  SSBSS 2015 http://www.taosciences.it/ssbss2015/
  SSBSS 2014 http://www.taosciences.it/ssbss2014/



PHD & POSTDOC POSITION AT JACOBS UNIVERSITY BREMEN
* Jacobs University Bremen is a private, English-speaking research university
  in Germany. The KWARC group conducts research on the representation and
  management of formal and informal knowledge in the STEM disciplines
  (Science, Technology, Engineering, and Mathematics).
  Our interests cover the whole range from formal to informal knowledge
  and include
   - logics and foundations of mathematics
   - formalizing/verifying knowledge
   - informal and semi-formal documents (specifications, papers, webpages, etc.)
   - domain-specific applications (spreadsheets, CAD, etc.)
   - knowledge management (search, user interfaces, system integration, etc.)
   We build systems that cover these diverse areas uniformly and integrate across
   domains, languagues, and tools, always combinng logical correctness,
   wide-range applicability, and large-scale inter-operability.
* DETAIS & POSSIBLE TOPICS
  http://www.jacobs-university.de/jobs/phd-and-postdoc-positions-kwarc-group
* CONTACT DETAILS & APPLICATIONS
   For further information and enquiries about this post please contact
   Prof. Michael Kohlhase 
   Applications (including the usual documents) should be directed to the same
   email address.




Back to the LICS web page.