SIGLOG Monthly 182
May  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
  HELMUT VEITH (1971-2016) - Obituary
  THIRTY-FIRST ANNUAL ACM/IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE (LICS 2016)
  LICS 2016 - Call for Student Volunteers (deadline extension)
  2016 SIGLOG Election - Update
  ACM SIGLOG Announcement
* DEADLINES
  Forthcoming Deadlines
* CALLS
  ARQNL 2016 - Call for Papers
  FMICS-AVoCS 2016 - Final Call for Papers
  HSST 2016 - Call for Participation and Abstracts
  SYNT 2016 - Final Call for Papers
  WISTP 2016 - Call For Papers
  FMCAD 2016 - Second Call For Papers
  CRITIS 2016 - Call For Papers
  ISSRE 2016 - Call for Papers
  RV 2016 - Third Call For Papers
  ILP2016 - Call For Papers
  SETTA 2016 - Call For Papers
  GandALF 2016 - Call For Papers
  RuleML 2016 Challenge - Call for Papers
  IJCAR 2016 WORKSHOP - Call for Position Statements
  HIGHLIGHTS 2016 - Call for Presentations
  SECURECOMM 2016 - Call For Papers
  TIME 2016 - First Call for Papers
  PODS 2017 - Call for Papers (1st submission cycle)
  PODS 2016 - Call for Participation
  SSBSS 2016 - Call for Participation
  SSS 2016 - Call for Papers
  ICDT 2017 - Call for Papers
* JOB ANNOUNCEMENTS
  POSTDOC OR PHD POSITION AT THE UNIVERSITY OF INNSBRUCK


HELMUT VEITH (1971-2016)
  http://forsyte.at/2016/03/helmut-veith-1971-2016/
* The Faculty of Informatics at TU Wien and the whole computer science
  community mourn the loss of Helmut Veith, who passed away on March
  12, 2016 at the age of 45: "Helmut Veith was researcher and teacher
  with heart and soul. With his death, the Faculty of Informatics and
  the TU Wien has lost one of its most outstanding and innovative
  leaders. The Austrian science community, and indeed the
  international computer science community, has lost a highly
  respected and influential member. He was also a well-rounded
  academic with interests, e.g., in literature and performing
  arts. Helmut Veith was a cooperative and open colleague and a very
  good friend to us all.  His death leaves a void that will never be
  filled; we will miss him. It is incomprehensible that he would be
  taken from us in the prime of his life. He already created so many
  things, but there were also so many hopes. His work and legacy will
  be our mission."
  (http://www.tuwien.ac.at/en/news/news_detail/article/10002/)



THIRTY-FIRST ANNUAL ACM/IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE (LICS 2016)
  5-8 July 2016, New York City, USA
  http://lics.siglog.org/lics16/
* EVENT
  LICS 2016 will be hosted in New York City during July 5-8, 2016.
  This event also marks the thirtieth anniversary of LICS.
* AFFILIATED WORKSHOPS
  Logic Mentoring Workshop
  LSB: 6th Workshop on Logic and Systems Biology
  NLCS: 4th Workshop on Natural Language and Computer Science.
  SR: 4th International Workshop on Strategic Reasoning.
  LOLA: Syntax and Semantics of Low-Level Languages.
* ACCEPTED PAPERS
  http://lics.siglog.org/lics16/accepted.html



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 (EXTENDED): 15 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 -UPDATE
* SIGLOG will hold elections in 2016. The slate of candidates can be
  found on the ACM election page  http://www.acm.org/elections/sigs/elections
  and is as follows:
* CHAIR
    Frank de Boer
    Prakash Panangaden
    Simona Ronchi Della Rocca
    Aravinda Prasad Sistla
* VICE-CHAIR
    Veronique Cortier
    Martin Hofmann
    Luke Ong
    Leszek Pacholski
    Frank Pfenning
* SECRETARY
    Zakaria Chihani
    Elaine Pimentel
    Alexandra Silva
* TREASURER
    Amy Felty
    Vivek Nigam
    R. Ramanujam
    Natarajan Shankar
* IMPORTANT DATES:
  - 22 April 2016 - Election site goes live.  SIG members are sent an email
  notification with voting instructions.
  - 31 May 2016 - All ballots due/online election voting site closed.
  - 1 July 2016 - Elections completed, all candidates notified of results
  by or before this date. Winners take office.



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
* ARQNL 2016
  Call for papers
  1 July 2016, Coimbra, Portugal
  http://iltp.de/ARQNL-2016/
  Abstract submission: 2 May 2016
  Paper submission: 9 May 2016
* FMICS-AVoCS 2016
  Final Call for Papers and deadline extension
  26-29 September 2016
  CNR, Pisa, Italy
  http://fmics-avocs.isti.cnr.it/
  Abstract submission (extended): May 2, 2016
  Paper submission: May 9, 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 - Final Call for Papers and deadline extension
  Toronto, Canada, July 17, 2016
  http://formal.epfl.ch/synt/2016/
  Paper submission: May 6, 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
  Second 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
* ISSRE 2016
  Call for Papers
  October 23rd - 27th, 2016 - Ottawa, Canada
  http://issre.net/
  Paper Abstract Submission: May 6th, 2016
  Papers Submission: May 13th, 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
* GandALF 2016
  Call for Papers
  September 14-16, Catania, Italy
  http://gandalf2016.dmi.unict.it
  Abstract submission: May 20
  Paper submission: May 27
* RuleML 2016 Challenge
  Call for Papers
  6-9 July, 2016, Stony Brook University, USA
  http://2016.ruleml.org/challenge
  Paper Submission: June 1st, 2016
* IJCAR 2016 Workshop Path not taken
  Call for Position Statements
  2nd July 2016 in Coimbra, Portugal
  Submission deadline: 1st June 2016
* HIGHLIGHTS 2016
  Call for Presentations
  September 6-9, 2016, Brussels, Belgium
  http://highlights-conference.org
  Submission deadline: June 3, 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
* PODS 2017
  Call for Papers (1st submission cycle)
  May 14-19, 2017, Raleigh, North Carolina, USA
  http://www.sigmod2017.org
  Abstract submission: June 12, 2016
  Paper submission: June 19, 2016
* PODS 2016
  Call for Participation
  June 27-29, 2016, San Francisco, California, USA
  http://www.sigmod2016.org
* SSBSS 2016
  Call for Participation
  8-14 July 2016, Volterra (Pisa), Tuscany, Italy
* SSS 2016
  Call for Papers
  Lyon, France, November 7-10, 2016
  http://graal.ens-lyon.fr/ SSS16/
  Abstract Submission: July 17
  Paper Submission: July 24
* ICDT 2017
  Call for papers
  27-31 March, 2017, Venice, Italy
  http://www.cs.ox.ac.uk/people/michael.benedikt/icdt17.html
  Paper deadine (2nd submission cycle): September 18, 2016



AUTOMATED REASONING IN QUANTIFIED NON-CLASSICAL LOGICS
2ND INTERNATIONAL WORKSHOP (ARQNL 2016)
  Call for papers
  1 July 2016, Coimbra, Portugal
  http://iltp.de/ARQNL-2016/
  associated with IJCAR 2016
* Important dates
  Abstract submission: 2 May 2016
  Paper submission: 9 May 2016
* Non-classical logics -- such as modal logics, conditional logics,
  intuitionistic logic, description logics, temporal logics, linear
  logic, dynamic logic, fuzzy logic, paraconsistent logic, relevance
  logic -- have many applications in AI, Computer Science, Philosophy,
  Linguistics and Mathematics. Hence, the automation of proof search
  in these logics is a crucial task.  The ARQNL workshop aims at
  fostering the development of proof calculi, automated theorem
  proving systems and model finders for all sorts of quantified
  non-classical logics. The workshop will provide a forum for
  researchers to present and discuss recent developments in this area.
  The contributions may range from theory to system descriptions and
  implementations. Contributions may also outline relevant
  applications and describe example problems and benchmarks. We
  welcome contributions from computer scientists, linguists,
  philosophers, and mathematicians.
* Paper formats:
  Research papers (up to 15 pages), or short papers, talk abstracts,
  and system demonstrations (up to 6 pages) are solicited.
* Publication:
  Proceedings will be published in the EasyChair Proceedings in
  Computing (EPiC) series.



INTERNATIONAL WORKSHOP ON FORMAL METHODS FOR INDUSTRIAL CRITICAL SYSTEMS
AND AUTOMATED VERIFICATION OF CRITICAL SYSTEMS (FMICS-AVoCS 2016)
  Final Call for Papers
  26-29 September 2016, CNR, Pisa, Italy
  http://fmics-avocs.isti.cnr.it/
* 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.
* IMPORTANT DATES
 - Abstract submission for full papers (extended): May 2, 2016
 - Submission of full papers (extended): May 9, 2016
 - Notification for full papers: June 19, 2016
 - Camera ready versions of full papers: July 10, 2016
 - Submission of research ideas: August 10, 2016
 - Notification for research ideas: August 17, 2016
 - FMICS-AVoCS workshop: September 26-29, 2016
* INVITED SPEAKERS
  Thomas Arts (QuviQ AB, Gothenburg, Sweden)
  Jan Peleska (University of Bremen, Germany)
* 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)
* MORE INFORMATION
  http://fmics-avocs.isti.cnr.it/



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)
  Final Call For Papers
  Toronto, Canada, July 17, 2016
  http://formal.epfl.ch/synt/2016/
* SYNT 2016 is a satellite event of CAV 2016. The workshop aims to
  bring together researchers interested in the broad area of synthesis
  of computing systems. The workshop aims to foster the development of
  frontier techniques in automating the development of computing
  systems and is inclusive in its interpretation of the term
  synthesis.
* Topics of interest include, but are not limited to:
  - algorithms and tools for software synthesis and reactive
  (discrete-time, timed, hybrid, ...) synthesis,
  - specification languages and optimization in synthesis,
  - complexity and decidability results for synthesis,
  - case studies of software or hardware synthesis,
  - connections between verification and synthesis,
  - connections between synthesis and inductive programming.
* We welcome scientific contributions of the following forms:
  - regular papers (max. 15 pages in EPTCS style, excluding references)
  - tool papers (max. 7 pages in EPTCS style, excluding references)
  - presentation-only papers (extended abstract of max. 2 pages in EPTCS style)
* Submission details:   http://formal.epfl.ch/synt/2016/
* Important dates:
  - Paper submission: May 6, 2016
  - Author notification:  May 30, 2016
  - Workshop: July 17, 2016
* Program Chairs:
  - Rayna Dimitrova (MPI-SWS)
  - Ruzica Piskac (Yale University)



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:
  - Ruzica Piskac, Yale University
  - 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



THE 27TH IEEE INTERNATIONAL SYMPOSIUM ON SOFTWARE RELIABILITY ENGINEERING
(ISSRE 2016)
  Call for Papers
  October 23rd - 27th, 2016 - Ottawa, Canada
  http://issre.net/
* SUMMARY OF IMPORTANT DATES
 - Research Paper Abstract Submission:                     May 6th, 2016
 - Research Papers Submission:                             May 13th, 2016
 - Workshop Proposal Submission:                           April 22nd, 2016
 - Tutorial Proposal Submission:                           July 1st, 2016
 - Industry Paper Submission:                              July 29th, 2016
 - Doctoral Symposium Paper Submission:                    August 5th, 2016
 - Fast Abstract Paper Submission:                         August 5th, 2016
* For further information on the call for submissions, please see
  http://issre.net/call-for-papers
* ISSRE is the premium conference that focuses on the theory and
  practice of software systems reliability engineering. Over the past
  20+ years we have grown to be recognized as the voice of software
  reliability. From its humble beginnings in 1990, it has become a
  conference that has a unique element to it: a rare combination of
  strong research and industry participation.
* Topics of interests include
  - Reliability, availability and safety of software systems
  - Validation and Verification Faults, errors, failures, defects,
  - bugs Software quality and productivity Software security
  - Dependability, survivability, fault tolerance and resilience of
  - software systems Systems (hardware + software) reliability
  - engineering Metrics and measurements, estimation, prediction of
  - quality/reliability Services reliability engineering Open source
  - software reliability engineering Web 2.0 reliability, availability
  - and security issues Supporting tools and automation Industry best
  - practices Software as a Service Virtualization and software
  - reliability Reliability of mobile devices and applications Green
  - and Sustainable Software engineering Reliability of Big Data and
  - Internet of Things Empirical studies of any of the above topics
  - Software Standards
* ALL IMPORTANT DATES
* Call for Research Papers
  Abstract submission:                                    May 6, 2016
  Full paper submission:                                  May 13, 2016
  Rebuttal period:                                        July 10-12, 2016
  Notification:                                           July 20, 2016
  Camera ready paper:                                     August 21, 2016
* Call for Workshops Proposals
  Proposal submission:                                    April 22, 2016
  Notification:                                           May 8, 2016
  Paper Submission:                                       July 29, 2016
  Paper Notification:                                     Aug 19, 2016
  Camera ready paper:                                     Aug 28, 2016
* Call for Tutorials proposals
  Proposal Submission:                                    July 1, 2016
  Notification:                                           July 15, 2016
* Call for Industry Papers
  Short paper submission:                                 July 29, 2016
  Abstract/Presentation Submission:                       August 15, 2016
  Notification short paper:                               August 19, 2016
  Notification abstract/presentation:                     August 28, 2016
  Camera ready (short paper only):                        Aug 28, 2016
* Call for Doctoral Symposium Papers
  Paper submission:                                       August 5, 2016
  Notification:                                           August 19, 2016
  Camera ready paper:                                     August 28, 2016
* Call for Fast Abstract Papers
  Paper Submission:                                       August 5, 2016
  Notification:                                           August 19, 2016
  Camera ready paper:                                     August 28, 2016
* Program Committee Chairs
  Alexander Romanovsky, Newcastle University, United Kingdom
  Elena Troubitsyna, Abo Akademi University, Finland
* Workshop Chair
  Sudipto Ghosh, Colorado State University, USA
* Industry Track Chairs
  Sigrid Eldh, Ericsson, Sweden
  Brian Robinson, ABB, USA
* Tutorial Chair
  Sunita Chulani, Cisco Systems, USA
* Fast Abstract Chair
  Jeremy Bradbury, University of Ontario Institute of Technology, Canada
* Doctoral Symposium Chair
  Tanja Vos, Universidad Politecnica de Valencia, Spain
* Steering Committee: http://issre.net/steering-committee
* Program Committee: http://issre.net/program-committee



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/



THE SEVENTH INTERNATIONAL SYMPOSIUM ON GAMES, AUTOMATA, LOGICS AND FORMAL
VERIFICATION (GandALF 2016)
  2nd Call for papers
  September 14-16, Catania, Italy.
  http://gandalf2016.dmi.unict.it
* TOPICS OF INTEREST: The topics covered by the conference include, but
  are not limited to, the following:
  Automata Theory
  Automated Deduction
  Computational aspects of Game Theory
  Concurrency and Distributed computation
  Decision Procedures
  Deductive, Compositional, and Abstraction Techniques for Verification
  Finite Model Theory
  First-order and Higher-order Logics
  Formal Languages
  Formal Methods for Systems Biology, Hybrid, Embedded, and Mobile Systems
  Games and Automata for Verification
  Game Semantics
  Logical aspects of Computational Complexity
  Logics of Programs
  Modal and Temporal Logics
  Model Checking
  Models of Reactive and Real-Time Systems
  Program Analysis and Software Verification
  Run-time Verification and Testing
  Specification and Verification of Finite and Infinite-state Systems
  Synthesis
* INVITED SPEAKERS
  - Luca Bertolussi (University of Trieste, Italy)
  - Joanna Golinska-Pilarek (Institute of Philosophy, University of Warsaw, Poland)
  - Arnaud Sangnier (Laboratoire LIAFA, Universit=C3=A9 Paris Diderot, France)
* IMPORTANT DATES
  - Abstract submission: May 20
  - Paper submission: May 27
  - Notification: July 1
  - Camera-ready: July 29
* CHAIRS
  Domenico Cantone, Univ. of Catania, Italy  (co-chair)
  Giorgio Delzanno, Univ. of Genoa, Italy  (co-chair)



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



IJCAR 2016 WORKSHOP ON PATHS NOT TAKEN: THINKING ABOUT THE PROCESS OF PROOF
(IJCAR 2016 WORKSHOP)
  https://pathsnottakenblog.wordpress.com
  2nd July 2016 in Coimbra, Portugal.
  In association with IJCAR 2016.
* Keynote speaker: J Strother Moore, University of Texas at Austin.
* Important dates
  Submission deadline: 1st June 2016
  Notification of final programme: 15th June 2016
  Workshop: 2nd July 2016
* Call for Position Statements: Position statements of up to 500 words
  should be submitted by email to pathsnottakenworkshop@gmail.com by
  1st June 2016. They should be in PDF format, and include your name,
  email address and affiliation, and a short paragraph describing your
  background or experience in machine proof. Please indicate whether
  you would be willing to have your statement posted on this blog.
* Position statements might address topics such as:
 - what do you find hardest or most challenging about machine proof?
 - what do you do when you get stuck in a machine proof?
 - what is the best advice you have ever been given about machine proof?
 - what was your biggest failure in a machine proof?
 - how do you plan and organise a machine proof?
 - what is the best way to teach others to do machine proofs?
* The scope of the workshop covers research in automated reasoning,
  formal methods and proof processes. For futher details please visit
  the workshop website: https://pathsnottakenblog.wordpress.com



FOURTH CONFRENCE ON HIGHLIGHTS OF LOGIC, GAMES AND AUTOMATA (HIGHLIGHTS 2016)
  Call for Presentations
  September 6-9, 2016, Brussels, Belgium
  http://highlights-conference.org
* HIGHLIGHTS 2016 is the fourth conference on Highlights of Logic,
  Games and Automata which aims at integrating the community working
  in these fields.  Papers from these areas are dispersed across many
  conferences, which makes them difficult to follow. A visit to
  Highlights conference should offer a wide picture of the latest
  research in the field and a chance to meet everybody in the
  community, not just those who happen to publish in one particular
  proceedings volume. We encourage you to attend and present your best
  work, be it already published or not, at the Highlights conference.
* Representative areas include, but are not restricted to: logic and
  finite model theory, automata theory, games for logic and
  verification.
* You submit a proposal for a presentation, not a paper. Hence,
  submissions should have a single author, who is the speaker. Since
  we expect you to present your favorite result of the year, there
  should be at most one submission per speaker. The abstract, of 1-2
  pages, may include a list of coauthors.  There are no formal
  proceedings and we encourage submission of work presented
  elsewhere. Submissions are possible through
  https://easychair.org/conferences/?conf=3Dhighlights2016.
* The program will further offer three keynotes by Meena Mahajan
  (Chennai), Andreas Maletti (Stuttgart), and Marc Zeitoun (Bordeaux),
  two invited sessions, organised by S=C5=82awomir Lasota (Warsaw) and
  Anca Muscholl (Bordeaux), and two tutorials by Benedikt Bollig
  (Cachan) and Anton=C3=ADn Ku=C4=8Dera (Prague).
* Important dates:
  Submission deadline: June 3, 2016
  Registration possible until August 7, 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



36TH ACM SIGMOD-SIGACT-SIGAI SYMPOSIUM ON PRINCIPLES OF DATABASE SYSTEMS
(PODS 2017)
  Call for Papers (1st submission cycle)
  May 14-19, 2017, Raleigh, North Carolina, USA
  http://www.sigmod2017.org
* PODS has two rounds of submissions (see dates below). Note that the
  1st round is moved earlier compared with the previous editions of
  PODS. This is to better synchronize with the two deadlines of the
  ICDT conference (see
  http://www.cs.ox.ac.uk/people/michael.benedikt/icdt17.html)
* TOPICS that fit the interests of the symposium include the following:
  - design, semantics, query languages
  - data models, data structures, algorithms for data management
  - concurrency and recovery, distributed and parallel databases, cloud
    computing
  - model theory, logics, algebras, computational complexity
  - graph databases and (semantic) Web data
  - data mining, information extraction, search
  - data streams
  - data-centric (business) process management, workflows, web services
  - incompleteness, inconsistency, uncertainty in data management
  - data and knowledge integration and exchange, data provenance, views
    and data warehouses, metadata management
  - domain-specific databases (multi-media, scientific, spatial,
    temporal, text)
  - deductive databases
  - data privacy and security
* PROGRAM CHAIR
  Floris Geerts (University of Antwerp, BE)
* IMPORTANT DATES
  - Dates for first submission cycle:
    June 12, 2016, 11:59pm PST: Abstract submission
    June 19, 2016, 11:59pm PST: Paper submission
    August 28, 2016, 11:59pm PST: Accept/Reject/Revise notification
    September 25, 2016, 11:59pm PST: Revision deadline
    October 30, 2016, 11:59pm PST: Accept/Reject notification (Revisions)
  - Dates for second submission cycle:
    December 11, 2016, 11:59pm PST: Abstract submission
    December 18, 2016, 11:59pm PST: Paper submission
    February 26, 2017, 11:59pm PST: Accept/Reject notification
    March 19, 2017, 11:59pm PST: Camera-ready deadline
* AWARDS
  - Best Paper Award: An award will be given to the best submission, as
    judged by the program committee.
  - Best Student Paper Award: There will also be an award for the best
    submission, as judged by the program committee, written by a student
    or exclusively by students.



35TH ACM SIGMOD-SIGACT-SIGAI SYMPOSIUM  PRINCIPLES OF DATABASE SYSTEMS
(PODS 2016)
  Call for Participation
  June 27-29, 2016, San Francisco, California, USA
  http://www.sigmod2016.org
* The PODS program this year will feature an invited keynote, two
  invited tutorials, and the inaugural Gems of PODS talks. The Gems of
  PODS event features topics and results in PODS that have been highly
  influential in the PODS community and beyond.
* Invited keynote and tutorials
* Gems of PODS talks
* Monday (June 27):
  -Keynote:
    A Theory of Regular Queries by Moshe Vardi (Rice University)
  - Gems of PODS talks:
    Optimal Score Aggregation Algorithms by Ronald Fagin (IBM Research
    Almaden)
  - Hypertree Decompositions: Questions and Answers by Georg Gottlob
    (University of Oxford)
* Tuesday (June 28):
  - Invited tutorial:
    Data Management for Social Networking by Sara Cohen (Hebrew
    University of Jerusalem)
* Wednesday (June 29):
  - Invited tutorial:
    Logical Aspects of Massively Parallel and Distributed Systems by
    Frank Neven (Hasselt University)



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/



18TH INTERNATIONAL SYMPOSIUM ON STABILIZATION, SAFETY, AND SECURITY OF
DISTRIBUTED SYSTEMS (SSS 2016)
  Call for Papers
  Lyon, France, November 7-10, 2016
  http://graal.ens-lyon.fr/ SSS16/
* The Symposium on Stabilization, Safety, and Security of Distributed
  Systems is an international forum for researchers and practitioners
  working on the design and development of distributed systems that
  guarantee specific desired properties despite adversity, or that are
  able to restore the desired properties following adversarial
  perturbations in the computing medium building on the principles of
  self-stabilization.  The symposium encourages the submission of
  original contributions spanning fundamental research and practical
  applications within its scope, covered by the three symposium
  tracks.
* TOPICS AND TRACKS
* Track 1: Self-* and Autonomic Computing
  - Self-stabilizing systems
  - Self-organizing, self-managing, and self-configuring systems
  - Self-optimizing and self-healing systems
  - Self-protecting and self-repairing systems
  - Autonomic cloud computing
  - Autonomous vehicles
* Track 2: Foundations
  - Theory of self-stabilization
  - Distributed algorithms
  - Fault-Tolerant distributed systems
  - Formal methods, validation, verification, and synthesis
  - Safety and security
* Track 3: Networks, Multi-Agent Systems, and Mobility
  - Self-Stabilizing networks
  - Peer-to-peer networks
  - Sensor networks, MANETs, and wireless mesh networks
  - Large and extreme scale systems
  - Distributed robot systems
  - Cooperating multi-agent distributed systems
  - Dynamic systems and networks
  - Overlay networks
  - Social networks
  - High-Speed networks
* IMPORTANT DATES
  - Abstract Submission: July 17
  - Paper Submission: July 24
  - Notification: September 12
  - Camera Ready Submission: September 23
  - Authors Registration: September 23
  - Early Registration: October 7
  - Conference: November 7-10
* Keynote Speakers
  Hagit Attiya (Technion, Israel)
  Joseph Halpern (Cornell University, USA)
  TBA
* General Chair:
  Franck Petit (Universite Pierre et Marie Curie, LIP6, France)
* Program Committee Chair:
  Borzoo Bonakdarpour (McMaster University, Canada)
* Program Chairs
  - Track 1: Self-* and Autonomic Computing
    Stephane Devismes, co-chair (University of Grenoble, France)
    Manish Parashar, co-chair (Rutgers University, USA)
  - Track 2: Foundations
    Vijay Garg, co-chair (University of Texas - Austin, USA)
    Sergio Rajsbaum, co-chair (UNAM, Mexico)
  - Track 3: Networks, Multi-Agent Systems, and Mobility
    Yvonne-Anne Pignolet, co-chair (ABB Corporate Research, Switzerland)
    Roger Wattenhofer, co-chair (ETH-Zurich, Switzerland)
* The program committee will select two papers for the best paper and
  best student paper awards.



THE 20TH INTERNATIONAL CONFERENCE ON DATABASE THEORY (ICDT 2017)
  Call for papers
  27-31 March, 2017, Venice, Italy
  http://www.cs.ox.ac.uk/people/michael.benedikt/icdt17.html
* The series of ICDT conferences (http://icdt.tu-dortmund.de/)
  provides an international forum for the communication of research
  advances on the theoretical foundations of database systems.
* ICDT has made significant changes to its submission dates, in
  co-ordination with its sibling conference PODS. There are now two
  submission cycles, with the first providing the possibility of
  revision.
* First submission cycle:
  Abstract deadline: March 18, 2016
  Full paper submission deadline: March 25, 2016
  Accept/Reject/Revise Notification: May 29, 2016
* Second submission cycle:
  Abstract deadline: September 11, 2016
  Full paper submission deadline: September 18, 2016
  Notification: November 27, 2016
* Examples of relevant topics are: concurrency and recovery,
  distributed and parallel databases, cloud computing, connections
  between databases and knowledge representation, graph databases and
  (semantic) Web data, data mining, information extraction, search,
  data streams, data-centric (business) process management, workflows,
  web services, incompleteness, inconsistency, uncertainty in
  databases, data and knowledge integration and exchange, data
  provenance, views and data warehouses, metadata management,
  domain-specific databases (multi-media, scientific, spatial,
  temporal, text), deductive databases, data privacy and security,
  database aspects of machine learning, model theory, logics,
  algebras, computational complexity, design, semantics, query
  languages, data models, data structures, algorithms for data
  management.



POSTDOC OR PHD POSITION AT THE UNIVERSITY OF INNSBRUCK
* Within the  research unit  Computation with  Bounded Resources  at the
  University of  Innsbruck, Austria  there is  an opening  for a  2 year
  position  as postdoctoral  researcher  or  a 3  year  position as  PhD
  student.   The position  is funded  by the  ANR-FWF project  "The fine
  structure of  proof systems  and their  computational interpretations"
  (FISP  for short).  Applications (including CV, publication  list, and
  two references) may be sent by email, to
  georg.moser@uibk.ac.at
  no later than May 31, 2016. Informal inquiries are also welcome at the
  same email address.
* Project FISP:
  http://cl-informatik.uibk.ac.at/research/projects/the-fine-structure-of-formal-proof-systems-and-the/
* Computation with Bounded Resources Research Unit
  http://cbr.uibk.ac.at/
* Computational Logic Group
  http://cl-informatik.uibk.ac.at/




Back to the LICS web page.