SIGLOG Monthly 178
January 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 - Last Call for Papers
The Alonzo Church Award 2016 - Call for Nominations
The Godel Prize 2016 - Call for Nominations
2016 SIGLOG Election - Update
ACM SIGLOG Announcement
* DEADLINES
Forthcoming Deadlines
* CALLS
MUNICH GRADUATE WORKSHOP IN MATHEMATICAL PHILOSOPHY 2016 - Call for papers
CMCS 2016 - Call for Papers
NMR 2016 - Call for Papers
CAV 2016 - Call for Papers
FSCD'16 - Call for papers
Elsevier Ad Hoc Networks Journal Special Issue - Call for papers
PHDS IN LOGIC VIII - Call for submissions
DISCOTEC 2016 - Second Call for Papers
ABZ 2016 - Call for Papers, Answers to the case study, Workshops, Tutorials
NFM 2016 - Call For Papers
CCC 2015 - Call for submission
QPL 2016 - Call for Papers
CCA 2016 - First Call for Papers
WoLLIC 2016 - Call for Papers
ILP2016 - Call For Papers
* JOB ANNOUNCEMENTS
MULTIPLE PHD POSITIONS IN INFORMATION SECURITY AT ETH ZURICH
PHD & POSTDOC POSITION AT JACOBS UNIVERSITY BREMEN
THIRTY-FIRST ANNUAL ACM/IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE (LICS 2016)
Last call for papers
July 5-8, 2016, New York City, USA
http://lics.siglog.org/lics16/
* SCOPE
The LICS Symposium is an annual international forum on theoretical and
practical topics in computer science that relate to logic, broadly
construed. We invite submissions on topics that fit under that rubric.
Suggested, but not exclusive, topics of interest include: automata
theory, automated deduction, categorical models and logics,
concurrency and distributed computation, constraint programming,
constructive mathematics, database theory, decision procedures,
description logics, domain theory, finite model theory, formal aspects
of program analysis, formal methods, foundations of computability,
higher-order logic, lambda and combinatory calculi, linear logic,
logic in artificial intelligence, logic programming, logical aspects
of bioinformatics, logical aspects of computational complexity,
logical aspects of quantum computation, logical frameworks, logics of
programs, modal and temporal logics, model checking, probabilistic
systems, process calculi, programming language semantics, proof
theory, real-time systems, reasoning about security and privacy,
rewriting, type systems and type theory, and verification.
* IMPORTANT DATES
Authors are required to submit a paper title and a short abstract of
about 100 words in advance of submitting the extended abstract of the
paper. The exact deadline time on these dates is given by anywhere on
earth (AoE).
- Titles and Short Abstracts Due: January 11, 2016
- Full Papers Due: January 18, 2016
- Author Feedback/Rebuttal Period: March 14-18, 2016
- Author Notification: April 4, 2016
- Final Versions Due for Proceedings: May 2, 2016
Deadlines are firm; late submissions will not be considered. All
submissions will be electronic via
https://www.easychair.org/conferences/?conf=lics2016.
* SUBMISSION INSTRUCTIONS
Every full paper must be submitted in the ACM SIGPLAN Proceedings
2-column 10pt format and may not be longer than 10 pages, including
references. The LaTeX style file is available from the conference
website.
* KLEENE AWARD FOR BEST STUDENT PAPER
An award in honor of the late Stephen C. Kleene will be given for the
best student paper(s), as judged by the program committee.
* SPECIAL ISSUES
Full versions of up to three accepted papers, to be selected by the
program committee, will be invited for submission to the Journal of
the ACM. Additional selected papers will be invited to a special issue
of Logical Methods in Computer Science.
* SPONSORSHIP
The symposium is sponsored by ACM SIGLOG and the IEEE Technical
Committee on Mathematical Foundations of Computing, in cooperation
with the Association for Symbolic Logic and the European Association
for Theoretical Computer Science.
* PROGRAM COMMITTEE CHAIR
Natarajan Shankar, SRI International
* CONFERENCE CHAIR
Eric Koskinen, IBM Research
* WORKSHOP CHAIR
Patricia Bouyer-Decitre, CNRS & ENS Cachan
* PUBLICITY AND PROCEEDINGS CHAIR
Sam Staton, U. Oxford
* GENERAL CHAIR
Martin Grohe, RWTH Aachen University
* LICS STEERING COMMITTEE
M. Abadi, R. Alur, P. Bouyer-Decitre, K. Chatterjee, M. Grohe,
M. Hasegawa, T. Henzinger, E. Koskinen, S. Kreutzer, O. Kupferman,
D. Miller, M. Mislove, L. Ong, C. Palamidessi, N. Shankar, A. Silva,
S. Staton, M. Vardi.
THE 2016 ALONZO CHURCH AWARD FOR OUTSTANDING CONTRIBUTIONS TO LOGIC AND COMPUTATION
Call for Nominations
* INTRODUCTION An annual award, called the Alonzo Church Award for
Outstanding Contributions to Logic and Computation, was established
in 2015 by the ACM Special Interest Group for Logic and Computation
(SIGLOG), the European Association for Theoretical Computer Science
(EATCS), the European Association for Computer Science Logic
(EACSL), and the Kurt Godel Society (KGS). The award is for an
outstanding contribution represented by a paper or by a small group
of papers published within the past 25 years. This time span allows
the lasting impact and depth of the contribution to have been
established. The award can be given to an individual, or to a group
of individuals who have collaborated on the research. For the rules
governing this award, see
http://siglog.hosting.acm.org/the-alonzo-church-award-for-outstanding-contributions-to-logic-and-computation/
* ELIGIBILITY AND NOMINATIONS The contribution must have appeared in a
paper or papers published within the past 25 years. Thus, for the
2016 award, the cut-off date is January 1, 1991. When a paper has
appeared in a conference and then in a journal, the date of the
journal publication will determine the cut-off date. In addition,
the contribution must not yet have received recognition via a major
award, such as the Turing Award, the Kanellakis Award, or the Godel
Prize. (The nominee(s) may have received such awards for other
contributions.) While the contribution can consist of conference or
journal papers, journal papers will be given a preference.
* NOMINATIONS for the 2016 award are now being solicited. The
nominating letter must summarize the con tribution and make the case
that it is fundamental and outstanding. The nominating letter can
have multiple co-signers. Self-nominations are excluded. Nominations
must include: a proposed citation (up to 25 words); a succinct
(100-250 words) description of the contribution; and a detailed
statement (not exceeding four pages) to justify the
nomination. Nominations may also be accompanied by supporting
letters and other evidence of worthiness.
* Nominations are due by March 1, 2016, and should be submitted to
vardi@cs.rice.edu.
* PRESENTATION OF THE AWARD The 2016 award will be presented at LICS,
the flagship conference of SIGLOG. The award will be accompanied by
an invited lecture by the award winner, or by one of the award
winners. The awardee(s) will receive a certificate and a cash prize
of USD 2,000. If there are multiple awardees, this amount will be
shared.
* AWARD COMMITTEE The 2016 Alonzo Church Award Committee consists of
the following four members: Catuscia Palamidessi, Gordon Plotkin,
Wolfgang Thomas, and Moshe Vardi (chair).
THE GODEL PRIZE 2016 - CALL FOR NOMINATIONS
http://www.sigact.org/Prizes/Godel
* Deadline: January 31, 2016
* The Godel Prize for outstanding papers in the area of theoretical
computer science is sponsored jointly by the European Association for
Theoretical Computer Science (EATCS) and the Association for Computing
Machinery, Special Interest Group on Algorithms and Computation Theory
(ACM SIGACT). The award is presented annually, with the presentation
taking place alternately at the International Colloquium on Automata,
Languages, and Programming (ICALP) and the ACM Symposium on Theory of
Computing (STOC). The 24th Godel Prize will be awarded at the 43rd
International Colloquium on Automata, Languages and Programming, 11-15
July 2016 in Rome, Italy.
* AWARD COMMITTEE
The winner of the Prize is selected by a
committee of six members. The EATCS President and the SIGACT Chair
each appoint three members to the committee, to serve staggered
three-year terms. The committee is chaired alternately by
representatives of EATCS and SIGACT. The 2016 Award Committee consists
of Moses Charikar (Stanford University), Orna Kupferman (Hebrew
University), Kurt Mehlhorn (Max Planck Institute), Joseph Mitchell
(State University of New York at Stony Brook), Andrew Pitts (chair,
University of Cambridge) and Madhu Sudan (Harvard University).
* NOMINATIONS
Nominations for the award should be submitted by email to the Award
Committee Chair Andrew.Pitts@cl.cam.ac.uk. Please make sure that
the Subject line of all nominations and related messages begin with
"Goedel Prize 2016". To be considered, nominations for the
2016 Prize must be received by January 31, 2016.
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
* Munich Graduate Workshop in Mathematical Philosophy
Call for papers
7-9 April 2016
http://www.graduateworkshop.philosophie.uni-muenchen.de/call-for-papers/index.html
Submission deadline: 3rd January, 2016
* CMCS 2016
Call for papers
April 2-3 2016, Eindhoven, the Netherlands
Abstract regular papers: 4 January 2016
Submission regular papers: 13 January 2016
http://www.coalg.org/cmcs16
* NMR 2016
April 22-24, 2016, Cape Town, South Africa
http://nmr2016.cs.uct.ac.za/
Paper submission deadline: 28 January 2016
* CAV 2016
Call for Papers
July 17-23, 2016, Toronto, Ontario, Canada
http://i-cav.org/2016/
Abstract submission: January 17, 2016 (Sunday)
Paper submission: January 29, 2016 (Friday)
* FSCD'16
Call for Papers
June 22-26, 2016, Porto, Portugal
http://fscd2016.dcc.fc.up.pt/
Abstract submission due: 29 January 2016
* Elsevier Ad Hoc Networks Journal Special Issue
Call for Papers
Paper submission: January 30th, 2016
* PhDs in Logic VIII
Call for submissions
May 9-11, 2016, Darmstadt, Germany
http://www.mathematik.tu-darmstadt.de/fbereiche/logik/phdsinlogic2016/?site=home
Deadline for submissions: February 7, 2016
* DISCOTEC 2016
Second Call for Papers
June 6-9, 2016, Heraklion, Greece
http://2016.discotec.org/
Paper submission: February 8, 2016
* ABZ 2016
Research paper and answers to case study submission: January 15, 2016
Short paper submission: February 4, 2016
Tutorial proposal submissions: February 15, 2016
http://www.cdcc.faw.jku.at/ABZ2016/
* NFM 2016
Call For Papers
June 7-9 2016, McNamara Alumni Center, University of Minnesota
http://crisys.cs.umn.edu/nfm2016
paper submission deadline: 2/19/2016
* CCC 2015
Call for submission - postproceedings
Deadline for submission: 1 March 2016
* QPL 2016
Call for papers
June 6-10, 2016, University of Strathclyde, Glasgow, Scotland
http://qpl2016.cis.strath.ac.uk
Submission: March 13, 2016
* CCA 2016
First Call for Papers
June 15-17, 2016, Faro, Portugal
http://cca-net.de/cca2016/
Submission deadline: March 14, 2016 (two-page abstracts)
* WoLLIC 2016
Call for Papers
August 16th-19th, 2016, Puebla, Mexico
http://wollic.org.wollic2016/
Mar 21, 2016: Full paper deadline
* 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
2ND MUNICH GRADUATE WORKSHOP IN MATHEMATICAL PHILOSOPHY
Call for papers and applications
7th-9th April 2016
http://www.graduateworkshop.philosophie.uni-muenchen.de/call-for-papers/index.html
* Formal Epistemology The Munich Center for Mathematical Philosophy
(MCMP) is organizing thesecond Munich Graduate Workshop in
Mathematical Philosophy, 7th-9th April 2016. The theme of this
year's workshop is formal epistemology and we invite submissions
from masters and doctoral students interested in presenting a paper on
this topic.
* In addition to student presentations and keynote lectures, the
workshop will feature three workshops focused three areas in
formal epistemology at the forefront of contemporary research. The
themes of the working groups will be the foundations of imprecise
probability theory, philosophical logic, and the role of probabilistic
methods in contemporary cognitive psychology. See the program for more
details.
* The workshop is open to masters and doctoral students with interests
in formal epistemology. Applications are welcome from students whose
background is philosophy, computer science, statistics, and the
decision sciences. The conference language is English.
* Students wishing to present a paper should both complete a blinded
submission via easychair. See instructions on the conference webpage.
* DATES AND DEADLINES:
Submission deadline: 3rd January, 2016
Notification of acceptance: 20th January, 2016
Conference: 7th-9th April, 2016
13TH INTERNATIONAL WORKSHOP ON COALGEBRAIC METHODS IN COMPUTER SCIENCE (CMCS'16)
Call for papers
2-3 April 2016, Eindhoven, the Netherlands
http://www.coalg.org/cmcs16
* OBJECTIVES AND SCOPE
Established in 1998, the CMCS workshops aim to bring together researchers
with a common interest in the theory of coalgebras, their logics, and their
applications. As the workshop series strives to maintain breadth in its scope,
areas of interest include neighbouring fields as well. Topics of interest
include, but are not limited to, the following:
- The theory of coalgebras (including set theoretic and categorical
approaches)
- Coalgebras as computational and semantical models (for
programming languages, dynamical systems, term rewriting, etc.)
- Coalgebras in (functional, object-oriented, concurrent, and constraint)
programming
- Model checking, theorem proving and deductive verification
using coalgebraic techniques
- Coalgebraic data types, type systems and
behavioural typing
- Proof principles and (coinductive) definitions for
coalgebras (e.g. with bisimulations or invariants)
- Coalgebras and algebras
- Coalgebraic specification and verification
- Coalgebras and (modal) logic
- Coalgebra and control theory (notably of discrete event
and hybrid systems)
- Coalgebra in quantum computing
- Coalgebra and game theory
- Tools exploiting colgebraic techniques
* VENUE AND EVENT
CMCS'16 will be held in Eindhoven, the Netherlands, co-located with ETAPS 2016 on
2 - 3 April 2016.
* IMPORTANT DATES
Abstract regular papers: 4 January 2016
Submission regular papers: 13 January 2016
* KEYNOTE SPEAKER
Jiri Adamek, Braunschweig University of Technology, Germany
* INVITED SPEAKERS
Andreas Abel, University of Gothenburg, Sweden
Filippo Bonchi, CNRS/ENS Lyon, France
* SPECIAL SESSION
There will be a special session on weighted automata, organized by
Borja Balle, Lancaster University, United Kingdom
Alexandra Silva, University College London, United Kingdom
* PC CHAIR
Ichiro Hasuo, University of Tokyo, Japan
16TH INTERNATIONAL WORKSHOP ON NON-MONOTONIC REASONING (NMR 2016)
Call for Papers
Co-located with KR 2016 (http://kr2016.cs.uct.ac.za/)
and DL 2016 (http://dl2016.cs.uct.ac.za/).
April 22-24, 2016, Cape Town, South Africa
http://nmr2016.cs.uct.ac.za/
* AIMS: NMR is the premier forum for results in the area of
Non-Monotonic Reasoning. Its aim is to bring together active
researchers in this broad field within knowledge representation and
reasoning (KR), including belief revision, uncertain reasoning,
reasoning about actions, planning, logic programming, preferences,
argumentation, causality, and many other related topics including
systems and applications.
* As a novelty, NMR 2016 will no longer have different tracks in order
to not force submissions and presentations into a strict
format. Instead, we would like to foster connections between the
different fields of nonmonotonic reasoning and provide a forum for
emerging topics. We especially invite papers on systems and
applications, as well as position papers and papers addressing
benchmark issues.
* IMPORTANT DATES
- Paper submission deadline: 28 January 2016
(https://easychair.org/conferences/?conf=nmr2016)
- Notification of acceptance: 25 February 2016
- Camera-ready papers due: 15 March 2016
- Workshop: 22-24 April 2016
28TH INTERNATIONAL CONFERENCE ON COMPUTER AIDED VERIFICATION (CAV 2016)
Call for Papers
July 17-23, 2016, Toronto, Ontario, Canada
http://i-cav.org/2016/
* IMPORTANT DATES
All deadlines are 4pm EST.
Abstract submission: January 17, 2016 (Sunday)
Paper submission: January 29, 2016 (Friday)
Author response period: March 23-25, 2016 (Wednesday-Friday)
Author Notification: April 15, 2016 (Friday)
Conference: July 17-23, 2016
* SCOPE
CAV 2016 is the 28th in a series dedicated to the advancement of the theory and
practice of computer-aided formal analysis methods for hardware and software
systems. CAV considers it vital to continue spurring advances in hardware and
software verification while expanding to new domains such as biological systems
and computer security. The conference covers the spectrum from theoretical
results to concrete applications, with an emphasis on practical verification
tools and the algorithms and techniques that are needed for their
implementation. The proceedings of the conference will be published in the
Springer LNCS series. A selection of papers will be invited to a special issue
of Formal Methods in System Design and the Journal of the ACM.
* PAPER SUBMISSION
-- new this year: Double-blind submissions --
Further information: http://i-cav.org/2016/
* CHAIRS
Swarat Chaudhuri, Rice University, USA
Azadeh Farzan, University of Toronto, Canada
* CAV Award Committee
Ahmed Bouajjani (Chair), Univ. Paris Diderot (Paris 7)
Tom Ball, Microsoft Research
Kim G. Larsen, Aalborg University
Natarajan Shankar, SRI International
* WORKSHOP CHAIR
Zachary Kincaid, University of Toronto, Canada
* ARTIFACT EVALUATION CHAIR
Aws Albarghouthi, University of Wisconsin, USA
* PUBLICITY CHAIR
Roopsha Samanta, IST, Austria
FIRST INTERNATIONAL CONFERENCE ON FORMAL STRUCTURES FOR COMPUTATION AND DEDUCTION (FSCD'16)
Call for Papers
June 22-26, 2016, Porto, Portugal
http://fscd2016.dcc.fc.up.pt/
* The FSCD conference series (http://fscdconference.org/) covers all
aspects of formal structures for computation and deduction from
theoretical foundations to applications. Building on two communities,
RTA (Rewriting Techniques and Applications) and TLCA (Typed Lambda
Calculi and Applications), FSCD embraces their core topics and broadens
their scope to closely related areas in logics, proof theory and new
emerging models of computation such as quantum computing and homotopy
type theory. The name of the new conference comes from an unpublished
but important book by Gerard Huet that strongly influenced many
researchers in the area.
* Suggested, but not exclusive, list of topics for submission are:
1. Calculi (Lambda calculus; Logics; Rewriting systems; Proof theory;
Type theory and logical frameworks; Homotopy type theory)
2. Methods in Computation and Deduction (Type systems; Induction,
coinduction; Matching; Unification; Completion; Orderings; Strategies;
Tree automata; Model building and model checking; Proof search;
Constraint solving and decision procedures)
3. Semantics (Operational semantics and abstract machines; Game Semantics
and applications; Domain theory and categorical models; Quantitative
models; Quantum computation and emerging models in computation)
4. Algorithmic Analysis and Transformations of Formal Systems (Type
Inference and type checking; Abstract Interpretation; Complexity
analysis and implicit computational complexity; Checking termination,
confluence, derivational complexity and related properties; Symbolic
computation)
5. Tools and Applications (Programming and proof environments;
Verification tools; Libraries for proof assistants and interactive
theorem provers; Case studies in proof assistants and interactive
theorem provers; Certifications; Applications of formal systems inside
and outside of CS)
* IMPORTANT DATES:
Abstract submission due: 29 January 2016;
Paper Submission: 5 February 2016;
Rebuttal: 21-23 March 2016;
Notification: 6 April 2016
* INVITED SPEAKERS
- Amal Ahmed (USA)
- Ichiro Hasuo (Japan)
- Gerard Huet (France)
- Tobias Nipkow (Germany)
* PROGRAM CHAIRS
- Delia Kesner (Univ. Paris-Diderot)
- Brigitte Pientka (McGill University)
fscd16@easychair.org
* SPECIAL ISSUE
After the conference, authors of selected papers will be invited to submit
extended versions of their work to a special issue published in the
open-access journal Logical Methods in Computer Science (LMCS).
* SATELLITE EVENTS
The following meetings and workshops are colocated with FSCD 2016:
CL&C, DCM, HDRA, HOR, IFIP Working Group 1.6, ITRS, Linearity, LFMTP,
LSFA, UNIF, WPTE, WWV.
Performance Modeling and Analysis of Wireless Ad-Hoc and Sensor Networks
A Special Issue in Elsevier Ad Hoc Networks Journal
Call for Papers
http://www.journals.elsevier.com/ad-hoc-networks/call-for-papers/special
-issue-on-modeling-and-performance-evaluation-of-wire/
* IMPORTANT DATES
- Paper submission: January 30th, 2016
- First round notification: March 30th, 2016
- First round revision: April 30th, 2016
- Second round notification: June 30th, 2016
- Final papers: July 15th, 2016
* A primary aim of wireless ad-hoc networks is to deliver data in
areas where there is no pre-defined infrastructure. In these
networks, the users, but also the network entities can be
potentially mobile. Wireless ad-hoc networks have recently witnessed
their fastest growth period ever in history. Real wireless ad-hoc
networks are now implemented, deployed and tested, and this trend is
likely to increase in the future. However, as such networks are
increasingly complex, performance modeling and evaluation play a
crucial part in their design process to ensure their successful
deployment and exploitation in practice.
* This special issue on Modeling and Performance Evaluation of
Wireless Ad-Hoc Networks era aims to open a new critical debate on
the evaluation of wireless ad-hoc networks. In particular, we seek
original theoretical and/or practical contributions, from
researchers and practitioners that identify and address issues in
evaluating wireless ad-hoc networks.
* A detailed submission guideline is available as a Guide to Authors
at http://www.elsevier.com/locate/adhoc
* Editor in Chief
Ian Akyildiz, Georgia Institute of Technology
* Guest Editors
- Monica Aguilar Igartua, Universitat Politecnica de Catalunya
- Carolina Tripp Barba, Universidad Autonoma de Sinaloa
- Cristina Alcaraz Tello, University of Malaga
PHDS IN LOGIC VIII
Call for Submissions
May 9-11, 2016, Darmstadt, Germany
http://www.mathematik.tu-darmstadt.de/fbereiche/logik/phdsinlogic2016/?site=home
* "PhDs in Logic" is an annual graduate conference organised by local
graduate students. This conference has an interdisciplinary character,
welcoming contributions to various topics in Mathematical Logic,
Philosophical Logic, and Logic in Computer Science. It involves tutorials
by established researchers as well as short presentations by PhD students
on their research.
We are happy to announce that the next edition of "PhDs in Logic" will
take place in Darmstadt, Germany, during May 9-11 2016, hosted by the
Logic research group of the Department of Mathematics, TU Darmstadt.
* Registration and abstract submission for interested PhD students are now
open. We welcome contributions from any general field of Logic.
* Important dates:
- February 7, 2016: deadline for submissions
- April 2, 2016: author notification
- April 30, 2016: registration closes
* Confirmed tutorial speakers are:
Mirna Dzamonja (University of East Anglia, UK)
Nina Gierasimczuk (University of Amsterdam, the Netherlands)
Ulrich Kohlenbach (TU Darmstadt, Germany)
Martin Otto (TU Darmstadt, Germany)
11th INTERNATIONAL FEDERATED CONFERENCE DISTRIBUTED COMPUTING TECHNIQUES (DISCOTEC 2016)
Second Call for Papers
June 6-9, 2016, Heraklion, Greece
http://2016.discotec.org/
Paper submission: February 8, 2016
* The DisCoTec series of federated conferences is one of the major
events sponsored by the International Federation for Information
processing (IFIP). The main conferences are:
- COORDINATION 2016: 18th IFIP International Conference on
Coordination Models and Languages
- DAIS 2016: 16th IFIP International Conference on
Distributed Applications and Interoperable Systems
- FORTE: 36th IFIP International Conference on Formal
Techniques for Distributed Objects, Components and Systems
* This year IFIP offers an award for the best paper of DisCoTec.
* Topics of interest for each conference can be found on the webpage.
* Important Dates:
- Abstract submission: February 1, 2016
- Paper submission: February 8, 2016
- Notification: March 21, 2016
- Camera-ready version: April 4, 2016
- Early registration: May 9, 2016
* Invited Speakers:
- Tim Harris (Oracle Labs, UK)
- Catuscia Palamidessi (INRIA, France)
- Vijay Saraswat (IBM Research, USA)
* Conference Chairs:
- General: Kostas Magoutis (University of Ioannina & ICS-FORTH, Greece)
- Publicity: George Baryannis (University of Huddersfield, UK)
- Workshops: Vincenzo Gulisano (Chalmers University of Technology, Sweden)
- COORDINATION PC: Alberto Lluch Lafuente (Technical University of Denmark, Denmark),
Jose Proenca, KU Leuven (Belgium and University of Minho, Portugal)
- DAIS PC: Evangelia Kalyvianaki (City University London, UK),
Mark Jelasity (University of Szeged, Hungary)
- FORTE PC: Elvira Albert (Complutense University of Madrid, Spain),
Ivan Lanese (University of Bologna/INRIA, Italy)
5TH INTERNATIONAL ABZ 2014 CONFERENCE (ASM, Alloy, B, TLA, VDM, Z)
Call for Papers, Answers to the case study, Workshops, Tutorials
May 23-27, 2016
Linz, Austria
http://www.cdcc.faw.jku.at/ABZ2016/
* The ABZ conference is dedicated to the cross-fertilization of six related
state-based and machine-based formal methods, Abstract State Machines (ASM),
Alloy, B, TLA, VDM and Z. Contributions are solicited on all aspects of the
theory and applications of ASMs, Alloy, B, TLA, VDM, Z approaches in
software/hardware engineering, including the development of tools and
industrial applications.
* Types of submission:
-- Research papers: full papers of not more than 14 pages in LNCS format,
which have to be original, unpublished and not submitted elsewhere.
-- Short presentations of work in progress, and tool demonstrations. An
extended abstract of not more than 4 pages is expected and will be reviewed.
-- Answers to case study papers: full papers of not more than 14 pages in
LNCS format reporting on the experiments conducted with any of the state
based techniques in the scope of ABZ 2014.
-- Application in industry papers reporting on work or experiences on the
application of state based formal methods in industry. An extended abstract
of not more than 4 pages is expected and will be reviewed.
* Submission site: https://easychair.org/conferences/?conf=abz2016
* Important Dates:
Workshop proposal submission: October 16, 2015
Research paper, Answers to case study submission: January 15, 2016
Short and industry paper submission: February 4, 2016
Tutorial proposal submissions: February 15, 2016
Tutorial proposal notifications: March 14, 2016
* Detailed information can be found on the conference website
* Contact: Klaus-Dieter SCHEWE (klaus-dieter.schewe@scch.at)
THE 8TH NASA FORMAL METHODS SYMPOSIUM (NFM 2016)
Call For Papers
June 7-9 2016, McNamara Alumni Center, University of Minnesota
http://crisys.cs.umn.edu/nfm2016
* THEME OF THE SYMPOSIUM
The widespread use and increasing complexity of mission-critical and
safety-critical systems at NASA and the aerospace industry requires advanced
techniques that address their specification, design, verification, validation,
and certification requirements. The NASA Formal Methods Symposium is a forum
to foster collaboration between theoreticians and practitioners from NASA,
academia, and the industry, with the goal of identifying challenges and
providing solutions towards achieving assurance for such critical systems.
New developments and emerging applications like autonomous on-board software
for Unmanned Aerial Systems (UAS), UAS Traffic Management (UTM), advanced
separation assurance algorithms for aircraft, and the need for system-wide
fault detection, diagnosis, and prognostics provide new challenges for system
specification, development, and verification approaches. Similar challenges
need to be addressed during development and deployment of on-board software
for spacecraft ranging from small and inexpensive CubeSat systems to manned
spacecraft like Orion, as well as for ground systems.
The focus of the symposium will be on formal techniques and other approaches
for software assurance, their theory, current capabilities and limitations,
as well as their potential application to aerospace, robotics, and other
NASA-relevant safety-critical systems during all stages of the software
life-cycle.
* TOPICS OF INTEREST
include but are not limited to
- Model checking
- Theorem proving
- SAT and SMT solving
- Symbolic execution
- Static analysis
- Model-based development
- Runtime verification
- Software and system testing
- Safety assurance
- Fault tolerance
- Compositional verification
- Security and intrusion detection
- Design for verification and correct-by-design techniques
- Techniques for scaling formal methods
- Applications of formal methods in the development of:
- autonomous systems
- safety-critical artificial intelligence systems
- cyber-physical, embedded, and hybrid systems
- fault-detection, diagnostics, and prognostics systems
- Use of formal methods in:
- assurance cases
- human-machine interaction analysis
- requirements generation, specification, and validation
- automated testing and verification
* IMPORTANT DATES
- Paper Submission: 2/19/2016
- Paper Notifications: 4/8/2016
- Camera-ready Papers: 4/27/2016
- Symposium: 6/7 - 6/9/2016
* ORGANIZING COMMITTEE
- Michael Lowry, NASA Ames Research Center, USA (NASA Liaison)
- Johann Schumann, SGT, Inc./NASA Ames Research Center, USA (General Chair)
- Oksana Tkachuk, SGT, Inc./NASA Ames Research Center, USA (PC Chair)
- Sanjai Rayadurgam, University of Minnesota, USA (PC Chair)
- Mike Whalen, University of Minnesota, USA (Financial Chair)
- Mats Heimdahl, University of Minnesota, USA (Local Arrangements Chair)
CONTINUITY, COMPUTABILITY, CONSTRUCTIVITY: FROM LOGIC TO ALGORITHMS 2015 (CCC 2015)
Call for submission - postproceedings
* After a further year of successful work in the EU-IRSES project
COMPUTAL and an excellent workshop in Kochel (Germany) in September
this year, we are planning to publish a collection of papers
dedicated to the meeting and the project as a part of LOGICAL METHODS
IN COMPUTER SCIENCE. The issue should reflect progress made in
Computable Analysis and related areas, not only work in the project.
Submissions are welcome from all scientists and should be on topics
in the spectrum from logic to algorithms including, but not limited
to, Computable analysis Complexity of real number computations
Computing with continuous data Domain theory and analysis Randomness
and computable measure theory Models of computation with real numbers
Realizability theory and analysis Reverse analysis Exact real number
computation Program extraction in analysis.
* EDITORS:
Ulrich Berger (Swansea, UK)
Willem Fouche (UNISA, Pretoria)
Arno Pauly (Brussels, Belgium)
Dieter Spreen (Siegen, Germany)
Martin Ziegler (KAIST, South Korea)
* DEADLINE FOR SUBMISSION: 1 March 2016
If you intend to submit a paper, please send a corresponding email to
spreen@math.uni-siegen.de untill 1 February 2016
You will then receive concrete submission instructions and a
Special-Issue-Code allowing you to submit your paper for the special
issue.
THE 13TH INTERNATIONAL WORKSHOP ON QUANTUM PHYSICS AND LOGIC (QPL 2016)
Call for papers
June 6-10, 2016, University of Strathclyde, Glasgow, Scotland
http://qpl2016.cis.strath.ac.uk
Submission: March 13, 2016
* The 13th International Workshop on Quantum Physics and Logic (QPL)
will take place at the University of Strathclyde between Tuesday 7
and Friday 10 June, 2016. The workshop brings together researchers
working on mathematical foundations of quantum physics, quantum
computing, and related areas, with a focus on structural
perspectives and the use of logical tools, ordered algebraic and
category-theoretic structures, formal languages, semantical methods,
and other computer science techniques applied to the study of
physical behaviour in general.
* INVITED SPEAKERS
- Elham Kashefi (University of Edinburgh)
- Tom Leinster (University of Edinburgh, to be confirmed)
- Krysta Svore (Microsoft Research)
- Stephanie Wehner (Technical University Delft)
* PROGRAM CHAIRS
Ross Duncan (University of Strathclyde)
Chris Heunen (University of Edinburgh)
* SATELLITES
On Monday June 6 there will be tutorial lectures. More details will
be announced later.On Saturday June 11 there will be a satellite
workshop on "Semantic spaces at the intersection of natural language
processing, physics, and cognitive science". More details can be
found at: https://www.sites.google.com/site/semspworkshop.
* IMPORTANT DATES
Submission: March 13, 2016
Notification: April 24
Papers ready: May 29
Tutorials: June 6
Workshop: June 7-10
* REGISTRATION AND SUPPORT
We encourage participation of graduate students and those with
caregiving responsibilities. We hope to be able to provide limited
financial support for travel and accommodations;
COMPUTABILITY AND COMPLEXITY IN ANALYSIS (CCA 2016)
First Call for Papers
June 15-17, 2016, Faro, Portugal
http://cca-net.de/cca2016/
Submission deadline: March 14, 2016 (two-page abstracts)
* Topics: computable analysis; complexity on real numbers;
constructive analysis; domain theory and analysis; theory of
representations; computable numbers, subsets and functions;
randomness and computable measure theory; models of computability on
real numbers; realizability theory and analysis; reverse analysis;
real number algorithms; implementation of exact real number
arithmetic.
* Detailed information can be found on the webpage.
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).
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
MULTIPLE PHD POSITIONS IN INFORMATION SECURITY AT ETH ZURICH
* The Institute of Information Security headed by Prof. David Basin at
ETH Zurich has multiple open positions for PhD students on research
projects in the area of formal methods for information security. We
are looking for enthusiastic outstanding Computer Science or
Mathematics students with a strong background in at least two of the
following topics: formal methods (or mathematical logic),
probability theory and statistics, cryptography, and information
security. Experience in formal software development by refinement,
with an interactive theorem prover, or security protocols will be
advantageous.
* PhD students are paid employees of ETH Zurich. Salary and employment
conditions are attractive. Zurich is a diverse and multicultural
city which is consistently rated among the best cities in the world
in which to live. ETH Zurich regulations require PhD students to
hold a Masters or equivalent degree (e.g., Diplom). All candidates
matching the profile above are encouraged to apply as soon as
possible. We will process applications until all positions are
filled. Successful candidates are expected to start soon after
acceptance, but the starting date is negotiable. Applications should
include a CV, brief description of research interests, transcripts
of grades, letters of recommendation from teachers or employers,
and, if possible, the Master's or Bachelor's thesis and
publications.
* Applications and inquiries should be sent to Sasa Radomirovic at the
following email address: infsec.positions@inf.ethz.ch
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.