SIGLOG Monthly 180
March  1, 2016

*******************************************************************
* Past issues of the newsletter are available at
 http://lics.siglog.org/newsletters/
* Instructions for submitting an announcement to the newsletter
 can be found at
 http://lics.siglog.org/newsletters/inst.html
*******************************************************************

TABLE OF CONTENTS
* NEWS
  LICS 2016 - Call for Student Volunteers
  2016 SIGLOG Election - Update
  ACM SIGLOG Announcement
* DEADLINES
  Forthcoming Deadlines
* CALLS
  M4C 2016 - Call for Abstracts
  CPS Week 2016 - Call for Participation
  CCC 2015 -  Second call for submission
  QPL 2016 - Second Call for Papers
  CCA 2016 -  First Call for Papers
  FM 2016 - Call for Workshop Proposals
  RuleML 2016 - Call for Papers
  Smart Contracts, Blockchain, and Rules Track of RuleML 2016 - Call for Papers
  WoLLIC 2016 - Call for Papers
  HaPoP 2016 - Call for Papers
  LFCS 30TH ANNIVERSARY CELEBRATION + WADLERFEST - Call for Participation
  HDRA 2016 - Call for Papers
  FORMATS 2016 - First Call for Papers
  GETFUN 4.0 - Call for Papers
  HSST 2016 - Call for Participation and Abstracts
  SYNT 2016 - Call for Papers
  FMICS-AVoCS 2016 - Call for Papers
  WISTP 2016 - Call For Papers
  FMCAD 2016 - Call For Papers
  CRITIS 2016 - Call For Papers
  RV 2016 - Call For Papers
  ILP2016 - Call For Papers
  SETTA 2016 - Call For Papers
  RuleML 2016 Challenge - Call for Papers
  SECURECOMM 2016 - Call For Papers
  TIME 2016 - First Call for Papers
  SSBSS 2016 - Call for Participation
* JOB ANNOUNCEMENTS
  PHD & POSTDOC POSITION AT TU DORTMUND
  PHD STUDENTSHIP IN THE HISTORY AND PHILOSOPHY OF COMPUTING
  PHD & POSTDOC POSITION AT JACOBS UNIVERSITY BREMEN


THIRTY-FIRST ANNUAL ACM/IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE (LICS 2016)
  Call for Student Volunteers
  July 5-8, 2016, New York City, USA
* APPLICATION FORM: http://goo.gl/forms/7f4Pg6blBU
* APPLICATION DEADLINE: 1 May 2016 at 23:59 EST
* DETAILS: http://lics.siglog.org/lics16/volunteers.html
* LICS 2016 will be held in New York City from July 5-8 2016, with
  affiliated workshops July 9-10. The LICS 2016 Program for Student
  Volunteers gives full- or part-time university students from around
  the world the opportunity to attend and contribute to a premier
  forum for all areas of logic in computer science. As a LICS 2016
  Student Volunteer, you will interact closely with researchers,
  academics and practitioners from various disciplines and meet other
  students from around the world.
* LICS is pleased to offer a number of opportunities for student
  volunteers, who are vital to the efficient operation and continued
  success of the conference each year. The student volunteer program
  is a chance for students from around the world to participate in the
  conferences whilst assisting us in preparing and running the event.
* Job assignments for student volunteers include assisting with
  technical sessions, workshops, tutorials and panels, checking badges
  at doors, operating the information desk, helping with traffic flow,
  and general assistance to keep the conferences running smoothly.
* In return, volunteers are granted free registration to the conferences
  free access to affiliated workshops, and free access to the Logic
  Mentoring Workshop (LMW).
* All students are required to submit the online application by the
  deadline listed above.  Late applications will be accepted only if
  there is space available.
* For additional information, clarification, or answers to questions
  please contact the Conference Chair (Eric Koskinen) at
  lics2016@erickoskinen.com. For further details, please see this web
  page: http://lics.siglog.org/lics16/volunteers.html



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
* M4C 216
  Call for abstracts
  8-13 May 2016, Abtei Niederaltaich, Lower Bavaria, Germany
  http://mathematics4computation.org/
  Titles and abstracts deadline: 7th March 2016
* CPS Week 2016
  Call for Participation
  http://www.cpsweek.org/2016/
  (Early registration until 11 March 2016
* CCC 2015
  Call for submission (Extended Deadline)
  Deadline for submission: 15 March 2016
* QPL 2016
  Second 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)
* FM 2016
  Call for Workshop Proposals
  Limassol, Cyprus, 7-11 November 2016
  http://fm2016.cs.ucy.ac.cy
  Deadline for workshop proposals: 18 March 2016
* 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
* Smart Contracts, Blockchain, and Rules Track of RuleML 2016
  Call for Papers
  6-9 July, 2016, Stony Brook University, USA
  http://2016.ruleml.org/calls/blockchain-enabled-smart-contracts-and-rules
  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/
* HDRA 2016
  Call for Papers
  25-26 June 2016, Porto, Portugal
  http://hdra.gforge.inria.fr/
  Co-located with the FSCD conference
  Submission: 15 April, 2016
* FORMATS 2016
  First Call for Papers
  August 24-26, 2016, Quebec City, Canada
  http://formats2016.lsv.fr
  Abstract Submission:  April 15, 2016
  Paper Submission: April 22, 2016
* GETFUN 4.0
  Call For Papers
  Jul 1-2, 2016, Coimbra, Portugal
  http://sqig.math.ist.utl.pt/GeTFun/4.0
  Abstract Submission: April 15, 2016
* HSST 2016
  Call for participation and abstracts
  June 13 - 16, 2016, Halmstad University, Sweden
  http://ceres.hh.se/mediawiki/index.php/HSST_2016
* SYNT 2016 - First Call for Papers
  Toronto, Canada, July 17, 2016
  http://formal.epfl.ch/synt/2016/
  Paper submission: April 22, 2016
* 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
* WISTP 2016
  Call for Papers
  Heraklion, Crete, Greece -- 26-27 September 2016
  http://www.wistp.org/
  Paper Submission due: 3 May 2016
* FMCAD 2016
  First Call for Papers
  Mountain View, CA, USA, October 3-6, 2016
  http://www.fmcad.org/FMCAD16
  Abstract Submission: May 02, 2016
  Paper Submission: May 09, 2016
* CRITIS 2016
  Call for Papers
  Paris, France, October 10-12, 2016
  http://www.critis2016.org
  Submission of full papers: May 10, 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
* SETTA 2016
  Call for Papers
  Nov. 9-11, 2016, Beijing, China
  http://lcs.ios.ac.cn/setta/
  Abstract Submission: May 12, 2016
  Full Paper Submission: May 19, 2016
* RuleML 2016 Challenge
  Call for Papers
  6-9 July, 2016, Stony Brook University, USA
  http://2016.ruleml.org/challenge
  Paper Submission: June 1st, 2016
* SECURECOMM 2016
  Call For Papers
  October 10-12, 2016, Guangzhou, People's Rupublic of China
  http://securecomm.org
  Paper Submission due: June 15, 2016
* TIME 2016
  First Call for Papers
  October 17-19, 2016, Technical University of Denmark, Denmark
  http://time2016.compute.dtu.dk/
  Paper submission: June 20th, 2016
* SSBSS 2016
  Call for Participation
  8-14 July 2016, Volterra (Pisa), Tuscany, Italy



INTERNATIONAL WORKSHOP "MATHEMATICS FOR COMPUTATION" (M4C)
  Call for abstracts
  8-13 May 2016, Abtei Niederaltaich, Lower Bavaria, Germany
  http://mathematics4computation.org/
* This workshop, to be held on the occasion of Douglas Bridges's 70th
  birthday in 2015, will focus on recent results in the interplay
  between mathematics and computation. Please refer to
  http://mathematics4computation.org/ for more details such as
  registration process, abstract submission and student grants.
* IMPORTANT DEADLINES
  - Titles and abstracts: 7th March 2016
  - Authors notification: 11th March 2016
  - Applications for student grants: 7th March 2016
  - Applicants notification: 11th March 2016
  - Registration closes: 15th March 2016
* TOPICS WILL INCLUDE
   constructive mathematics
   type theory
   formal topology
   proof theory
   reverse mathematics
   proof complexity
   logic and complexity
   computable mathematics
   foundations of mathematics
* INVITED SPEAKERS
  Josef Berger
  Ulrich Berger
  Douglas Bridges
  Agata  Ciabattoni
  Thierry Coquand
  Fernando Ferreira
  Peter Hancock
  Martin  Hyland
  Angus Macintyre
  Maarten McKubre-Jordens
  Yiannis Moschovakis
  Erik Palmgren
  Joan Rand-Moschovakis
  Michael Rathjen
  Giuseppe  Rosolini
  Giovanni Sambin
  Monika Seisenberger
  Bas Spitters
  Neil Thapen
  Henry Towsner
* PROGRAMME COMMITTEE CHAIR
  Olaf Beyersdorff



CPS WEEK 2016
  Call for Participation
  11 - 14 April 2016, Vienna, Austria
  http://www.cpsweek.org/2016/
* CPS Week is the premier event on Cyber-Physical Systems. It brings
  together four top conferences, HSCC, ICCPS, IPSN, and RTAS, four
  summits, six tutorials, 20 workshops, a localization competition and
  various exhibitions from both industry and academia. This year we
  are also very pleased to inform you that the ARTEMIS Spring event
  will be organized co-located with the CPS Week. At the end of the
  CPS Week, PhD students can take the opportunity to attend also the
  RiSE & LogiCS Spring School on Logic and Verification. Altogether
  the CPS Week program covers a multitude of complementary aspects of
  CPS, and reunites the leading researchers in this dynamic field.
* Early registration until 11 March 2016
* There are several travel stipends for students available
* Keynote Speakers
  - Tue April 12: Scientific Keynote Rajeev Alur, Zisman Family
  Professor, Computer and Information Science, UPenn, USA
  - Wed April 13: Industrial Keynotes Smart Mobility: Ken Butts,
  Executive Engineer, Powertrain Control, Toyota, USA
  - Smart Grid: Rada Rodriguez, CEO Schneider Electric, Germany
  - Internet of Things: Joe Salvo, Dir. of CS and Arch., GE Global
  Research, USA
  - Industry 4.0: Sabine Herlitschka, CEO Infineon Austria
  - Thu April 14: Scientific Keynote Tomasso Poggio, Eugene McDermott
  Professor, Brain and Cognitive Sciences, CSAIL, MIT, USA
  -  Morning and Banquet Opening Speakers
  - Tue April 12: Morning Opening Address Johannes Frohlich, Vice
  Rector for Research and Innovation, Technische Universitat Wien,
  Austria
  - Wed April 13: Morning Opening Address Michael Wiesmuller, Head
  of Department for ICT, Industrial & Nano Technologies and Space
  Austrian Federal Ministry of Transport, Innovation and Technology
  (BMVIT)
  - Wed April 13: Banquet Opening Address Bernd Rosauer, Head of
  Research, Technology Field IT Platforms Siemens AG, Corporate
  Technology Heinrich Daembkes, Airbus Defence and Space President of
  ARTEMIS Industry Association
  - Thu April 14: Morning Opening Address Max Lemke, Directorate
  General CONNECT of the European Commission



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)
  Second 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 21ST INTERNATIONAL SYMPOSIUM ON FORMAL METHODS (FM 2016)
  Call for Workshop Proposals
  Limassol, Cyprus, 7-11 November 2016
  http://fm2016.cs.ucy.ac.cy
* FM 2016 is the latest in a series of symposia organized by Formal
  Methods Europe, an independent association that encourages the use
  of, and research on, formal methods for the engineering of
  computer-based systems and software.
* FM workshops will be held immediately before the main symposium, on
  7-8 November, 2016.
* Researchers and practitioners wishing to organize a workshop are
  invited to submit proposals in PDF format by e-mail to the Workshops
  Chairs  Nearchos Paspallis (npaspallis@uclan.ac.uk) and Martin Steffen
  (msteffen@ifi.uio.no).
* For additional information, see   http://fm2016.cs.ucy.ac.cy
* IMPORTANT DATES
  - Deadline for workshop proposals: 18 March 2016
  - Notification of decision on workshops: 4 April 2016



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



SMART CONTRACTS, BLOCKCHAIN, AND RULES TRACK of RULEML 2016
  Call for Papers
  6-9 July, 2016, Stony Brook University, USA
  http://2016.ruleml.org/calls/blockchain-enabled-smart-contracts-and-rules
* Smart Contracts have emerged as means to digitalize and
  (semi-)automatically enforce (legal) contracts, backed by blockchain
  technologies --- a set of recent technologies that appeared the
  first time in the context of the cryptocurrencies bitcoin, but are
  now being transitioned to different domains. Smart contracts are
  envisioned to essentially be user-defined programs that specify
  rules governing transactions, and that are enforced by a distributed
  network of peers. Traditional rule technologies have a high
  relevance in the context of Smart Contracts - they can be used for
  specification, reasoning, and enforcement of smart contracts, among
  others. At the same time, Smart Contracts represent a potential new
  application area of traditional rule technologies. The goal of this
  track is to identify opportunities and challenges for use of rule
  technologies in Smart Contracts, eventually shaping a better
  understanding of what Smart Contracts actually are and what they
  could be used for. During the last years the International Web Rule
  Symposium (RuleML) has been a leading international conference on
  research, applications, languages and standards for rule
  technologies. Due to the relevance of rules in Smart Contracts, it
  is natural that the emerging area of Smart Contracts finds RuleML a
  relevant venue for dissemination and that RuleML uses this
  opportunity to expand the applicability of rule technologies.
* Important dates:
   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: 6-9 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.



SECOND EDITION OF THE WORKSHOP ON HIGHER-DIMENSIONAL REWRITING
AND APPLICATIONS (HDRA 2016)
  Call for Papers
  25-26 June 2016, Porto, Portugal
  http://hdra.gforge.inria.fr/
  Co-located with the FSCD conference
* Over recent years, rewriting methods have been generalized from
  strings and terms to richer algebraic structures such as operads,
  monoidal categories, and more generally higher-dimensional
  categories. These extensions of rewriting fit in the general scope
  of higher-dimensional rewriting theory, which has emerged as a
  unifying algebraic framework. This approach allows one to perform
  homotopical and homological analysis of rewriting systems (Squier
  theory). It also provides new computational methods in the study of
  coherence of higher-dimensional algebraic structures, in
  combinatorial algebra (Artin-Tits monoids, Coxeter and Garside
  structures), in homotopical and homological algebra (construction of
  cofibrant replacements, Koszulness property). The workshop is open
  to all topics concerning higher-dimensional generalizations and
  applications of rewriting theory, including
  - higher-dimensional rewriting: polygraphs / computads, higher-dimensional
  generalizations of string/term/graph rewriting systems, etc.
  - homotopical invariants of rewriting systems: homotopical and homological
  finiteness properties, Squier theory, algebraic Morse theory, coherence
  results in algebra and higher-dimensional category theory, etc.
  - linear rewriting: presentations and resolutions of algebras and operads,
  Grobner bases and generalizations, homotopy and homology of algebras and
  operads, Koszul duality theory, etc.
  - applications of higher-dimensional and linear rewriting and their interactions
  with other fields: calculi for quantum computations, algebraic lambda-calculi,
  proof nets, topological models for concurrency, homotopy type theory,
  combinatorial group theory, etc.
  - implementations: the workshop will also be interested in implementation issues
  in higher-dimensional rewriting and will allow demonstrations of prototypes of
  existing and new tools in higher-dimensional rewriting.
* Invited speakers
  -  Michael Batanin (to be confirmed)
  - Joachim Kock
  - Pawel Sobocinski
* Important dates
  - Submission: 15 April, 2016
  - Notification: 11 May, 2016
  - Final version: 27 May, 2016
  - Conference: 25-26 June, 2016
* Organizers
  - Yves Guiraud (INRIA / Universite Paris 7)
  - Philippe Malbos (Universite Claude Bernard Lyon 1)
  - Samuel Mimram (Ecole Polytechnique)



14TH INTERNATIONAL CONFERENCE ON FORMAL MODELING AND ANALYSIS OF TIMED
SYSTEMS (FORMATS 2016)
  First Call for Papers
  http://formats2016.lsv.fr
  August 24-26, 2016, Quebec City, Canada
  colocated with CONCUR'16 and QEST'16
  Submission: April 15 (Abstract), April 22 (Paper)
* Topics
  - Foundations and Semantics
  Theoretical foundations of timed systems and languages; new models
  and logics or analysis and comparison of existing models (like
  automata, Petri nets, or process algebras involving quantitative
  time; hybrid automata; probabilistic automata and logics).
  - Methods and Tools
  Techniques, algorithms, data structures, and software tools for
  analyzing or synthesizing timed or hybrid systems and for resolving
  temporal constraints (scheduling, worst-case execution time
  analysis, optimization, model checking, testing, constraint solving,
  etc.)
  - Applications:
  Adaptation and specialization of timing technology in application
  domains in which timing plays an important role (real-time software,
  embedded control, hardware circuits, and problems of scheduling in
  manufacturing and telecommunication).
* Submission site: https://easychair.org/conferences/?conf=formats2016
* Important Dates
  - Abstract Submission: April 15, 2016
  - Paper Submission: April 22, 2016
  - Notification: June 4, 2016
  - Final paper due: June 11, 2016
  - Conference: August 24-26, 2016
* General Chair
  - Josee Desharnais, (U. Laval, Canada)
* PC Charis
  - Martin Franzle (U. Oldenburg, Germany)
  - Nicolas Markey (U. Paris-Saclay, France)
* Invited Speakers
  - Scott Smolka,   (U. Stony Brook, USA)
  - Ufuk Topcu,     (U. Texas, USA)



4TH WORKSHOP ON COMPOSITIONAL MEANING IN LOGIC (GETFUN 4.0)
  Jul 1-2, 2016, Coimbra, Portugal
  http://sqig.math.ist.utl.pt/GeTFun/4.0
* Affiliated with IJCAR 2016
  http://www.uc.pt/en/congressos/ijcar2016
* Abstract submission deadline: 15 Apr 2016



THE 6TH HALMSTAD SUMMER SCHOOL ON TESTING (HSST 2016)
  Call for participation and abstracts
  June 13 - 16, 2016, Halmstad University, Sweden
  http://ceres.hh.se/mediawiki/index.php/HSST_2016
* SCOPE. Software testing accounts for a major part of software
  development cost and effort, yet the current practice of software
  testing is often insufficiently structured and disciplined.  There
  have been various attempts in the past decades to bring more rigour
  and structure into this field, resulting in several
  industrial-strength processes, techniques and tools for different
  levels of testing.  The 6th Halmstad Summer School on Testing
  provides an overview of the state of the art in testing, including
  theory, industrial cases, tools and hands-on tutorials by
  internationally-renowned researchers.
* TUTORIALS.
  - Automatic Software Verification with the Infer Static Analyzer
    (Dino Distefano, Queen Mary, University of London and Facebook,
    UK)
  - Testing and Verification Methods for Many-Core Concurrency
    (Alastair F. Donaldson, Imperial College, UK)
  - Is Mutation Analysis Ready for Prime Time? (Jeff Offutt, George
    Mason University, USA)
  - Fault Model-Based Testing from State-Oriented Models (Alexandre
    Petrenko, Computer Research Institute of Montreal (CRIM), Canada)
  - The Role of Testing and Tools for Innovation (Per Runeson, Lund
    University, Sweden)
  - Fault Tree Analysis (Marielle Stoelinga, University of Twente, The
    Netherlands)
* Ph.D. Symposium
  We have 6 time slots for Ph.D. presentations, where each student
  gets to present her/his research project (and possibly results) and
  receive feedback from our experts. We solicit abstracts of 2 pages
  in the EasyChair Style in order to make a selection
  (see:http://www.easychair.org/publications/for_authors ). The
  abstract should contain a clear overview of the problem description,
  approach, (existing results, if any,) and future milestone.
  Abstract submissions can be made already via
  https://easychair.org/conferences/?conf=hsst2016 .
* IMPORTANT DATES
  - The deadline for submissions is May 15, 2016.
  - The registration deadline is April 15, 2016.
* Further details:
  http://ceres.hh.se/mediawiki/index.php/HSST_2016



5TH WORKSHOP ON SYNTHESIS (SYNT 2016)
  Call For Papers
  Toronto, Canada, July 17, 2016
  http://formal.epfl.ch/synt/2016/
* Contributions of interest include algorithms, complexity and
  decidability analysis, as well as reproducible heuristics,
  implemented tools, and experimental evaluation.
* Application domains include software, hardware, embedded, and
  cyberphysical systems. Computation models include functional,
  reactive, hybrid and timed systems.  Identifying, formalizing, and
  evaluating synthesis in particular application domains is
  encouraged.
* Of interest are both approaches that explore alternative development
  methods and approaches that improve upon the automation of design,
  compilation, and optimization techniques currently in widespread
  use.
* All appropriate underlying methods are of interest, including above
  formal methods and techniques that build upon computer-aided
  verification, but also machine learning techniques. All formalizable
  forms of specifications of potential practical interest are
  considered, including contracts, temporal logic specifications,
  quantitative objectives, partial systems, and input/output examples.
* Of great interest is understanding and making productive use of
  relationships between synthesis and related topics such as repair,
  fault localization, testing, discovery of inductive invariants,
  parameter optimization, constraints solving, theorem proving
  (including SMT, superposition-based, inductive, and higher-order
  theorem proving).
* We strongly encourage submissions that will connect current advances
  in synthesis and the area of inductive programming.
* Submission details:   http://formal.epfl.ch/synt/2016/
* Important dates:
  - Paper submission: April 22, 2016
  - Author notification:  May 30, 2016
  - Workshop: July 17, 2016
* Program Chairs:
  - Rayna Dimitrova (MPI-SWS)
  - Ruzica Piskac (Yale University)
* SYNT 2016 is a satellite event of CAV 2016 and will take place on
  July 17 in Toronto, Canada.



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 industry.  The aim of the AVoCS workshop series
  is to contribute to the interaction and 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 engineers
  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)



10TH WISTP INTERNATIONAL CONFERENCE ON INFORMATION SECURITY THEORY, AND PRACTICE (WISTP 2016)
  Call for papers
  Heraklion, Crete, Greece -- 26-27 September 2016
  http://www.wistp.org/
* The 10th WISTP International Conference on Information Security
  Theory and Practice (WISTP 2016) see ks original submissions from
  academia and industry presenting novel research on all theoretical
  and practical aspects of security and privacy, as well as
  experimental studies of fielded systems, the application of security
  technology, the implementation of systems, and lessons learned. We
  encourage submissions from other communities such as law, business,
  and policy that present these communities' perspectives on
  technological issues.
* Important dates:
    - Paper Submission due: 3 May 2016
    - Notification to authors: 4 July 2016
    - Camera ready due: 14 July 2016
* Detailed information can be found on the webpage.



INTERNATIONAL CONFERENCE ON FORMAL METHODS IN COMPUTER-AIDED DESIGN (FMCAD 2016)
  First Call for Papers
  Mountain View, CA, USA, October 3-6, 2016
  http://www.fmcad.org/FMCAD16
* TOPICS OF INTEREST FMCAD welcomes submission of papers reporting
  original research on advances in all aspects of formal methods
  technology and its application to computer-aided design. Topics of
  interest include (but are not limited to):
  -- Model checking, theorem proving, equivalence checking, abstraction
   and reduction, compositional methods, decision procedures at the
   bit- and word-level, probabilistic methods, combinations of
   deductive methods and decision procedures.
  -- Synthesis and compilation for computer system descriptions, modeling,
   specification, and implementation languages, formal semantics of
   languages and their subsets, model-based design, design derivation
   and transformation, correct-by-construction methods.
  -- Application of formal and semi-formal methods to functional and
   non-functional specification and validation of hardware and software,
   including timing and power modeling, verification of computing
   systems on all levels of abstraction, system-level design and
   verification for embedded and cyberphysical systems, hardware-
   software co-design and verification, transaction-level verification.
  -- Experience with the application of formal and semi-formal methods to
   industrial-scale designs; tools that represent formal verification
   enablement, new features, or a substantial improvement in the
   automation of formal methods.
  -- Application of formal methods in areas beyond computer systems,
   including formal methods describing processes studied in other areas
   of science, engineering, and humanities.
  -- (New) Application of formal methods to verifying safety,
   connectivity and security properties of networks and distributed
   systems.
* IMPORTANT DATES (AoE)
  - Abstract Submission:            May 02, 2016
  - Paper Submission:               May 09, 2016
  - Author Response Period:         June 17-21, 2016
  - Author Notification:            July 09, 2016
  - Camera-Ready Version:           Aug 09, 2016
  - FMCAD Tutorial Day:            October 3, 2016
  - FMCAD Regular Program:         October 4-6, 2016
* SUBMISSIONS: see   http://www.fmcad.org/FMCAD16
* PROGRAM CHAIRS:
  - Muralidhar Talupur, FormalSim Inc
  - Helmut Veith, Technische Universitaet Wien



THE 11TH INTERNATIONAL CONFERENCE ON CRITICAL INFORMATION INFRASTRUCTURES SECURITY (CRITIS 2016)
  Call for Papers
  Paris, France, October 10-12, 2016
  http://www.critis2016.org
* CRITIS 2016 covers five thematic foci. Paper submissions should
  focus on one of the following topics:
  - Technologies: Innovative responses for the protection of
  cyber-physical systems
  - Procedures and organisational aspects in C(I)IP: Policies, best
  practices and lessons learned
  - Advances in Human Factors, decision support, and cross-sector
  CI(I)P approaches - focus on end-users
  - Special private stakeholder session opic
  - Young CRITIS and CIPRNet Young CRITIS Award (CYCA)
  Full details available at  http://www.critis2016.org
* Important Dates:
  - Submission of full papers: May 10, 2016
  - Notification of acceptance:  July 15, 2016
  - Camera-ready papers: September 1, 2016
  - CRITIS 2016 event: October 10-12, 2016
* General Chairs
  - Jean-Pierre Loubinoux, General Director of UIC, represented by UIC Security Division
* Program Chairs
  - Roberto Setola, Universita Campus Bio-Medico di Roma
  - Hypatia Nassopoulos, Ecole des Ingenieurs de la Ville de Paris, France



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



SYMPOSIUM ON DEPENDABLE SOFTWARE ENGINEERING: THEORIES, TOOLS AND APPLICATIONS (SETTA 2016)
  Call for Papers
  Nov. 9-11, 2016, Beijing, China
  http://lcs.ios.ac.cn/setta/
* IMPORTANT DATES (AoE)
  - Abstract Submission: May 12, 2016
  - Full Paper Submission: May 19, 2016
  - Notification to Authors: Jul. 15, 2016
  - Camera-ready Paper: Aug. 6, 2016
* The aim of the symposium is to bring together international
  researchers and practitioners in the field of software
  technology. Its focus is on formal methods and advanced software
  technologies, especially for engineering complex, large-scale
  artifacts like cyber-physical systems, networks of things,
  enterprise systems, or cloud-based services. Contributions relating
  to formal methods or integrating them with software engineering, as
  well as papers advancing scalability or widening the scope of
  rigorous methods to new design goals are especially welcome.
* Submission details:   http://lcs.ios.ac.cn/setta/



10TH INTERNATIONAL RULE CHALLENGE 2016 (RULEML 2016 CHALLENGE)
  Call for Papers
  6-9 July, 2016, Stony Brook University, USA
  http://2016.ruleml.org/challenge
* co-located with (in New York state): The Joint Multi-Conference on
  Human-Level Artificial Intelligence 2016 (July 16-19, 2016)
  http://ijcai-16.org/
* About Rule Challenge 2016 The RuleML 2016 Challenge is one of the
  highlights at the RuleML 2016 Conference, and seeks to provide a
  competition among innovative rule-oriented applications, aimed at
  both the research and industrial side.
* Topics. Key themes of the RuleML 2016 Challenge include, but are not
  limited to the following:
  - Demos related to the RuleML 2016 Track Topics
  - Rule-based Event Processing and Stream Reasoning
  - Business Rules Modeling
  - Benchmarks and comparison results for rule engines
  - Distributed rule bases and rule services
  - Rules and model driven engineering
  - Reports on industrial experience about rule systems
  - Real cases and practical experiences
  - (new) Mobile deployment of rule-based reasoning, including
    (but not limited to):
    -- Use cases of mobile rule-based reasoning
    -- Fine-tuning reasoning techniques to cope with mobile
       hardware limitations
    -- Realizing efficient crowd-sourced, voting-based, ... processing,
       by taking advantage of distributed mobile peer-to-peer opportunities
    -- Benchmarking mobile rule system performances, and comparing it
       to desktop/server performance
* Important Dates
  - Paper Submission: June 1st, 2016
  - Notification: June 13th, 2016
  - Camera Ready: June 19th, 2016
  - Conference Date: July 6-9, 2016



12TH EAI INTERNATIONAL CONFERENCE ON SECURITY AND PRIVACY IN
COMMUNICATION NETWORKS (SECURECOMM 2016)
  Call for Papers
  October 10-12, 2016, Guangzhou, People's Rupublic of China
  http://securecomm.org
* SecureComm seeks high-quality research contributions in the form of
  well-developed papers. Topics of interest encompass research
  advances in ALL areas of secure communications and
  networking. Topics in other areas (e.g., formal methods, database
  security, secure software, theoretical cryptography) will be
  considered only if a clear connection to private or secure
  communication/networking is demonstrated.
* Important dates:
    - Paper Submission due: June 15, 2016
    - Notification to authors: August 1, 2016
    - Camera ready due: August 22, 2016
* Detailed information can be found on the webpage.



23RD INTERNATIONAL SYMPOSIUM ON TEMPORAL REPRESENTATION AND REASONING (TIME 2016)
  First Call for Papers
  October 17-19, 2016, Technical University of Denmark, Denmark
  http://time2016.compute.dtu.dk/
* TIME 2016 aims to bring together researchers interested in reasoning
  about temporal aspects of information in any area of Computer
  Science. The symposium, currently in its 23rd edition, has a wide
  remit and intends to cater to both theoretical aspects and
  well-founded applications. One of the key aspects of the 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 Artificial Intelligence,
  Databases and Logic and Verification.
* Further details about the topics of interest can be found on the webpage.
* Invited speakers:
 - Kim Guldstrand Larsen, Aalborg University, Denmark
  - Angelo Montanari, University of Udine, Italy
  - Paolo Terenziani, University of Piemonte Orientale, Italy
* Important dates:
  - Paper submission: June 20th, 2016
  - Notification: July 25th, 2016
  - Final version due: August 10th, 2016
  - Symposium: October 17-19, 2016



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 TU DORTMUND
* At TU Dortmund University, we are looking for talented and motivated
  PHD STUDENTS (or post-docs) interested in Database Theory or Logic
  and Complexity.  The opening is in the working group of Thomas
  Schwentick and involves teaching in German language.
* The official, complete job opening is available in German at
  https://service.tu-dortmund.de/documents/18/2120797/wiss.+Besch%C3%A4ftigte+bzw.
  +wiss.+Besch%C3%A4figter+%28Ref.-Nr.+w9-16%29/ee088546-c46b-40fb-9ad9
  -235174c01b91?version=1.0
* CONTACT DETAILS For further details please contact Prof. Thomas
  Schwentick, thomas.schwentick@tu-dortmund.de



PHD STUDENTSHIP IN THE HISTORY AND PHILOSOPHY OF COMPUTING

* The Department of Computer Science at Middlesex University, together
  with the LEO Computers Society are looking for a PhD Candidate for a
  research project in the area of History and Philosophy of
  Computing. This will incorporate research into the objectives,
  design, construction and market penetration of the LEO I, II and III
  computers, developed by the catering firm J. Lyons and Co., and its
  subsidiary LEO Computers Limited  subsequently incorporated in
  different companies (English Electric LEO, English Electric Leo
  Marconi, ICL, Standard Telephones and Cables and finally Fujitsu).
* Further details and instructions on how to apply available at
  http://www.mdx.ac.uk/courses/postgraduate-research-degrees/research-studentships/david-tresman-caminer-studentship-for-the-history-of-computing



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.