Apologies for multiple reception of this message.
*******************************************************************************
CALL FOR PAPERS
8TH INTERNATIONAL WORKSHOP ON STRATEGIC REASONING (SR 2020)
Satellite workshop of ECAI 2020, Santiago de Compostela, Spain, June
8, 2020
*******************************************************************************
Strategic reasoning is a key topic in multi-agent systems research. The
extensive literature in the field includes a variety of
logics used for modeling strategic ability. Results from the field are
now being used in many exciting domains such as information
system security, adaptive strategies for robot teams, and automatic
players capable to outperform human experts. A common feature in all
these application domains is the requirement for sound theoretical
foundations and tools accounting for the strategies that artificial
agents may adopt in the situation of conflict and cooperation.
The SR international workshop series aims at bringing together
researchers working on different aspects of strategic reasoning in
computer science, both from a theoretical and a practical point of view.
SR 2020 will be held with ECAI 2020 in Santiago de Compostela, Spain.
TOPICS OF INTEREST:
The topics covered by SR include, but are not limited to, the following:
- Logics for reasoning about strategic abilities;
- Logics for multi-agent mechanism design, verification, and synthesis;
- Logical foundations of decision theory for multi-agent systems;
- Strategic reasoning in formal verification;
- Automata theory for strategy synthesis;
- Strategic reasoning under perfect and imperfect information;
- Applications and tools for cooperative and adversarial reasoning;
- Robust planning and optimisation in multi-agent systems;
- Risk and uncertainty in multi-agent systems;
- Quantitative aspects in strategic reasoning.
SUBMISSIONS:
We invite three types of submissions:
(A) original contributions,
(B) published work, and
(C) challenging open problems.
Each submission should be clearly identified as belonging to one of
these three categories.
In all three categories, submissions will be evaluated by the usual high
standards of research publications. In particular, they should
contain enough detail to allow the program committee to identify the
main contribution of the work, to explain its significance, its
novelty, its relevance to the strategic-reasoning audience, and its
practical or theoretical implications, and include comparisons with
and references to relevant literature.
Strong preference will be given to contributions on topics of interest
to a broad, interdisciplinary audience and all papers should be
written so that they are accessible to such an audience.
Submissions should be in PDF, preferably using the EPTCS style
(http://style.eptcs.org), and not exceed 12 pages (not including
bibliography).
Authors are invited to submit their manuscript via EasyChair.
Submission webpage: https://easychair.org/conferences/?conf=sr20200
IMPORTANT DATES:
Paper submission: March 13, 2020 (AoE)
Authors notification: April 15, 2020
Camera-ready deadline: May 15, 2020
Workshop: June 8, 2020
ORGANIZERS:
Bastien Maubert, University of Naples "Federico II"
(bastien.maubert(a)gmail.com)
Nir Piterman, University of Gothenburg
(nir.piterman(a)gmail.com)
WEBSITE: http://bastien-maubert.fr/sr2020/
13TH INTERNATIONAL CONFERENCE ON ADVANCES IN MODAL LOGIC
HELSINKI, 17 AUGUST -- 21 AUGUST 2020
https://www.helsinki.fi/en/conferences/advances-in-modal-logic-2020 <https://www.helsinki.fi/en/conferences/advances-in-modal-logic-2020>
Advances in Modal Logic is an initiative aimed at presenting the state of the art in modal logic and its various applications. The initiative consists of a conference series together with volumes based on the conferences. Information about the AiML series can be obtained at http://www.aiml.net <http://www.aiml.net/>
AiML 2020 is the 13th conference in the series.
TOPICS
We invite submissions on all aspects of modal logic, including:
- history of modal logic
- philosophy of modal logic
- applications of modal logic
- automated reasoning for modal logics
- computational aspects of modal logic
(complexity and decidability of modal and temporal logics, model checking, model generation)
- theoretical aspects of modal logic
(topological/algebraic/categorical perspectives on modal logic, co-algebraic modal logic, completeness and canonicity, correspondence and duality theory, many-dimensional modal logics, modal fixed-point logics, model theory of modal logic, proof theory of modal logic)
- specific instances and variations of modal logic
(description logics, modal logics over non-boolean bases, dynamic logics and other process logics, epistemic and deontic logics, modal logics for agent-based systems, modal logic and game theory, modal logic and grammar formalisms, provability and interpretability logics, conditional logics, spatial and temporal logics, hybrid logic, intuitionistic (modal) logics, intermediate logics, bunched implication and separation logics)
Papers on related subjects will also be considered.
PAPER SUBMISSIONS
There will be two types of submissions for AiML 2020:
(1) Full papers for publication in the proceedings and presentation at the conference.
(2) Short presentations intended for presentation at the conference but not for the published proceedings.
Both types of papers should be submitted electronically using the EasyChair submission page at: https://easychair.org/conferences/?conf=aiml2020 <https://easychair.org/conferences/?conf=aiml2020>
At least one author of each accepted paper or short presentation must register for and attend the conference.
(1) FULL PAPERS
Authors are invited to submit, for presentation at the conference and publication in the proceedings, full papers reporting on original research and not submitted elsewhere. The proceedings of AiML 2020 will be published by College Publications (http://www.collegepublications.co.uk <http://www.collegepublications.co.uk/>) in a volume to be made available at the conference.
The submissions should be at most 15 pages, with an optional technical appendix of up to 5 pages, together with a plain-text abstract of 100-200 words. The submissions must be typeset in LaTeX, using the style files and template that will be provided on the AiML 2020 website:
https://www.helsinki.fi/en/conferences/advances-in-modal-logic-2020 <https://www.helsinki.fi/en/conferences/advances-in-modal-logic-2020> in due time.
Authors must submit an abstract in plain text via EasyChair by the abstract deadline prior to full submission of their paper.
The presentations of accepted full papers will be 30 minutes long.
(2) SHORT PRESENTATIONS.
These should be at most 5 pages. They may describe preliminary results, work in progress etc., and will be subject to light reviewing. The accepted submissions will be made available at the conference, and the authors will have the opportunity to give short presentations (of up to 15 minutes) on them.
INVITED SPEAKERS
Bahareh Afshari (University of Amsterdam and Gothenburg University)
Nick Behanishvilii (University of Amsterdam)
Melvin Fitting (City University of New York)
Nina Gierasimczuk (Danish Techical University, Copenhagen)
PROGRAM COMMITTEE
- Natasha Alechina, Utrecht University
- Maria Aloni, University of Amsterdam
- Philippe Balbiani, CNRS, IRIT Toulouse
- Guram Bezhanishvili, New Mexico State University
- Marta Bílková, Charles University Prague
- Patrick Blackburn, University of Roskilde
- Agata Ciabattoni, TU Wien
- Giovanna Corsi, University of Bologna
- Giovanna D'Agostino, University of Udine
- Stéphane Demri, CNRS, LSV, ENS Paris-Saclay
- Hans van Ditmarsch, CNRS, LORIA, University of Lorraine
- David Fernández-Duque, Ghent University
- David Gabelaia, TSE Razmadze Mathematical Institute
- Didier Galmiche, CNRS, LORIA, University of Lorraine
- Silvio Ghilardi, University of Milan
- Valentin Goranko, Stockholm University
- Rajeev Goré, The Australian National University
- Davide Grossi, University of Groningen
- Helle Hvid Hansen, Delft University of Technology
- Wesley Holliday, UC Berkeley
- Agi Kurucz, King's College London
- Roman Kuznets, TU Wien
- Carsten Lutz, University of Bremen
- George Metcalfe, University of Bern
- Larry Moss, Indiana University
- Cláudia Nalon, University of Brasilia
- Sara Negri, University of Helsinki
- Eric Pacuit, University of Maryland
- Xavier Parent, University of Luxembourg
- Valeria De Paiva, Samsung Research America, Birmingham University
- Sophie Pinchinat, IRISA, University of Rennes I
- Mark Reynolds, The University of Western Australia
- Renate Schmidt, University of Manchester
- Ilya Shapirovsky, Institute for the Information Transmission Problems
- Valentin Shehtman, Institute for the Information Transmission Problems
- Thomas Studer, University of Bern
- Sara L. Uckelman, Durham University
- Yde Venema, University of Amsterdam
- Yanjing Wang, Peking University
- Michael Zakharyashev, Birbeck University of London.
PROGRAMME COMMITTEE CHAIRS
Nicola Olivetti, LIS, Aix-Marseille University
Rineke Verbrugge, University of Groningen
LOCAL ORGANIZING COMMITTEE
Sara Negri, University of Helsinki (chair)
Gabriel Sandu, University of Helsinki (co-chair)
Fausto Barbero
Annika Kanckos
Eugenio Orlandelli
Edi Pavlovic
IMPORTANT DATES
Abstracts of full papers submission deadline: 11 March 2020
Full papers submission deadline: 18 March 2020
Full papers acceptance notification: 18 May 2020
Short presentations submission deadline: 25 May 2020
Short presentations acceptance notification: 8 June 2020
Final version of full papers and short presentations due: 11 June 2020
Conference: 17 August -- 21 August 2020
FURTHER INFORMATION
Please see https://www.helsinki.fi/en/conferences/advances-in-modal-logic-2020 <https://www.helsinki.fi/en/conferences/advances-in-modal-logic-2020>
ENQUIRIES
E-mail enquiries should be directed to the PC chairs, sent to
aiml2020(a)easychair.org <mailto:aiml2020@easychair.org>
********************************************************************************
VerifyThis Verification Competition 2020
CALL FOR PARTICIPATION -- TRAVEL GRANTS
Competition to be held at ETAPS 2020
http://verifythis.ethz.ch
********************************************************************************
IMPORTANT DATES
Grant application deadline: March 11, 2020
Competition: April 25 and 26, 2020
ABOUT THE COMPETITION
VerifyThis 2020 is a program verification competition taking place as
part of the European Joint Conferences on Theory and Practice of
Software (ETAPS 2020) on 25 and 26 April 2020. It is the 9th event in
the VerifyThis competition series. Information on previous events and
participants can be found at http://verifythis.ethz.ch.
The aims of the competition are:
- to bring together those interested in formal verification, and to
provide an engaging, hands-on, and fun opportunity for discussion, and
- to evaluate the usability of logic-based program verification tools
in a controlled experiment that could be easily repeated by others.
The competition will offer a number of challenges presented in natural
language and pseudo code. Participants have to formalize the
requirements, implement a solution, and formally verify the
implementation for adherence to the specification.
There are no restrictions on the programming language and verification
technology used. The correctness properties posed in problems will
have the input-output behaviour of programs in focus. Solutions will
be judged for correctness, completeness and elegance.
PARTICIPATION
Participation is open for anybody interested. Teams of up to two
people are allowed. Registration for ETAPS workshops and physical
presence on site is required.
We particularly encourage participation of:
- student teams (this includes PhD students)
- non-developer teams using a tool someone else developed
- several teams using the same tool
To facilitate planning, please also send an email to
verifythis(a)googlegroups.com stating your planned team composition and
verification system(s) you plan to use. Informal inquiries are
welcome at the same address.
TRAVEL GRANTS
The competition is trying to obtain funds for a limited number of
travel grants. A grant covers the incurred travel and accommodation
costs up to a certain limit. We will announce more details at
http://verifythis.ethz.ch shortly.
To apply for a travel grant, send an email to verifythis(a)googlegroups.com
by March 11, 2020. The application should include:
- your name
- your affiliation
- the verification system(s) you plan to use at the competition
- the planned composition of your team (and whether you are developers
of
the tools you'll be using)
- a short letter of motivation explaining your involvement with formal
verification so far
- if you are a student, please state the academic degree you are seeking
and have your supervisor send a brief letter of support to
verifythis(a)googlegroups.com
ORGANIZERS
* Siddharth Krishna, Microsoft Research Cambridge, UK
* Wytse Oortwijn, ETH Zurich, Switzerland
STEERING COMMITTEE
* Marieke Huisman, University of Twente, the Netherlands
* Rosemary Monahan, Maynooth University, Ireland
* Peter Müller, ETH Zurich, Switzerland
* Mattias Ulbrich, Karlsruhe Institute of Technology, Germany
CONTACT
Email: verifythis(a)googlegroups.com
Web: http://verifythis.ethz.ch
*** CALL FOR WORKSHOP PROPOSALS ***
ICLP 2020
36th International Conference on Logic Programming
September 18 - September 24, 2020
University of Calabria, Rende, Italy
https://iclp2020.unical.it
ICLP 2020, the 36th International Conference on Logic Programming,
will be held at the University of Calabria, Rende, Italy, from
September 18 to September 24, 2020.
The ICLP conference series has a long standing tradition of hosting
a rich set of co-located workshops. ICLP workshops provide a unique
opportunity for the presentation and discussion of work that can be
preliminary in nature, novel ideas, and new open problems to a wide
and interested audience.
Co-located workshops also provide an opportunity for presenting
specialized topics and opportunities for intensive discussions and
project collaboration. The topics of the workshops co-located with
ICLP 2020 can cover any areas related to logic programming (e.g.,
theory, implementation, environments, language issues, alternative
paradigms, applications), including cross-disciplinary areas. However,
any relevant workshop proposal will be considered.
The format of the workshop will be decided by the workshop organizers,
but ample time should be allowed for general discussion. Workshops can
vary in length, but the optimal duration will be half a day or a full
day.
Workshop Proposal:
==================
Those interested in organizing a workshop at ICLP 2020 are invited to
submit a workshop proposal. Proposals should be in English and about
two pages in length. They should contain:
* The title of the workshop.
* A brief technical description of the topics covered by the workshop.
* A discussion of the timeliness and relevance of the workshop.
* A list of some related workshops held in the last years.
* The estimated length of the workshop and an estimate of the number
of expected attendees.
* The names, affiliation and contact details (email, web page,
phone) of the workshop organizers together with a designated
contact person.
* Previous experience of the workshop organizers in
workshop/conference organization.
Proposals are expected in text or PDF format. All proposals should be
submitted to the Workshop Chair by email by April 13, 2020.
Reviewing Process:
==================
Each submitted proposal will be reviewed by the Workshop, Program and
General Chairs. Proposals that appear well-organized and that fit the
goals and scope of ICLP will be selected. The decision will be
notified by email to the responsible organizer by April 27, 2020.
The definitive length of the workshop will be planned according to the
number of submissions received by the different workshops. For every
accepted workshop, the ICLP local organizers will prepare a meeting
room. The workshops and the conference organizers will collaborate in
establishing a uniform approach to produce proficient and accessible
proceedings for the workshops.
Workshop Organizers' Tasks:
===========================
* Producing a "Call for Papers" for the workshop and posting it
on the Internet and other means. A web page URL should be provided
by May 25, 2020, and will be published on the ICLP 2020 home page.
* Providing a brief description of the workshop for the conference
program.
* Reviewing/accepting submitted papers.
* Scheduling workshop activities in collaboration with the local
organizers and the Workshop Chair.
* Providing a workshop program in a format specified by the
conference organizers for posting by August 31, 2020.
* Coordinating the preparation of the workshop proceedings according
to the specifications provided by the Workshop Chair.
Location:
=========
Workshops will be collocated with ICLP 2020 at the University of
Calabria, Rende, Italy. See the ICLP 2020 web site
(https://iclp2020.unical.it/) for location details.
Important Dates (Tentative):
============================
April 13, 2020:Proposal submission deadline
April 27, 2020:Notification
May 25, 2020:Deadline for receipt of CfP and workshop web page URL
August 18, 2020: Deadline for acceptance notification of paper authors
August 31, 2020: Deadline for workshop program
Submissions:
============
Please submit your workshop proposals by email to the Workshop Chair.
Workshop Chair:
===============
Martin Gebsermartin.gebser(a)aau.at
--
--
*Dona il 5x1000* all'Università degli Studi di Sassaricodice fiscale:
00196350904
COMPUTABILITY IN EUROPE 2020 FIRST CALL FOR INFORMAL PRESENTATIONS:
CiE 2020:
Salerno, Italy
June 29 - July 3, 2020
https://www.acie.eu/cie-conference-series/cie2020https://www.acie.eu
IMPORTANT DATES:
Deadline for informal presentations submission: 10 April 2020
(The notifications of acceptance for informal presentations will be sent
a few days after submission.)
Early registration before: 1 May 2020
CiE 2020 is the 16th conference organized by CiE (Computability in
Europe), a European association of mathematicians, logicians, computer
scientists, philosophers, physicists and others interested in new
developments in computability and their underlying significance for the
real world.
Previous meetings have taken place in Amsterdam (2005), Swansea (2006),
Siena (2007), Athens (2008), Heidelberg (2009), Ponta Delgada (2010),
Sofia (2011), Cambridge (2012), Milan (2013), Budapest (2014), Bucharest
(2015), Paris (2016), Turku (2017), Kiel (2018), and Durham (2019).
TUTORIALS
_Fine-Grained Complexity_ - Virginia Vassilevska Williams (MIT)
_Computable Analysis_ - Martin Ziegler (Korea Advanced Institute of
Science and Technology)
INVITED TALKS:
_Centralities in Network Analysis_ -- Paolo Boldi (University of Milan)
_A game-theoretic approach for the automated synthesis of complex
systems _-- Véronique Bruyère (University of Mons)
On-the-fly classification of structures -- Ekatarina Fokina (Vienna
University of Technology)
_A Survey on Analog Models of Computation_ -- Amaury Pouly (CNRS Paris)
_On the Repetitive Structure of Words_ -- Antonio Restivo (University of
Palermo)
_Molecular algorithms using reprogrammable DNA self-assembly_ -- Damien
Woods (Maynooth University)
HOSTED BY:
Department of Computer Science, University of Salerno
SPECIAL SESSIONS:
Algorithmic Learning Theory
Combinatorial String Matching
Computable Topology
HAPOC session on Fairness in Algorithms
Large scale Bioinformatics and Computational Sciences
Modern aspects of Formal Languages
Contributed papers will be selected from submissions received by the
PROGRAMME COMMITTEE consisting of:
Marcella Anselmo University of Salerno (co-chair)
Veronica Becher Universidad de Buenos Aires
Paola Bonizzoni University of Milano-Bicocca
Laura Crosilla University of Oslo
Liesbeth De Mol Université de Lille 3
Gianluca Della Vedova University of Milano-Bicocca
Jérôme Durand-Lose Université d'Orléans
Pawel Gawrychowski University of Wroclaw
Mathieu Hoyrup LORIA
Juliette Kennedy University of Helsinki
Karoliina Lehtinen University of Liverpool
Benedikt Loewe Universiteit van Amsterdam
Florin Manea Universität Göttingen
Timothy McNicholl Iowa State University
Klaus Meer BTU Cottbus-Senftenberg
Turlough Neary University of Zurich
Daniel Paulusma Durham University
Arno Pauly Swansea University (co-chair)
Karin Quaas University of Leipzig
Viola Schiaffonati Politecnico di Milano
Markus L. Schmid Humboldt University Berlin
Thomas Schwentick Universität Dortmund
Marinella Sciortino University of Palermo
Victor Selivanov Institute on Informatics Systems
Mariya Soskova University of Wisconsin-Madison
Peter Van Emde Boas Universiteit van Amsterdam
Linda Brown Westrick Pennsylvania State University
The CiE conferences serve as an interdisciplinary forum for research in
all aspects of computability, foundations of computer science, logic,
and theoretical computer science, as well as the interplay of these
areas with practical issues in computer science and with other
disciplines such as biology, mathematics, philosophy, or physics.
Continuing the tradition of past CiE conferences, the Program Committee
cordially invites all researchers (European and non-European) to submit
informal presentations of their recent work. A proposal for an informal
presentation must be submitted via
EasyChair (https://easychair.org/conferences/?conf=cie2020), using the
LNCS style file (available at
https://www.springer.com/gp/computer-science/lncs/conference-proceedings-gu…)
and be 1 page; a brief description of the results suffices and an
abstract is not required. Informal presentations will not be published
in the LNCS conference proceedings. Results presented as informal
presentations at CiE 2020 may appear or may have appeared in other
conferences with formal proceedings and/or in journals.
WOMEN IN COMPUTABILITY TRAVEL GRANTS
We are very happy to announce that within the framework of the Women in
Computability programme sponsored by ACM-W we are able to offer four
grants of up to 250 EUR for junior female researchers who want to
participate in CiE 2020.
Applications for this grant should be sent to
johanna.franklin(a)gmail.com, before APRIL 30, 2020 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 2020.
ASSOCIATION OF SYMBOLIC LOGIC TRAVEL GRANTS
The Association for Symbolic Logic is graciously sponsoring CiE 2020.
Hence student members of the ASL may apply for student travel awards.
Further information can be found on the ASL website. Applications must
be received by March 28th.
It is our pleasure to announce the call for the SIGLOG/VCLA/ILLC Travel Awards for attendees of Women in Logic Workshop 2020.
Thanks to the generous support of SIGLOG, the Vienna Center for Logic and Algorithms (VCLA) and the Institute of Logic, Language and Computation of the University of Amsterdam (ILLC), applications for awards are invited to facilitate students and postdocs, who are authors of accepted papers to register and travel to the WiL 2020.
The awardees of the SIGLOG/VCLA/ILLC Travel Award will be reimbursed for a portion of their travel expenses, and registration costs. There will be at most one award per paper.
APPLICATION PROCESS
To submit a nomination for the SIGLOG/VCLA/ILLC Travel Awards please submit:
1.Basic information about the applicant
2.Information about her/their accepted WiL 2020 contribution
3.A statement about how attendance at WiL 2020 will impact the applicant
4.Resume/CV of the applicant
5.A nomination consists of a recommendation letter of up to 300 words by the applicant's supervisor/advisor
Please submit using the subject “WiL 2020 – Travel Awards” to the WiL Program Co-chairs at <wil2020(a)easychair.org>
IMPORTANT DATES
-Nominations must arrive no later than May 15, 2020
-The winners will be notified by May 25, 2020
Website: https://sites.google.com/g.uporto.pt/wil2020/home?authuser=0
Contact: WiL2020 wil2020(a)easychair.org <mailto:wil2020@easychair.org>
------------------------------------------------------------------------------------------------
Call for Contributions
WiL 2020: 4th Women in Logic Workshop
Paris, France
30 June 2020
sites.google.com/g.uporto.pt/wil2020/home?authuser=0
------------------------------------------------------------------------------
IMPORTANT DATES
Abstract submission deadline: April 22, 2020
Notification: May 21, 2020
WEBSITE: https://sites.google.com/g.uporto.pt/wil2020/submission?authuser=0
ORGANIZING AND PROGRAM COMMITTEE
* Sandra Alves (Co-chair, University of Porto)
* Amy Felty (University of Ottawa)
* Delia Kesner (Université de Paris)
* Sandra Kiefer (Co-chair, RWTH Aachen University)
* Koko Muroya (RIMS Kyoto University)
* Daniele Nantes (University of Brasília)
* Valeria de Paiva (Samsung Research America)
* Brigitte Pientka (McGill University)
* Sonja Smets (ILLC - University of Amsterdam)
* Ana Sokolova (Co-chair, University of Salzburg)
---------------------------------------------------------------------------------
**********************************************************************
LPAR-23: 23rd International Conference on Logic for Programming,
Artificial Intelligence and Reasoning
Abstract submission: 18 February, 2020
Paper submission: 22 February, 2020
Author notification: 8 April, 2020
Conference dates: 22-27 May, 2020
Location: Alicante, Spain
**********************************************************************
The series of International Conferences on Logic for Programming, Artificial Intelligence and Reasoning (LPAR) is a forum where, year after year, some of the most renowned researchers in the areas of logic, automated reasoning, computational logic, programming languages and their applications come to present cutting-edge results, to discuss advances in these fields, and to exchange ideas in a scientifically emerging part of the world.
The 23rd LPAR will be held will be held in Alicante, Spain, 22-27 May 2020. The proceedings will be published by EasyChair Publications, in the EPiC Series in Computing. The volume will be open access and the authors will retain copyright.
Submission Guidelines
=====================
All papers must be original and not simultaneously submitted to another journal or conference. The following paper categories are
welcome:
Regular papers describing solid new research results. They can be up to 15 pages long in EasyChair style, including figures but excluding
references and appendices (that reviewers are not required to
read). Where applicable, regular papers are supported by experimental validation. Experimental and tool papers describing implementations of systems, report experiments with implemented systems, or compare implemented systems. Experimental and tool papers should be supported by a link to the artifact/experimental evaluation available to the reviewers.
The length of regular papers is limited to 15 pages in the EasyChair style (excluding the blibliography and appendices). The length of experimental and tool papers is limited to 8 pages in the EasyChair style (excluding the bibliography and appendices).
Both types of papers must be electronically submitted in PDF via
EasyChair:
https://easychair.org/conferences/?conf=lpar23
Authors of accepted papers are required to ensure that at least one of them will be present at the conference.
List of Topics
==============
New results in the fields of computational logic and applications are welcome. Also welcome are more exploratory presentations, which may examine open questions and raise fundamental concerns about existing theories and practices. Topics of interest include, but are not limited to:
Abduction and interpolation methods
Answer set programming
Automated reasoning
Constraint programming
Contextual reasoning
Decision procedures
Description logics
Foundations of security
Hardware verification
Implementations of logic
Inconsistency- and exception tolerant reasoning
Interactive theorem proving
Knowledge representation and reasoning
Logic and computational complexity
Logic and databases
Logic and games
Logic and machine learning
Logic and the web
Logic and types
Logic in artificial intelligence
Logic of distributed systems
Logic of knowledge and belief
Logic programming
Logical aspects of concurrency
Logical foundations of programming
Modal and temporal logics
Model checking
Non-monotonic reasoning
Ontologies and large knowledge bases
Paraconsistent logics
Probabilistic and fuzzy reasoning
Program analysis
Rewriting
Satisfiability checking
Satisfiability modulo theories
Software verification
Specification using logic
Unification theory
Program Committee Chairs
========================
Elvira Albert, Complutense University of Madrid
Laura Kovacs, TU Wien
Publication
===========
The LPAR-23 proceedings will be published by EasyChair Publication, in the EasyChair EPiC Series in Computing.
Contact
=======
For more details about the conference, venue and organization, see the conference webpage
https://easychair.org/smart-program/LPAR23/index.html
** You received this mail via the description logic mailing list; for more **
** information, visit the description logic homepage at http://dl.kr.org/. **
** SUBSCRIBE or UNSUBSCRIBE: **
** https://mailman.zfn.uni-bremen.de/cgi-bin/mailman/listinfo/dl **
30 Years of Finite Model Theory in Finland
Hanaholmen, Espoo, Finland, August 15-17, 2020
https://www.helsinki.fi/en/conferences/30-years-of-finite-model-theory-in-f…
This international workshop celebrates the past 30 years of active research in the area of Finite Model Theory (FMT) in Finland. Research in FMT in Finland began due to the joint efforts of Phokion G. Kolaitis and Jouko Väänänen in the end of 1980's. Concurrently, while celebrating the 30 years of FMT in Finland, the workshop aspires to be a venue for displaying the current state-of-art of FMT research in Finland and elsewhere around the world.
The meeting will consist of two keynote lectures and several contributed talks spread in a three day period. The workshop inspires for an intimate and relaxed atmosphere in the spirit of Dagstuhl seminars. The meeting will take place in a secluded conference hotel Hanaholmen on the coast of the Baltic Sea(https://www.hanaholmen.fi/en/<https://www.hanaholmen.fi/en/>). While secluded, the hotel is also conveniently located just outside Helsinki city center, and can be reached from the main railway station in 20 minutes using the metro.
Keynote speakers:
Phokion G. Kolaitis<https://users.soe.ucsc.edu/~kolaitis/> (University of California, Santa Cruz and IBM Almaden Research Center)
Jouko Väänänen<http://www.math.helsinki.fi/logic/people/jouko.vaananen/> (University of Helsinki)
Registration for the workshop will be opened later in the spring at https://www.helsinki.fi/en/conferences/30-years-of-finite-model-theory-in-f… but we ask you to send a (non-binding) message to fmt-30(a)helsinki.fi<mailto:fmt-30@helsinki.fi> informing the organizers of your plans to participate and also whether you are interested in giving a talk at the workshop.
Note that the workshop is immediately followed by the conference Advances in Modal Logic (AiML) that also takes place in Helsinki 17-21 August:
https://www.helsinki.fi/en/conferences/advances-in-modal-logic-2020
The Vienna Center for Logic and Algorithms of TU Wien (Vienna University of Technology), calls for the nomination of authors of outstanding theses and scientific works in the field of Logic and Computer Science, in the following two categories:
=Outstanding Master Thesis Award
=Outstanding Undergraduate Thesis Award (Bachelor thesis or equivalent, 1st cycle of the Bologna process)
----------------------------------The main areas of interest are: ----------------------------------
*Computational Logic, covering theoretical and mathematical foundations such as proof theory, model theory, computability theory, Boolean satisfiability (SAT), QBF, constraint satisfaction, satisfiability modulo theories, automated deduction (resolution, refutation, theorem proving), non-classical logics (substructural logics, multi-valued logics, deontic logics, modal and temporal logics).
*Algorithms and Computational Complexity, including design and analysis of discrete algorithms, complexity analysis, algorithmic lower bounds, parameterized and exact algorithms, decomposition methods, approximation algorithms, randomized algorithms, algorithm engineering, as well as algorithmic game theory, computational social choice, parallel algorithms, graph drawing algorithms, and distributed algorithms.
*Databases and Artificial Intelligence, concerned with logical methods for modeling, storing, and drawing inferences from data and knowledge. This includes subjects like query languages based on logical concepts (Datalog, variants of SQL, XML, and SPARQL), novel database-theoretical methods (schema mappings, information extraction and integration), logic programming, knowledge representation and reasoning (ontologies, answer-set programming, belief change, inconsistency handling, argumentation, planning).
*Verification, concerned with logical methods and automated tools for reasoning about the behavior and correctness of complex state-based systems such as software and hardware designs as well as hybrid systems. This ranges from model checking, program analysis and abstraction to new interdisciplinary areas such as fault localization, program repair, program synthesis, and the analysis of biological systems.
*Formal Methods for Security ad Privacy, covering design and analysis techniques for security and privacy critical systems, such as cryptographic protocols, software, hardware and so on. The category of formal methods is to be meant in a broad sense, including related questions in logic, model checking, static analysis, dynamic monitoring, theorem proving, and artificial intelligence.
----------------------------------In Memory of Helmut Veith----------------------------------
The award is dedicated to the memory of Helmut Veith, the brilliant computer scientist who tragically passed away in March 2016, and aims to carry on his commitment to promoting young talent and promising researchers in these areas.
----------------------------------Awards----------------------------------
*The Outstanding Master Thesis Award: 1200 EUR *The Outstanding Undergraduate Thesis Award: 800 EUR *The winners will be invited to present their work at an award ceremony in Vienna.
----------------------------------Eligibility----------------------------------
*The degree must have been awarded between November 15th, 2018 and December 31st, 2019 (inclusive).
*Students who obtained their degree at TU Wien are not eligible.
----------------------------------Nomination Requirements----------------------------------
Nominations must include:
*A cover page that contains the name and contact details of the nominated person, the title of the work for which the person is being nominated, award category, the date on which the degree was awarded, and the name of the university *An English summary of the thesis of maximum 3 pages, excluding references (A4 or letter page size, 11pt font min). The summary must clearly state the main contribution of the work, its novelty, and its relevance to some of the aforementioned areas of interest *The CV of the nominated person, including publication list (if applicable *An endorsement letter from a supervisor or another proposing person. The letter must clearly state the independent and novel contribution of the student, and why the proposer believes the student deserves the award. The endorsement letter may be provided after the submission deadline, and emailed directly to award (AT) logic-cs.at.
*The full thesis
All documents should be in English, with the exception of the thesis. In case the thesis is in a different language, it must be accompanied by a research report in English of at least 10 pages that should be sufficient for the committee to evaluate the merit and quality of the submitted work.
----------------------------------Instructions for submitting nominations----------------------------------
*Nominations should be submitted electronically using the following link to EasyChair here *Submissions consist of two pdf files. The first is a single pdf file containing all documents for the nomination except the full thesis; the documents should appear in the order they are listed above. The second pdf file is the full thesis *The endorsement letter may optionally be sent by email by the endorser and omitted from the Easychair submission. In this case, please email the letter as a pdf file, including the name of the nominated person in the subject, to award (AT) logic-cs DOT at *The submission must be accompanied by a plain text electronic abstract of the thesis of at most 400 words, and three keywords.
*The nominated student must be listed as the first and corresponding author in the submission form.
----------------------------------Important dates----------------------------------
*Submission deadline: March 25, 2020 (anywhere on Earth) *Notification of decision: end of June 2020 *Award ceremony: TBA
----------------------------------Contact----------------------------------
Please send all inquiries to award (AT) logic-cs.at
----------------------------------Previous Awardees----------------------------------
https://logic-cs.at/vcla-awards-2020/
The following is a fresh call for workshop proposals for ICALP and LICS 2020, following the change in location. The conferences and workshops will now be held in Saarbrücken, Germany instead of Beijing. The new deadline for workshop proposals is 26 Feb 2020.
--
ICALP 2020 (http://econcs.pku.edu.cn/icalp2020/) and LICS 2020 (https://lics.siglog.org/lics20/) will take place in co-location from 8th till 11th of July 2020 in Saarbrücken, Germany. The conferences will be preceded by two days of joint workshops, held on July 6th and 7th. We invite proposals of workshops affiliated with ICALP-LICS 2020 on all topics covered by ICALP and LICS, as well as other areas of theoretical computer science.
Proposals should be submitted no later than
*** February 26 2020 ***
by sending an email to frederic.blanqui(a)inria.fr. Due to limited space of the venue we might not be able to accommodate all the proposed workshops.
A workshop proposal submission should consist of:
- workshop's name and URL (if already available)
- workshop's organizers together with their email addresses and web pages;
- short description of the area covered by the workshop and the motivation behind it;
- expected number of participants (if available, please include the data of previous years);
- planned format of the event;
- date preference (July 6th or 7th).
As for the format, a standard option is a one-day workshop consisting of invited talks by leading experts and of shorter contributed talks, either directly invited by the organizers or selected among submissions. Deviations from this standard are also warmly welcome, including a shorter or a longer time span than a full day, or other elements of the schedule like open problem sessions, discussion panels, or working sessions.
If you plan to have invited speakers, please specify their expected number and, if possible, tentative names. If you plan a call for papers or for contributed talks followed by a selection procedure, the submission date should be scheduled after ICALP 2020 and LICS 2020 notification, while the notification should take place considerably before the early registration deadline. In your submission please include details, in particular the time schedule, of the planned procedure of selecting papers and/or contributed talks. If you plan to have published proceedings of your workshop, please provide the name of the publisher. Please be advised that ICALP-LICS 2020 is not able to provide any financial support for publishing workshop proceedings.
We expect the workshops to be financially independent. The expenses related to the participation of invited speakers, production of workshop materials, etc. should be covered from independent sources. On top of standard ICALP/LICS registration fee there will be a moderate registration fee for the workshops that will cover coffee breaks. This workshop fee will be waived for maximum two invited speakers for each workshop.
Workshop selection committee:
Frédéric Blanqui
Naoki Kobayashi
Yuqin Kong
Michał Pilipczuk
Zhilin Wu
Lijun Zhang