SIGLOG Monthly 201
October 19, 2018
*******************************************************************
* Past issues of the newsletter are available at
http://lii.rwth-aachen.de/lics/newsletters/
* Instructions for submitting an announcement to the newsletter
can be found at
http://lii.rwth-aachen.de/lics/newsletters/inst.html
*******************************************************************
TABLE OF CONTENTS
* NEWS
LICS 2019 - Call for Papers
LICS 2019 Call for Workshop Proposals
WINNERS OF THE 2018 ALONZO CHURCH AWARD
ACM SIGLOG Announcement
EATCS Bulletin - Call for abstracts
* DEADLINES
Forthcoming Deadlines
* CALLS
FSEN 2019 - Third Call for Papers
ETAPS 2019 - Joint Call for Papers
HELMUT VEITH STIPEND - Call for Applications
FM'19 - Call for Workshop and Tutorial Proposals
SPECIAL ISSUE OF AIJ ON EPISTEMIC PLANNING - Call for Papers
JELIA 2019 - First Call for Papers
NLPinAI 2019 - Call for papers
CiE 2019 - First Call for Papers
FSCD 2019 - First Call for Papers
EPIT 2019 - Announcement
TACL 2019 - Early announcement
CATEGORY THEORY 2019 - Early announcement
RSSRail 2019 - Call for Papers
FM 2019 - First Call for Papers
* JOB ANNOUNCEMENTS
PHD STUDENT POSITION IN DATABASE THEORY AND LOGIC
AI*IA INCOMING AND OUTGOING MOBILITY GRANTS 2018 - CALL FOR RESEARCH VISITS
POSTDOCTORAL RESEARCHER IN LOGIC, MILAN
34TH ANNUAL ACM/IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE (LICS 2019)
Call for Papers
24-27 June 2019, Vancouver
https://lics.siglog.org/lics19/
Full Papers Due: 11 January 2019
* 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, games and logic, 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: 4 January 2019
Full Papers Due: 11 January 2019
Author Feedback/Rebuttal Period: 4-8 March 2019
Author Notification: 29 March 2019
* KLEENE AWARD FOR BEST STUDENT PAPER: An award in honour 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.
34TH ANNUAL ACM/IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE (LICS 2019)
Call for Workshop Proposals
https://lics.siglog.org/lics19/
* The Thirty-Fourth Annual ACM/IEEE Symposium on Logic In Computer
Science (LICS'19) will be held in Vancouver, Canada on June 24-27,
2019. The workshops will take place on June 22-23, 2019.
* Researchers and practitioners are invited to submit proposals for
workshops on topics relating logic - broadly construed - to computer
science or related fields. Typically, LICS workshops feature a
number of invited speakers and a number of contributed
presentations. LICS workshops do not usually produce formal
proceedings. However, in the past there have been special issues of
journals based in part on certain LICS workshops.
* Proposals should include:
- A short scientific summary and justification of the proposed
topic. This should include a discussion of the particular
benefits of the topic to the LICS community.
- A discussion of the proposed format and agenda.
- The proposed duration, which is typically one day (two-day
workshops can be accommodated too).
- Procedures for selecting participants and papers.
- Expected number of participants. This is important for the room!
- Potential invited speakers.
- Plans for dissemination (for example, special issues of journals).
Proposals should be sent to Frédéric Blanqui: frederic.blanqui@inria.fr
* IMPORTANT DATES
Workshop Proposal Submission deadline: November 15, 2018
Notification: December 1, 2018
Program of the workshops ready: May 19, 2019
Workshops: June 22-23, 2019
LICS conference: June 24-27, 2019
* The workshops selection committee consists of the LICS General
Chair, LICS Workshops Chair, LICS 2019 PC Chair and LICS 2019
Conference Chairs.
WINNERS OF THE 2018 ALONZO CHURCH AWARD
* The 2018 Alonzo Church Award for Outstanding Contributions to Logic
and Computation is given jointly to Tomas Feder and Moshe Y. Vardi
for fundamental contributions to the computational complexity of
constraint-satisfaction problems. Their contributions appeared in
two papers:
1. Tomas Feder, Moshe Y. Vardi: Monotone Monadic SNP and Constraint
Satisfaction. STOC 1993, 612-622.
2. Tomas Feder, Moshe Y. Vardi: The Computational Structure of
Monotone Monadic SNP and Constraint Satisfaction: A Study through
Datalog and Group Theory. SIAM J. Comput. 28(1), 57-104 (1998).
* CONTRIBUTION SUMMARY: The Feder-Vardi project aimed at finding a
large subclass of NP that exhibits a dichotomy (all problems are
either in PTIME or NP-complete). The approach is to find this
subclass via syntactic prescriptions. The paper identified a class
of problems specified by "monotone monadic SNP without inequality",
which may exhibit this dichotomy. Feder and Vardi justified placing
all three restrictions by showing, using Ladner's theorem, that
classes obtained by using only two of the above three restrictions
do not show this dichotomy. They then explored the structure of this
class. They show that all problems in this class reduce to the
seemingly simpler class CSP -- Constraint Satisfaction Problems. They
divided CSP into subclasses and tried to unify the collection of all
known polytime algorithms for CSP problems and extract properties
that make CSP problems NP-hard. They conjectured that the class CSP
(and therefore, also MMSNP) also satisfy the dichotomy
property. This became known as the Feder-Vardi Dichotomy
Conjecture. The Dichotomy Conjecture stimulated an extensive
research program, which culminated in 2017 in two independent
proofs, by A. Bulatov and by D. Zhuk, of its correctness.
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).
EATCS Bulletin - Call for abstracts
* EATCS Bulletin, http://eatcs.org/index.php/eatcs-bulletin, has a
section for "Technical contributions." To stimulate this section
further, we have recently started publication abstracts of works
that have been accepted by journals and/or conferences or have
appeared in major archives. The topics of interest include all
areas of theoretical computer science (for instance, see topics of
the three Tracks of ICALP,
http://www.easyconferences.eu/icalp2016/cfp.html).
* Abstracts should be rather detailed, 2-3 pages long in the format
given at http://eatcs.org/index.php/eatcs-bulletin. Submissions
should include the information on the full paper (the name of
conferences, archives, etc) and sufficiently detailed explanation of
its merits, e.g., importance, motivations, clear comparison with
existing results and novelty and/or new ideas of proof techniques.
* The Bulletin is published in Feb, Jun and Oct. The deadline for the
abstract submission is 15th of the previous month, for instance, Jan
15, 2018 for the Feb issue of 2018. All materials including tex and
pdf files should be sent electrically to bulletin@eatcs.org and
iwama@kuis.kyoto-u.ac.jp. Acceptance/rejection, decided based on
its merit mentioned above, will be notified as soon as possible.
The Bulletin will not require copy-right transfer for accepted
abstracts.
DATES
* FSEN 2019
Third Call for Papers
http://fsen.ir/2019
Tehran, Iran, May 1-3, 2019
IFIP Supported Event (IFIP WG 2.2 and IFIP TC2)
http://www.ifip.org/
Paper Submission: October 28, 2018 (AoE)
* ETAPS 2019
Joint Call for Papers
http://etaps.org/2019/call-for-papers
Prague, Czech Republic, 6-11 April 2019
Abstracts due: 9 November 2018 23:59 AoE
Papers due: 16 November 2018 23:59 AoE
* HELMUT VEITH STIPEND
Call for Applications
For female MSc students in CS
TU Wien
Deadline: November 30, 2018.
* FM'19
Call for Workshop and Tutorial Proposals
Porto, Portugal, October 7-11, 2019
formalmethods2019.inesctec.pt
Deadline for proposals: November 16, 2018
Notification of decision on workshops and tutorials: November 23, 2018
* SPECIAL ISSUE OF AIJ ON EPISTEMIC PLANNING
Call for Papers
Submission deadline: December 1, 2018
* JELIA 2019
First Call for Papers
Rende, Italy, May 8-10, 2019
https://jelia2019.mat.unical.it/
Paper submission deadline: 03 December 2018 (23:59 UTC-12)
* NLPinAI 2019
Call for papers
19 - 21 February, 2019, Prague, Czech Republic
http://www.icaart.org/NLPinAI.aspx
Paper Submission: December 20, 2018
* CiE 2019
First Call for Papers
Durham, United Kingdom
July 15 - July 19, 2019
https://community.dur.ac.uk/cie.2019/
http://www.computability.org.uk
Deadline for article submission: 14 January 2019 AOE
* FSCD 2019
First Call for Papers
24 - 30 June 2019, Dortmund, Germany
http://fscd-conference.org/
Full Papers Deadline: 11 February 2019
* EPIT 2019
Announcement
April 8-12, 2019, CIRM, Marseille Luminy, France
Webpage of the event : https://conferences.cirm-math.fr/1934.html
* TACL 2019
Early announcement
Conference: June 17 - 21, 2019 in Nice
School: June 10 - 15, 2019 in Île de Porquerolles
https://math.unice.fr/tacl/2019/
* CATEGORY THEORY 2019 (CT 2019)
Early announcement
University Of Edinburgh, 7-13 JULY 2019
http://conferences.inf.ed.ac.uk/ct2019/
* RSSRail 2019
Call for Papers
June 4-6, 2019, Lille, France
https://conferences.ncl.ac.uk/rssrail2019/
abstract submission deadline: January 5, 2019
* FM 2019
First Call for Papers
Porto, Portugal, October 7-11, 2019
http://formalmethods2019.inesctec.pt/
Full paper submission: 11 April, 2019, 23:59 AoE
EIGHTH INTERNATIONAL CONFERENCE ON FUNDAMENTALS OF SOFTWARE
ENGINEERING 2019 - THEORY AND PRACTICE (FSEN '19)
Third Call for Papers
http://fsen.ir/2019
Tehran, Iran, May 1-3, 2019
IFIP Supported Event (IFIP WG 2.2 and IFIP TC2)
http://www.ifip.org/
* The topics of interest cover all aspects of formal methods,
especially those related to advancing the application of formal
methods in the software industry and promoting their integration
with practical engineering techniques.
* IMPORTANT DATES
Abstract Submission (optional): October 19, 2018 (AoE)
Paper Submission: October 28, 2018 (AoE)
Notification: December 18, 2018
Final pre-Conference Version: January 20, 2019 (AoE)
Conference: May 1-3, 2019
* KEYNOTE SPEAKERS
Rocco De Nicola, IMT School for Advanced Studies Lucca, Italy
Giovanna Di Marzo Serugendo, University of Geneva, Switzerland
Martin Wirsing, LMU Munich, Germany
* PROGRAM CHAIRS
Hossein Hojjat - Rochester Institute of Technology, USA
Mieke Massink - CNR-ISTI Pisa, Italy
22ND EUROPEAN JOINT CONFERENCES ON THEORY AND PRACTICE
OF SOFTWARE (ETAPS 2019)
Joint Call for Papers
http://www.etaps.org/2019
Prague, Czech Republic, 6-11 April 2019
* ETAPS is the primary European forum for academic and industrial
researchers working on topics relating to software science. ETAPS,
established in 1998, is a confederation of five main annual
conferences, accompanied by satellite workshops. ETAPS 2019 is the
twenty-second event in the series.
* MAIN CONFERENCES
ESOP: European Symposium on Programming
FASE: Fundamental Approaches to Software Engineering
FoSSaCS: Foundations of Software Science and Computation Structures
POST: Principles of Security and Trust
TACAS: Tools and Algorithms for the Construction and Analysis of Systems
In addition, TACAS '19 hosts the 8th Competition on Software Verification
(SV-COMP).
* INVITED SPEAKERS
Unifying speakers:
Marscha Chechik (University of Toronto, Canada)
Kathleen Fisher (Tufts University, USA)
FoSSaCS invited speaker:
Thomas Colcombet (IRIF, France)
TACAS invited speaker:
Cormac Flanagan (University of California at Santa Cruz, USA)
* IMPORTANT DATES
Abstracts due: 9 November 2018 23:59 AoE
Papers due: 16 November 2018 23:59 AoE
Rebuttal (ESOP, FoSSaCS, POST): 11 - 14 January 2019
Notification: 25 January 2019
Camera-ready versions due: 15 February 2019
* SUBMISSION INSTRUCTIONS
ETAPS conferences solicit contributions of two types: research papers
and tool demonstration papers. ESOP and FoSSaCS accept only research
papers. FASE, POST and TACAS have multiple types of research papers,
see below.
All accepted papers will appear in the proceedings and have
presentations during the conference. A condition of submission is that,
if the submission is accepted, one of the authors attends the conference
to give the presentation.
See http://etaps.org/2019/call-for-papers for more details.
* OPEN ACCESS
Like ETAPS 2018, the proceedings of ETAPS 2019 will be published in
gold open access. The copyright of the papers will remain with the
authors. The proceedings will be published in the Advanced Research in
Computing and Software Science (ARCoSS) subline of Springer's Lecture
Notes in Computer Science series.
The publisher's charges for gold open access will be paid by the
conference (funded with the participation fees of all
participants). There will be no added cost for authors specifically.
* SATELLITE EVENTS (6-7 April)
A number of satellite workshops will take place before the main
conferences: BEHAPI, CREST, DICE-FOPARA, GaLoP, HCVS, HSB, InterAVT,
LiVe, MeTRiD, PERR, PLACES, QAPL, SPIoT.
* ORGANIZERS
Jan Kofron and Jan Vitek (general chairs), Barbora Buhnova, Milan
Ceska, Ryan Culpepper, Vojtech Horky, Paley Li, Petr Maj, Artem
Pelenitsyn, David Safranek
HELMUT VEITH STIPEND FOR FEMALE MASTER'S STUDENTS IN COMPUTER SCIENCE
Call for Applications
TU Wien
* Female students in the field of computer science (CS) who plan to
pursue (or are currently pursuing) one of the master's programs in
Computer Science at the Vienna University of Technology - TU Wien
taught in English are invited to apply for the annually awarded
Helmut Veith Stipend. The computer science department at Vienna
University of Technology - TU Wien, has been ranked among the 70
world's best (THE Times Higher Education Ranking).
* The annually awarded Helmut Veith Stipend for female master students
is dedicated to the memory of an outstanding computer scientist who
worked in the fields of logic in computer science, computer-aided
verification, software engineering, and computer security -
Professor Helmut Veith (1971-2016).
* The Helmut Veith Stipend was established with generous support of TU
Wien, Wolfgang Pauli Institute and with contributions by family and
friends of the late Helmut Veith.
* APPLICATION Applications for funding can be filed before or in
parallel with the admissions process. Your application must be
submitted electronically to master@logic-cs.at as a single PDF
document, by November 30, 2018.
* IMPORTANT DATES
Deadline: November 30, 2018.
* INQUIRES: Electronically to master@logic-cs.at
* WEBSITE
http://www.vcla.at/2018/05/call-for-applications-helmut-veith-stipend-for-female-masters-students-in-computer-science
3rd WORLD CONGRESS ON FORMAL METHODS (FM'19)
Call for Workshop and Tutorial Proposals
Porto, Portugal, October 7-11, 2019
http://formalmethods2019.inesctec.pt/
* FM 2019 is the 23rd international symposium in a series organised by
Formal Methods Europe (FME), an independent association whose aim is
to stimulate the use of, and research on, formal methods for
software development. Every ten years the symposium is organised as
a World Congress. For this major event, we are now inviting
proposals for workshops, tutorials, or other satellite events that
will complement the main FM Symposium and co-located conferences.
* SUBMISSION INFORMATION
Researchers and practitioners wishing to organise a workshop or
tutorial are invited to submit proposals by e-mail to the Workshops
and Tutorials Chairs,
Nelma Moreira (nam@dcc.fc.up.pt)
Emil Sekerinski (emil@mcmaster.ca)
For further information please visit
http://formalmethods2019.inesctec.pt/
* IMPORTANT DATES
Submission of proposals: November 16, 2018
Notification of success of proposals: November 23, 2018
Notification of paper acceptance (if applicable): June 14, 2019 (limit date)
FM'19 World Congress: October 7-11, 2019
Workshop/Tutorial dates: October 7-8, 2019 (also October 9-11 if space
is an issue)
SPECIAL ISSUE OF THE ARTIFICIAL INTELLIGENCE JOURNAL (AIJ) ON
EPISTEMIC PLANNING
* Theme and topics
https://www.journals.elsevier.com/artificial-intelligence/call-for-papers/special-issue-on-epistemic-planning
* Fast publication: Reviewing of submitted articles begins immediately
after submission, with first decisions (accept, reject, revisions)
made within three months. Accepted articles will be published
immediately online on the AIJ website and will also be included in
the special issue.
* IMPORTANT DATES
Submission deadline: December 1, 2018
Notification: within 3 months of submission
* SPECIAL ISSUE EDITORS
Vaishak Belle, University of Edinburgh
Thomas Bolander, Technical University of Denmark
Andreas Herzig, CNRS, IRIT Toulouse
Bernhard Nebel, Albert-Ludwigs-Universität Freiburg
16TH EUROPEAN CONFERENCE ON LOGICS IN ARTIFICIAL INTELLIGENCE (JELIA
2019)
First Call for Papers
Rende, Italy, May 8-10, 2019
https://jelia2019.mat.unical.it/
* The aim of JELIA 2019 is to bring together active researchers
interested in all aspects concerning the use of logics in Artificial
Intelligence to discuss current research, results, problems, and
applications of both theoretical and practical nature.
Further information on relevant topics and awards is available at
https://jelia2019.mat.unical.it/
* IMPORTANT DATES
Abstract submission deadline 26 November 2018 (23:59 UTC-12)
Paper submission 03 December 2018 (23:59 UTC-12)
Notification of acceptance 16 January 2019
Best paper notification 31 January 2019
Camera-ready due 28 February 2019
Online registration opens 01 March 2019
Conference start 08 May 2019
* ENQUIRIES
Please send all enquiries at the email address jelia2019@mat.unical.it
* GENERAL CHAIR
Nicola Leone (University of Calabria)
* PROGRAM CHAIRS
Francesco Calimeri (University of Calabria)
Marco Manna (University of Calabria)
NATURAL LANGUAGE PROCESSING IN ARTIFICIAL INTELLIGENCE (NLPinAI 2019)
Call for papers
19 - 21 February, 2019, Prague, Czech Republic
http://www.icaart.org/NLPinAI.aspx
* Special Session within the 11th International Conference on Agents
and Artificial Intelligence - ICAART 2019
http://www.icaart.org
* IMPORTANT DATES:
Paper Submission: December 20, 2018
Authors Notification: January 7, 2019
Camera Ready and Registration: January 15, 2019
* CHAIRS:
Roussanka Loukanova Stockholm University, Sweden
* CONTACT:
Roussanka Loukanova (rloukanova@gmail.com)
COMPUTABILITY IN EUROPE 2019 (CiE 2019)
First Call for Papers
Durham, United Kingdom
July 15 - July 19, 2019
https://community.dur.ac.uk/cie.2019/
http://www.computability.org.uk
* IMPORTANT DATES:
Deadline for article registration (abstract submission): 7 January 2019 AOE
Deadline for article submission: 14 January 2019 AOE
Notification of acceptance: 18 March 2019
Final versions due: 4 April 2019
Deadline for informal presentations submission: 1 May 2019
(The notifications of acceptance for informal presentations will be
sent a few days after submission.)
Early registration before: 15 May 2019
* TUTORIAL SPEAKERS:
Markus Holzer (JLU Giessen)
Assia Mahboubi (University of Nantes)
* INVITED SPEAKERS:
Felipe Cucker (City University of Hong Kong)
Ursula Martin (University of Oxford)
Alexander Schonhuth (CWI, Amsterdam)
Sonja Smets (University of Amsterdam)
Linda Brown Westrick (Penn State)
* SPECIAL SESSIONS:
- Computational Neuroscience, orrganised by Noura Al Moubayed (Durham
University) and Jason Connolly (Durham University)
- History and Philosophy of Computing, organised by the Council of the
HaPoC Commission
- Lowness Notions in Computability, organised by Johanna Franklin
(Hofstra University) and Joseph S. Miller (University of
Wisconsin-Madison)
- Probabilistic Programming and Higher-Order Computation, organised by
Christine Tasson (Paris Diderot University)
- Smoothed and Probabilistic Analysis of Algorithms, organised by Bodo
Manthey (University of Twente)
- Transfinite Computations, organised by Sabrina Ouazzani (Paris-Est
Creteil University)
* PROGRAMME CHAIRS
Daniel Paulusma (Durham University, co-chair)
Giuseppe Primiero (University of Milan, co-chair)
* WOMEN IN COMPUTABILITY: We are very happy to announce that within
the framework of the Women in Computability programme, we are able
to offer some grants of up to 250 EUR for junior female researchers
who want to participate in CiE 2019. Applications for this grant
should be sent to Liesbeth De Mol, liesbeth.demol@univ-lille3.fr,
before 15 May 2019 and include a short cv (at most 2 pages) and
contact information for an academic reference. Preference will be
given to junior female researchers who are presenting a paper
(including informal presentations) at CiE 2019.
* Association CiE:
http://www.computability.org.uk
* CiE Conference Series:
http://www.computability.org.uk/index.php/cie-conference-series/
FOURTH INTERNATIONAL CONFERENCE ON FORMAL STRUCTURES FOR COMPUTATION
AND DEDUCTION (FSCD 2019)
First Call for Papers
24 - 30 June 2019, Dortmund, Germany
http://fscd-conference.org/
* IMPORTANT DATES
All deadlines are midnight anywhere-on-earth (AoE); late submissions
will not be considered.
Titles and Short Abstracts: 8 February 2019
Full Papers: 11 February 2019
Rebuttal period: 28 March -- 1 April 2019
Authors Notification: 8 April 2019
Final version for proceedings: 22 April 2019
* FSCD 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, models of computation (e.g. quantum computing, probabilistic
computing, homotopy type theory), semantics and verification in new
challenging areas (e.g. blockchain protocols or deep learning
algorithms).
* PROGRAM COMMITTEE CHAIR
H. Geuvers, Radboud U. Nijmegen
SPRING SCHOOL ON DATABASES, LOGIC AND AUTOMATA (EPIT 2019)
Announcement
April 8-12, 2019, CIRM, Marseille Luminy, France
Webpage of the event : https://conferences.cirm-math.fr/1934.html
* EPIT (École de Printemps d'Informatique Théorique,
https://epit.irif.fr/) is a French recurrent spring school in
theoretical computer science, initiated by Maurice Nivat in 1973.
It has since then spanned many exciting topics in foundational
computer science, and has become a major event for the research
community in France and beyond. The 2019 edition of the EPIT will
cover the foundations of data management. It will in particular
focus on the fruitful interaction between database theory, logic and
automata.
A detailed program can be found on the Webpage of the event. In
addition, poster sessions will be organised, so that participants
who are willing to, will be able to present their work.
* Lectures are intended to be accessible to a wide audience. No prior
knowledge of database theory will be assumed, but some familiarity
with basic automata theory and logic is recommended. The EPIT 2019
Spring School is primarily addressed to PhD students and young
researchers, but more senior participants are also encouraged to
join. All courses will be given in English.
* The school will take place at CIRM, the International Center for
Mathematical Meetings (https://www.cirm-math.fr/) in Luminy,
Marseille. Registration fees, including accommodation and meals at
CIRM, will be as moderate as possible (details to be announced
soon).
* Pre-registration will soon open on the Webpage of the event.
* Organisers :
Amelie Gheerbrant: amelie@irif.fr
Leonid Libkin: libkin@inf.ed.ac.uk
Luc Segoufin: luc.segoufin@inria.fr
Pierre Senellart: pierre@senellart.com
Cristina Sirangelo: cristina@irif.fr
TOPOLOGY, ALGEBRA AND CATEGORIES IN LOGIC (TACL 2019)
Early announcement
Conference: June 17 - 21, 2019 in Nice
School: June 10 - 15, 2019 in Ile de Porquerolles
https://math.unice.fr/tacl/2019/
* Scope: Studying logic via semantics is a well-established and very
active branch of mathematical logic with many applications in
computer science and elsewhere. The area is characterized by
results, tools and techniques stemming from various fields,
including universal algebra, topology, category theory, order, and
model theory. The programme of the conference TACL 2019 will focus
on three interconnecting mathematical themes central to the semantic
study of logic and their applications: topological, algebraic, and
categorical methods.
* Invited speakers:
Samson Abramsky
Johan van Benthem
Marcel Erné
Sam van Gool
Wesley Holliday
Agi Kurucz
Tommaso Moraschini
Daniela Petrisan
Hilary Priestley
Boris Zilber
* Lecturers at the Summer School:
Maria Manuel Clementino - Category Theory
Andre Joyal - Topos Theory
George Metcalfe - Algebraic Methods in Proof Theory
Yde Venema - Duality Theory
* Important dates
- Submission deadline: February 27, 2019
- Notification to authors: April 10, 2019
Book your hotel as soon as possible. Nice is a popular tourist
destination and hotels fill up quickly.
* Detailed information can be found on the webpage.
CATEGORY THEORY 2019 (CT 2019)
Early announcement
University Of Edinburgh, 7-13 JULY 2019
http://conferences.inf.ed.ac.uk/ct2019/
* We are delighted to announce the Category Theory 2019 conference at
University Of Edinburgh between 7-13 July 2019.
* Details will follow by email and on the conference website:
http://conferences.inf.ed.ac.uk/ct2019/
INTERNATIONAL CONFERENCE ON RELIABILITY, SAFETY AND SECURITY OF
RAILWAY SYSTEMS: MODELLING, ANALYSIS, VERIFICATION AND CERTIFICATION
(RSSRAIL 2019)
Call for Papers
June 4-6, 2019, Lille, France
https://conferences.ncl.ac.uk/rssrail2019/
* The conference aims to bring together researchers and engineers
interested in building critical railway applications and
systems. This will be a working conference in which research
challenges and progress will be discussed and evaluated by both
researchers and engineers, focusing on their potential to be
deployed in industrial settings.
* Topics of particular interest include: Safety in development
processes and safety management, Combined approaches to safety and
security, System and software safety analysis, Formal modelling and
verification techniques, System reliability, Validation according to
the standards, Safety and security argumentation, Fault and
intrusion modelling and analysis, Evaluation of system capacity,
energy consumption, cost and their interplay, Tool and model
integration, tool chains, Domain-specific languages and modelling
frameworks, Model reuse for reliability, safety and security,
Modelling for maintenance strategy engineering.
* IMPORTANT DATES
Abstract submission deadline: January 5, 2019
23RD INTERNATIONAL SYMPOSIUM ON FORMAL METHODS - 3RD WORLD CONGRESS ON
FORMAL METHODS (FM 2019)
First Call for Papers
Porto, Portugal, October 7-11, 2019
http://formalmethods2019.inesctec.pt/
* FM 2019 is the 23rd international symposium in a series organised by
Formal Methods Europe (FME), an independent association whose aim is
to stimulate the use of, and research on, formal methods for
software development. Every 10 years the symposium is organised as a
World Congress. Twenty years after FM 1999 in Toulouse, and 10 years
after FM 2009 in Eindhoven, FM 2019 is the 3rd World Congress on
Formal Methods. This is reflected in a PC with members from over 40
countries. Thus, FM 2019 will be both an occasion to celebrate and a
platform for enthusiastic researchers and practitioners from a
diversity of backgrounds to exchange their ideas and share their
experience.
* IMPORTANT DATES
Abstract submission: 28 March, 2019
Full paper submission: 11 April, 2019, 23:59 AoE
Notification: 11 June, 2019
Camera ready: 9 July, 2019
Conference: 7-11 October, 2019
* Topics of Interest
FM 2019 encourages submissions on formal methods in a wide range of
domains including software, computer-based systems,
systems-of-systems, cyber-physical systems, human-computer
interaction, manufacturing, sustainability, energy, transport, smart
cities, and healthcare. We particularly welcome papers on
techniques, tools and experiences in interdisciplinary settings. We
also welcome papers on experiences of formal methods in industry,
and on the design and validation of formal methods tools. The broad
topics of interest for FM 2019 include, but are not limited to:
- Interdisciplinary formal methods: Techniques, tools and
experiences demonstrating the use of formal methods in
interdisciplinary settings.
- Formal methods in practice: Industrial applications of formal
methods, experience with formal methods in industry, tool usage
reports, experiments with challenge problems. The authors are
encouraged to explain how formal methods overcame problems, led to
improved designs, or provided new insights.
- Tools for formal methods: Advances in automated verification,
model checking, and testing with formal methods, tools
integration, environments for formal methods, and experimental
validation of tools. The authors are encouraged to demonstrate
empirically that the new tool or environment advances the state of
the art.
- Formal methods in software and systems engineering: Development
processes with formal methods, usage guidelines for formal
methods, and method integration. The authors are encouraged to
evaluate process innovations with respect to qualitative or
quantitative improvements. Empirical studies and evaluations are
also solicited.
- Theoretical foundations of formal methods: All aspects of theory
related to specification, verification, refinement, and static and
dynamic analysis. The authors are encouraged to explain how their
results contribute to the solution of practical problems with
formal methods or tools.
* Best Paper Award: At the conference, the PC Chairs will present an
award to the authors of the submission selected as the FM 2019 Best
Paper.
* General Chair
José Nuno Oliveira, INESC TEC & University of Minho, PT
* Program Committee Chairs
Maurice ter Beek, ISTI-CNR, Pisa, IT
Annabelle McIver, Macquarie University, AU
PHD STUDENT POSITION IN DATABASE THEORY AND LOGIC
* Database Theory and Logic
* joint between LaBRI (Bordeaux, FR) and IRIF (Paris, FR)
* 3 years
* Link: https://quid.labri.fr/documents/phd.html
* The IRIF lab in Paris and the LABRI lab in Bordeaux, France have
funding for a co-supervised PhD studentship in database theory
starting in 2019. The PhD topic is in the area of foundations of
data management, focusing on querying inconsistent data. This PhD
topic is part of a larger projet QUID (Efficient Querying for
Incomplete and Inconsistent Data), funded by the French research
agency ANR. The project involves researchers from two other research
labs in France: Ecole Normale Superieure (Paris) and the Institut
Gaspard Monge (Marne-la-Vallee). Candidates should have a strong
background in theoretical computer science, preferably in automata,
logic, verification, or finite model theory. Some prior knowledge of
database theory and systems is also a plus.
* Contact:
Cristina Sirangelo - cristina@irif.fr
Diego Figueira - diego.figueira@labri.fr
AI*IA INCOMING AND OUTGOING MOBILITY GRANTS 2018 - CALL FOR RESEARCH VISITS
* To favour mobility of young researchers the Italian Association for
Artificial Intelligence (AI*IA) issues the AIxIA Incoming Mobility
Grants for 2018. Applications are solicited for funding a research
visit of a PhD student enrolled at a foreign University to an
Italian institution and for a research visit abroad of a PhD student
enrolled at an Italian University. The central aim of these long
visits is to build a research bridge between researchers and to
create a solid basis for long term collaborations. Moreover, the
visit has to lead to a submission of an article on a joint research
topics to the Intelligenza Artificiale journal
(www.iospress.nl/journal/intelligenza-artificiale/).
* For the incoming call eligibility for the visiting student is to be
enrolled full-time in a PhD programme at a foreign University.
Funding is available for 2 students.
* For the outgiong call applications can be made by students enrolled
full-time in a PhD programme at an Italian University. The
applicant must be a member of the Association for 2018. If she/he
is not a member for 2018 she/he must register before applying.
* The visits should start between the 1st of January 2019 and the 31th
of December 2019.
* Deadline for applications: November 30th, 2018
Notification of grants: December 15th, 2018
* Further information:
https://groups.google.com/a/aixia.it/forum/#!msg/aixia/VHeiyHXKocY/jZEjryGPAgAJ
* The applications must be sent by email to incoming@aixia.it The
applications will be examined by a committee composed by members of
the AI*IA Board of Directors.
POSTDOCTORAL RESEARCHER IN LOGIC, MILAN
Project: Logical Foundations and Applications of Depth-Bounded Probability
Duration: 2 years
Deadline for application: 9 November 2018
http://www.unimi.it/ricerca/assegni_ricerca/123679.htm
* Applicants are advised to contact the PIs of the project, Marcello
D'Agostino or Hykel Hosni
, for further information about formal
requirements.
* We are looking for a very strong and highly motivated postdoctoral
researcher in Logic to join Marcello D'Agostino and Hykel Hosni who
are the PIs of the project "Logical Foundations and Applications of
Depth-Bounded Probability". This project is part of a 5 years
"Excellence Scheme" which has been awarded in 2017 to The Department
of Philosophy at the University of Milan "La Statale" in recognition
of its leading role in research and innovative teaching.
* Further information:
http://www.unimi.it/ricerca/assegni_ricerca/123679.htm
Back to the LICS web page.