SIGLOG Monthly 184
July 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 Participation.
ANNOUNCEMENT OF THE 2016 CHURCH AWARD
ANNOUNCEMENT OF THE 2016 GOEDEL PRIZE
ACM SIGLOG Announcement
* DEADLINES
Forthcoming Deadlines
* CALLS
RULEML AND DECISIONCAMP 2016 - Call for Participation, Papers
SSBSS 2016 - Call for Participation
FSTTCS 2016 - Call for papers
ESSLLI 2017 - Call for Proposals
DEDUCTION MEETING/DEDUKTIONSTREFFEN 2016 - Call for Papers
CAV 2016 - Call for participation
ILP2016 - Call For Papers
CRV 2016 - Call for Participation
DARE 2016 - Call for Participation
HIGHLIGHTS 2016 - Call for Presentations
PODS 2017 - Call for Papers (1st submission cycle)
ARVI COST 2016 - Call for Participation
SSS 2016 - Call for Papers
ICDT 2017 - Call for Papers
* JOB ANNOUNCEMENTS
PHD STUDENTSHIP IN SEMANTICS AND VERIFICATION OF HETEROGENEOUS PROGRAMS
3-YEAR POSTDOC POSITION AT HASSELT UNIVERSITY
THIRTY-FIRST ANNUAL ACM/IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE
(LICS 2016)
Call for Participation
5-8 July 2016, New York City, USA
http://lics.siglog.org/lics16/
https://regmaster4.com/2016conf/LICS16/register.php
* 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
* IMPORTANT DATES
July 5-8, 2016 - Conference
July 9-10, 2016 - Workshops
THE 2016 ALONZO CHURCH AWARD
FOR OUTSTANDING CONTRIBUTIONS TO LOGIC AND COMPUTATION
http://siglog.hosting.acm.org/wp-content/uploads/2016/05/church16.pdf
* The 2016 Alonzo Church Award for Outstanding Contributions to Logic
and Computation is given to Rajeev Alur and David Dill for their
invention of timed automata, a decidable model of real-time systems,
which combines a novel, elegant, deep theory with widespread
practical impact.
Rajeev Alur and David Dill: A theory of timed automata.
Theoretical Computer Science 126(2):183-235, 1994.
* Alur and Dill will receive the award at the 31st Annual ACM/IEEE
Symposium on Logic in Computer Science (LICS), which will be held on
July 5-8, 2016, at Columbia University, New York City, USA.
* The Award was established in 2015 by the ACM Special Interest Group
for Logic and Computation (SIGLOG), the European Association for
Theoretical Computer Science (EATCS), the European Association for
Computer Science Logic (EACSL), and the Kurt Goedel Society
(KGS). It recognises an outstanding contribution represented by a
paper or small group of papers within the past 25 years; this is the
first such award. The Award Committee consisted of Catuscia
Palamidessi, Gordon Plotkin, Wolfgang Thomas, and Moshe Vardi
(chair).
2016 GOEDEL PRIZE
http://eatcs.org/index.php/component/content/article/1-news/2280-2016-godel-prize-
* The 2016 Goedel Prize is awarded to Stephen Brookes and Peter
W. O'Hearn for their invention of Concurrent Separation Logic, as
described in the following two papers:
- S. Brookes, A Semantics for Concurrent Separation Logic.
Theoretical Computer Science 375(1-3): 227-270 (2007)
- P. W. O'Hearn, Resources, Concurrency, and Local Reasoning.
Theoretical Computer Science 375(1-3): 271-307 (2007)
Stephen Brookes and Peter O'Hearn will receive the 2016 Goedel Prize
at the 43rd International Colloquium on Automata, Languages and
Programming (ICALP 2016), 12-15 July 2016, in Rome, Italy.
ACM SIGLOG ANNOUNCEMENT
http://siglog.acm.org
* The ACM has recently chartered a Special Interest Group on Logic and
Computation (ACM SIGLOG).
* We are pleased to announce the 2016 ACM SIGLOG election results for
the term of 1 July 2016 - 30 June 2019. The SIGLOG Chair is Prakash
Panangaden and the other officers are Luke Ong (vice-Chair), Amy
Felty (Treasurer) and Alexandra Silva (Secretary).
* The ACM-IEEE Symposium on Logic in Computer Science is the flagship
conference of SIGLOG. SIGLOG will also actively seek association
agreements with other conferences in the field. A SIGLOG newsletter
(SIGLOG News) is also published quarterly in an electronic format
with community news, technical columns, members' feedback,
conference reports, book reviews and other items of interest to the
community.
* One can join SIGLOG by visiting
https://campus.acm.org/public/qj/gensigqj/siglist/gensigqj_siglist.cfm
It is possible to join SIGLOG without joining ACM (the SIGLOG
membership fee is $25 and $15 for students).
DATES
* RULEML AND DECISIONCAMP 2016
Call for Participation, Call for Papers
Stony Brook, NY, 6-9 July, 2016
http://2016.ruleml.org
* SSBSS 2016
Call for Participation
8-14 July 2016, Volterra (Pisa), Tuscany, Italy
* FSTTCS 2016
Call for Papers
December 13--15, 2016, Chennai, India
http://www.fsttcs.org/
Paper submission: July 15, 2016
* ESSLLI 2017
Call for Course and Workshop Proposals
17-28 July, 2017, Toulouse, France
https://www.irit.fr/esslli2017
15 July 2016: Proposal submission deadline
* DEDUCTION MEETING/DEDUKTIONSTREFFEN 2016
Call for Papers
September 26, 2016, Alpen Adria University, Klagenfurt, Austria
Hosted by KI 2016.
https://fg-dedsys.gi.de/dt2016.html
Early bird submission: July 15
Standard submission: August 15
* CAV 2016
Call for participation
July 17-23 2016, Hyatt Regency Toronto, Ontario, Canada
http://i-cav.org/2016/
* ILP2016 - Call For Papers
Call For Papers
September 4th - 6th, 2016, London, UK
http://ilp16.doc.ic.ac.uk
Short Paper submission: 24 July 2016
* CRV 2016
Call for Participation
https://rv2016.imag.fr/?page_id=188
September 2016, Madrid, Spain
* DARe-16 at ECAI
Call for Participation
Date: 29 August 2016
The Hague, Netherlands
http://dare2016.yolasite.com
* ARVI COST 2016
Call for Participation
September 23-25, Madrid, Spain
https://rv2016.imag.fr/?page_id=128
* 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
RULEML AND DECISIONCAMP 2016
Call for Participation
Dates: 6-9 July, 2016
Location: New Computer Science Department Building, room 120,
Stony Brook University, New York, USA
http://2016.ruleml.org
* Invited presentations by: Richard Waldinger (2016 Herbrand Award
winner), Charles Forgy (inventor of the RETE algorithm, Bruce Silver
(book author on DMN Method and Style), Michael Kifer, Theresa Swift
and Benjamin Grosof.
* Submission Deadline (Papers/Demos/Posters) for all Open Calls: June
5th, 2016
* The RuleML 2016 Challenge is one of the highlights of the RuleML
2016 Symposium, providing a friendly competition environment for
innovative rule-oriented systems and applications, aimed at both
research and industry participants.
http://2016.ruleml.org/challenge
* Posters are called for about late-breaking rule topics, e.g.
domain-specific applications of rule systems. Posters should be
accompanied by high-quality, original 1-4 page extended abstracts,
which should be submitted at:
https://easychair.org/conferences/?conf=ruleml2016 ("10th
International Rule Challenge" track).
* Both PhD students and mentors are called for:
http://2016.ruleml.org/doctoral-consortium
* Industry Track will include a panel about use of rules and rule
technologies in business cases:
http://2016.ruleml.org/industry-track
* Accepted papers
http://2016.ruleml.org/list-of-accepted-papers
* Accomodation
http://2016.ruleml.org/venue-and-accommodation
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/
36TH FOUNDATIONS OF SOFTWARE TECHNOLOGY AND THEORETICAL COMPUTER
SCIENCE (FSTTCS 2016)
Call for Papers
December 13--15, 2016, Chennai, India
http://www.fsttcs.org/
* IARCS, the Indian Association for Research in Computing Science,
announces the 36th Foundations of Software Technology and
Theoretical Computer Science (FSTTCS) conference at Chennai
Mathematical Institute, Chennai, India. The FSTTCS conference is a
forum for presenting original results in foundational aspects of
Computer Science and Software Technology.
* Important Dates
Paper submission: July 15, 2016
Notification to authors: September 15, 2016
Camera-ready version due: October 15, 2016
Conference: December 13-15, 2016
* Scope
- Algorithms & data structures, Automata & formal languages
- Algorithmic graph theory & combinatorics
- Models of concurrent, distributed mobile systems
- Approximation algorithms, Cryptography & security
- Combinatorial optimization, Game theory & mechanism design
- Communication complexity, Logic in computer science
- Computational complexity, Model theory & temporal logics
- Computational geometry, Computational biology
- Computational learning theory
- Models of timed, reactive, hybrid & stochastics systems
- Parallel, distributed & online algorithms
- Principles & semantics of programming languages
- Parameterized complexity, Program analysis & transformation
- Proof complexity, Specification, verification & synthesis
- Quantum computing, Theorem proving & model checking
- Randomness in computing, Type systems, type theory & calculi
* Further details:
http://www.fsttcs.org/
29TH EUROPEAN SUMMER SCHOOL IN LOGIC, LANGUAGE AND INFORMATION
(ESSLLI 2017)
Call for Course and Workshop Proposals
17-28 July, 2017, Toulouse, France
https://www.irit.fr/esslli2017
Call for Course and Workshop Proposals
17-28 July, 2017, Toulouse, France
https://www.irit.fr/esslli2017
* IMPORTANT DATES (with extended deadline)
15 July 2016: Proposal submission deadline
30 September 2016: Notification
* SUBMISSION PORTAL
Please submit your proposals here:
https://easychair.org/conferences/?conf=3Desslli2017
* TOPICS AND FORMAT Proposals for courses and workshops at ESSLLI 2017
are invited in all areas of Logic, Linguistics and Computing
Sciences. Cross-disciplinary and innovative topics are particularly
encouraged. Each course and workshop will consist of five 90 minute
sessions, offered daily (Monday-Friday) in a single week. The EACSL
will sponsor for one course or workshop in the areas of Logic and
Computation.
* PROGRAMME COMMITTEE
Chair:
Shravan Vasishth, Universitaet Potsdam
Local co-chair:
Philippe Balbiani, IRIT, Toulouse
Language and Computation:
Sebastian Pado, Universitaet Stuttgart
Mehrnoosh Sadrzadeh, University of London
Language and Logic:
Denis Bonnay, l'Universite Paris Ouest
Jessica Rett, UCLA
Logic and Computation:
Tomer Kotek, Technische Universitaet Wien
Anna Zamansky, University of Haifa
* FURTHER INFORMATION:
Please send any queries you may have to vasishth dot shravan at gmail
dot com.
30th DEDUCTION MEETING/DEDUKTIONSTREFFEN 2016
Call for Papers
September 26, 2016, Alpen Adria University, Klagenfurt, Austria
Hosted by KI 2016.
https://fg-dedsys.gi.de/dt2016.html
* The annual meeting Deduktionstreffen is the prime activity of the
Interest Group for Deduction Systems (FGDedSys) of the German
Informatics Society.
It is a meeting with a familiar, friendly atmosphere, where all
members and friends of the German deduction community are invited to
present, discuss and share their latest research results and ideas
in an informal setting.
* A particular focus of the Deduktionstreffen is on young researchers
and students, who are particularly encouraged to present their
ongoing research projects to a wider audience. Another goal of the
meeting is stimulate networking effects and to foster collaborative
research projects.
* Invited Speakers:
- Armin Biere
- Cezary Kaliszyk
* We welcome contributions on all theoretical, experimental and
application aspects of deduction. Accepted abstracts will be
presented as 5min teaser talks followed by a poster presentation.
* Important dates:
- Early bird submission: July 15
- Standard submission: August 15
28TH INTERNATIONAL CONFERENCE ON COMPUTER AIDED VERIFICATION (CAV 2016)
Call for Participation
July 17-23, 2016, Hyatt Regency Toronto, Ontario, Canada
http://i-cav.org/2016/
* Highlights
- 46 regular papers, 12 tool papers
- Four invited talks, four invited tutorials
- Talk by a winner of the 2016 CAV award
* Registration deadline
- Early registration deadline: June 10, 2016
- Register at https://regmaster4.com/2016conf/CAV16/register.php
* Conference program
Available at http://i-cav.org/2016/program/
* Invited talks
- Gilles Barthe (IMDEA Software Institute)
Computer-aided Cryptography
- Gerwin Klein (NICTA and University of New South Wales)
Scaling Up - From Trustworthy seL4 to Trustworthy Systems
- Moshe Vardi (Rice University)
Constrained Sampling and Counting
- A winner of the 2016 CAV Award
(To be announced at the conference)
* Invited tutorials
- Parosh Abdulla (Uppsala University)
Small Models in Parameterized Verification
- Vitaly Chipounov (EPFL)
The S2E Platform: Design, Implementation, and Applications
- Paulo Tabuada (UCLA)
Synthesizing Robust Cyber-Physical Systems
- Martin Vechev and Pavol Bielek (ETH)
Machine Learning for Programs
* Associated workshops
- NSV: 9th International Workshop on Numerical Software Verification
http://nsv2016.pages.ist.ac.at/
- VSTTE: 8th Working Conference on Verified Software: Theories,
Tools, and Experiments
http://www.cs.toronto.edu/~chechik/vstte16/
- SYNT: 5th Workshop on Synthesis
http://formal.epfl.ch/synt/2016/
- (EC)2: 9th International Workshop on Exploiting Concurrency
Efficiently and Correctly
http://ecee.colorado.edu/pavol/ec2-2016/
- HCCV: Workshop on High-Consequence Control Verification
http://www.sandia.gov/hccv/
- VMW: Verification Mentoring Workshop
http://i-cav.org/2016/vmw/
* Conference chairs
Swarat Chaudhuri (Rice University)
Azadeh Farzan (University of Toronto)
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
THE 3RD INTERNATIONAL COMPETITION ON RUNTIME VERIFICATION (CRV 2016)
Call for Participation
https://rv2016.imag.fr/?page_id=188
September 2016, Madrid, Spain
* The 3rd International Competition on Runtime Verification In
Association with COST Action "Runtime Verification beyond
Monitoring" held with RV 2016, September 23-30 2016, Madrid, Spain
* The main goal of CRV 2016 is to compare tools for runtime
verification. We invite and encourage the participation with
benchmarks and tools for the competition. The competition will
consist of three main tracks based on what is being monitored:
- Track on monitoring Java programs (online monitoring)
- Track on monitoring C programs (online monitoring)
- Subtrack on Generic Specifications (e.g. in LTL)
- Subtrack on Implicit Specifications (e.g. memory safety)
- Track on monitoring of traces (offline monitoring)
* The general organisation of the competition is described in the
rules document found at
http://crv.liflab.ca/CRV2016.pdf.
* To register please fill in the form at
http://goo.gl/forms/kWxFFfFCvZ.
* Please direct any enquiries to the competition co-organizers
(crv2016@crv.liflab.ca):
- Ylies Falcone (Univ. Grenoble Alpes, Inria, France),
- Sylvain Halle (Universite du Quebec a Chicoutimi, Canada),
- Giles Reger (University of Manchester, Manchester, UK).
* Expected Important Dates
May 9th Registration Opens
May 29th Benchmark Submission Deadline
June 5th Registration Closes
June 5-12th Clarifications Phase
June 19th Benchmarks Announced
July 10th Monitor Submission Deadline
August 1st Notifications
At RV 2016 Presentation of Results
THE THIRD INTERNATIONAL WORKSHOP ON "DEFEASIBLE AND AMPLIATIVE
REASONING" (DARE 2016)
Call for Participation
29 August 2016, The Hague, Netherlands
http://dare2016.yolasite.com
* The workshop is held at the European Conference on Artificial
Intelligence (ECAI 2016)
* DARe welcomes contributions on all aspects of defeasible and
ampliative reasoning such as (but not limited to):
- Abductive and inductive reasoning
- Explanation finding, diagnosis and causal reasoning
- Inconsistency handling and exception-tolerant reasoning
- Decision-making under uncertainty and incomplete information
- Default reasoning, non-monotonic reasoning, non-monotonic logics,
conditional logics
- Specific instances and variations of ampliative and defeasible
reasoning
- Probabilistic and statistical approaches to reasoning
- Vagueness, rough sets, granularity and fuzzy-logics
- Philosophical foundations of defeasibility
- Empirical studies of reasoning
- Relationship with cognition and language
- Contextual reasoning
- Preference-based reasoning
- Analogical reasoning
- Similarity-based reasoning
- Belief dynamics and merging
- Argumentation theory, negotiation and conflict resolution
- Heuristic and approximate reasoning
- Defeasible normative systems
- Reasoning about actions and change
- Reasoning about knowledge and belief, epistemic and doxastic logics
- Ampliative and defeasible temporal and spatial reasoning
- Computational aspects of reasoning with uncertainty
- Implementations and systems
- Applications of uncertainty in reasoning
* IMPORTANT DATES
- Submission deadline: 16 June 2016
- Notification: 28 June 2016
- Camera ready: 17 July 2016
- Early registration: 5 July 2016
- Late registration: [TBA]
- Workshop date: 30 August 2016
* WORKSHOP CO-CHAIRS
- Richard Booth (Cardiff University, United Kingdom)
- Giovanni Casini (Universite du Luxembourg)
- Szymon Klarman (Brunel University London, United Kingdom)
- Gilles Richard (Universite Paul Sabatier, France)
- Ivan Varzinczak (CRIL, Universite d'Artois, France)
* FURTHER INFORMATION. Please visit the workshop website
(http://dare2016.yolasite.com) for further information and regular
updates.
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 Slawomir Lasota (Warsaw) and
Anca Muscholl (Bordeaux), and two tutorials by Benedikt Bollig
(Cachan) and Antonin Kucera (Prague).
* Important dates:
Submission deadline: June 3, 2016
Registration possible until August 7, 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.
ARVI COST SUMMER SCHOOL ON RUNTIME VERIFICATION (ARVI COST 2016)
Call for Participation
September 23-25, Madrid, Spain
https://rv2016.imag.fr/?page_id=128
* The first edition of the ARVI COST Summer School on Runtime
Verification: Branches of Practical Topics Rooted in Theory will be
co-located with the 16th International Conference on Runtime
Verification in Madrid and organised over three days with a series
of lectures from international experts in the field.
* TOPICS:
- The basics of runtime verification
- Instrumentation techniques
- Specification languages
- Monitor parametrisation
- Monitoring concurrency errors
- Performance issues of monitors
- Combination of static and dynamic analysis
- Monitoring of distributed systems
- Time-triggered monitoring
* Confirmed Speakers:
- Prof. Wolfgang Ahrendt - Chalmers University of Technology
and University of Gothenburg (Sweden)
- Prof. Ezio Bartocci - University of Vienna (Austria).
- Prof. Borzoo Bonakdarpour - University of MacMaster (Canada).
- Dr. Marius Bozga - CNRS - Verimag (France).
- Dr. Christian Colombo - University of Malta (Malta).
- Dr. Ylies Falcone - University of Grenoble (France).
- Dr. Adrian Francalanza - University of Malta (Malta).
- Dr. Klaus Havelund - NASA Jet Propulsion Laboratory (USA).
- Prof. Martin Leucker - University of Lubeck (Germany).
- Prof. Joao Lourenco - Universidade Nova de Lisboa (Portugal).
- Prof. Dejan Nikovic Technical University of Vienna (Austria).
- Prof. Gordon Pace - University of Malta (Malta).
- Dr. Giles Reger - University of Manchester (UK).
* Application Procedure and Important Dates:
Deadline for Applications: July 15, 2016.
Response to Applicants: July 20, 2016.
Online Registration and Fee payment: July 29, 2016.
* More details can be found at: https://rv2016.imag.fr/?page_id=128.
Enquiries can be sent to Ylies.Falcone@imag.fr or
Christian.Colombo@um.edu.mt.
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.
PHD STUDENTSHIP IN SEMANTICS AND VERIFICATION OF HETEROGENEOUS PROGRAMS
* Applications are invited for a fully-funded PhD studentship within
the Theory Group at Queen Mary University of London, as part of a
project which aims to develop a unified semantic framework for
heterogeneous software systems and apply it to compositional
software compilation and verification. Cloud computing and
heterogeneous computing are widely acknowledged to dominate the
software landscape in the foreseeable future. The recent work on
System-Level Games provides a semantic framework for modelling
low-level code interactions involving resources shared between a
program and its environment. This project will apply the framework
for deriving compositional analysis techniques for the compilation
and verification of heterogeneous programs.
* All nationalities are eligible to apply for this studentship, which
will start in October 2016. The studentship is for three years, and
covers student fees as well as a tax-free stipend of £16,057 per
annum. Candidates must have a 2:1 degree or equivalent, and/or a
good MSc Degree, in Computer Science or a related discipline. The
ideal candidate should be creative and motivated in the studying of
semantics and verification of programming languages. Good coding
skills will be an advantage, and applicants will have at least good
knowledge of programming languages such as C/C++, Java, Python,
OCaml. Analytical and good communication skills are also welcome.
* The PhD supervisor will be Dr Nikos Tzevelekos. The project will be
based in the School of Electronic Engineering and Computer Science
(EECS), and the student will join a world-leading centre for
research on logical methods for reasoning about computer systems in
the Theory Group (http://theory.eecs.qmul.ac.uk/). The position will
be integrated in the EPSRC project "System-Level Game Semantics: A
unifying framework for composing systems", which is in collaboration
with the University of Birmingham. Informal enquiries about the
studentship can be made by email to Dr Tzevelekos
(nikos.tzevelekos@qmul.ac.uk).
* To apply, please follow the on-line process at
www.qmul.ac.uk/postgraduate/applyresearchdegrees/ click on the list
of Research Degree Subjects, select "Computer Science", and follow
the instructions on the right-hand side of the web page. Please note
that instead of the Research Proposal we request a Statement of
Research Interests. Your statement should answer two questions: (i)
Why are you interested in the topic described above? (ii) What
relevant experience do you have? Your statement should be brief: no
more than 500 words or one side of A4 paper. In addition we would
also like you to send a sample of your written work (e.g. excerpt
of final year dissertation or published academic paper). More
details can be found at: http://www.eecs.qmul.ac.uk/phd/how-to-apply
* The closing date for the applications is 24/07/2016.
Interviews are expected to take place the week of 25 July 2016.
3-YEAR POSTDOC POSITION AT HASSELT UNIVERSITY
* We have a vacancy for a 3-year postdoc position at Hasselt
University. The salary is very good and it comes with social
security, health insurance, what have you. The topic is very
flexible as long as it has to do with finite model theory,
expressive power of database query languages, in particular
query languages for novel data models such as JSON or graph
data, tractable fragments of higher-order logic is also a theme
that fits.
* The position needs to be filled by 1 January 2017 at the latest.
* The research group on Databases and Theoretical Computer
Science at Hasselt University is a leading group in the
theoretical foundations of data management. Professors are
Marc Gyssens, Bart Kuijpers, Frank Neven, and Jan Van den
Bussche
* Please email Jan Van den Bussche
(jan.vandenbussche@uhasselt.be) if you are interested.
* http://alpha.uhasselt.be/jan.vandenbussche
Back to the LICS web page.