February 2020 - finite-model-theory

Call for papers - SR 2020, Santiago de Compostela
by Bastien 23 Apr '20

23 Apr '20

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/

1 2

Second Call for Papers AiML 2020
by Rineke Verbrugge 12 Mar '20

12 Mar '20

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>

1 1

VerifyThis @ ETAPS 2020: Call for Participation + Travel Grants
by Siddharth Krishna 27 Feb '20

27 Feb '20

******************************************************************************** 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

1 0

Call for Workshop Proposal - 36th International Conference on Logic Programming (ICLP2020)
by Laura Pandolfo 25 Feb '20

25 Feb '20

*** 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

1 0

Computability in Europe 2020 FIRST CALL FOR INFORMAL PRESENTATIONS
by acie＠acie.eu 21 Feb '20

21 Feb '20

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/cie2020 https://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.

1 0

SIGLOG, VCLA and ILLC Travel Awards for WiL 2020 (Women in Logic Workshop)
by Mihaela Rozman 14 Feb '20

14 Feb '20

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) ---------------------------------------------------------------------------------

1 0

LPAR-23: 23rd International Conference on Logic for Programming: Extended deadlines for abstracts
by Mihaela Rozman 13 Feb '20

13 Feb '20

********************************************************************** 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 **

1 0

Preliminary call for participation: 30 Years of Finite Model Theory in Finland
by Kontinen, Juha A 13 Feb '20

13 Feb '20

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

1 0

CALL FOR (Self)NOMINATIONS: VCLA International Student Awards 2020 FOR Outstanding Master and Bachelor Theses conferred between 15.11.2018 and 31.12.2019 (inclusive)
by Mihaela Rozman 12 Feb '20

12 Feb '20

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/

1 0

ICALP-LICS 2020 Fresh Call for Workshops
by Sam Staton 12 Feb '20

12 Feb '20

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

1 0