- finite-model-theory - lists.rwth-aachen.de

WiL 2020 - Call for contributions
by Sandra Alves 07 Feb '20

07 Feb '20

------------------------------------------------------------------------------- Are you a woman working in logic? Are you planning to participate at FSCD-IJCAR 2020 in Paris? Please join us at WiL, give a talk, and enjoy a day with Women in Logic ! Please submit an abstract of 1-2 pages by April 22, 2020 via EasyChair. This will help us provide an interesting program, with only a light-weight selection procedure. More information below: ------------------------------------------------------------------------------------------------ Call for Contributions WiL 2020: 4th Women in Logic Workshop Paris, France 30 June 2020 ------------------------------------------------------------------------------ Women in Logic 2020 is part of "Paris Nord Summer of LoVe 2020" (https://lipn.univ-paris13.fr/summer-of-love-2020/ <https://lipn.univ-paris13.fr/summer-of-love-2020/>), a joint event on LOgic and VErification at Université Paris 13, made of Petri Nets 2020, IJCAR 2020, FSCD 2020, and over 20 satellite events. The Women in Logic workshop (WiL) provides an opportunity to increase awareness of the valuable contributions made by women in the area of logic in computer science. Its main purpose is to promote the excellent research done by women, with the ultimate goal of increasing their visibility and representation in the community. Our aim is to: - provide a platform for female researchers to share their work and achievements; - increase the feelings of community and belonging, especially among junior faculty, post-docs and students through positive interactions with peers and more established faculty; - establish new connections and collaborations; - foster a welcoming culture of mutual support and growth within the logic research community. We believe these aspects will benefit women working in logic and computer science, particularly early-career researchers. Previous versions of Women in Logic (Reykjavik, Iceland 2017, Oxford, UK 2018 and Vancouver, Canada 2019) were very successful in showcasing women's work and as catalysts for recognition of the need for change in the community. Topics of interest include but are not limited to: 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. INVITED SPEAKERS TBA IMPORTANT DATES Abstract submission deadline: April 22, 2020 Notification: May 21, 2020 SUBMISSIONS Abstracts should be written in English (1-2 pages), and prepared using the Easychair style (https://easychair.org/publications/for_authors <https://easychair.org/publications/for_authors>). The abstracts should be uploaded to the WiL 2020 Easychair page as a PDF file (https://easychair.org/conferences/?conf=wil2020 <https://easychair.org/conferences/?conf=wil2020>) before the submission deadline of April 22, 2020, anywhere on Earth. 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

ACKERMANN AWARD 2020: CALL FOR NOMINATIONS
by EACSL Mail-Account 07 Feb '20

07 Feb '20

ACKERMANN AWARD 2020 - THE EACSL OUTSTANDING DISSERTATION AWARD FOR LOGIC IN COMPUTER SCIENCE CALL FOR NOMINATIONS Nominations are now invited for the 2020 Ackermann Award. PhD dissertations in topics specified by the CSL and LICS conferences, which were formally accepted as PhD theses at a university or equivalent institution between 1.1.2018 and 31.12.2019 are eligible for nomination for the award. The deadline for submission is 1 April 2020. Submission details follow below. Nominations can be submitted from 1 January 2020 and should be sent to the chair of the Jury, Thomas Schwentick, by e-mail: thomas.schwentick(a)tu-dortmund.de *** The Award The 2020 Ackermann award will be presented to the recipient(s) at CSL 2021, the annual conference of the EACSL. The award consists of * a certificate, * an invitation to present the thesis at the CSL conference, * the publication of the laudatio in the CSL proceedings, and * financial support to attend the conference. The jury is entitled to give the award to more (or less) than one dissertation in a year. *** The Jury The jury consists of: * Christel Baier (TU Dresden); * Michael Benedikt (Oxford University); * Mikolaj Bojanczyk (University of Warsaw); * Jean Goubault-Larrecq (ENS Paris-Saclay); * Prakash Panangaden (McGill University); * Simona Ronchi Della Rocca (University of Torino), the vice-president of EACSL; * Thomas Schwentick (TU Dortmund) , the president of EACSL; * Alexandra Silva, (University College London), ACM SigLog representative. *** How to submit The candidate or his/her supervisor should submit 1. the thesis (ps or pdf file); 2. a detailed description (not longer than 20 pages) of the thesis in ENGLISH (ps or pdf file); 3. a supporting letter by the PhD advisor and two supporting letters by other senior researchers (in English); supporting letters can also be sent directly to Thomas Schwentick (thomas.schwentick(a)tu-dortmund.de); 4. a short CV of the candidate; 5. a copy of the document asserting that the thesis was accepted as a PhD thesis at a recognized University (or equivalent institution) and that the candidate has received his/her PhD within the specified period. The submission should be sent by e-mail as attachments to the chairman of the jury, Thomas Schwentick: thomas.schwentick(a)tu-dortmund.de With the following subject line and text: * Subject: Ackermann Award 20 Submission * Text: Name of candidate, list of attachments Submission can be sent via several e-mail messages. If this is the case, please indicate it in the text.

1 0

CSL 2021 first call for papers
by Jean Goubault-Larrecq 07 Feb '20

07 Feb '20

===================================== First call for papers (CSL'21) ===================================== Computer Science Logic (CSL) is the annual conference of the European Association for Computer Science Logic (EACSL), see https://www.eacsl.org/. It is an interdisciplinary conference, spanning across both basic and application oriented research in mathematical logic and computer science. CSL'21 will be held on January 25-28, 2021, in Ljubljana, Slovenia. Submission guidelines: ---------------------- Submitted papers must be in English and must provide sufficient detail to allow the Programme Committee to assess the merits of the paper. Full proofs may appear in a clearly marked technical appendix which will be read at the reviewers' discretion. Authors are strongly encouraged to include a well written introduction which is directed at all members of the PC. The CSL 2020 conference proceedings will be published in Leibniz International Proceedings in Informatics (LIPIcs), see https://submission.dagstuhl.de/documentation/authors. Authors are invited to submit contributed papers of no more than 15 pages in LIPIcs style (not including references), presenting unpublished work fitting the scope of the conference. Papers may not be submitted concurrently to another conference with refereed proceedings. The PC chairs should be informed of closely related work submitted to a conference or a journal. Papers authored or co-authored by members of the PC are not allowed. At least one of the authors of each accepted paper is expected to attend the conference in person to present their papers. Important dates: ---------------- paper submission: July 1, 2020 (AoE) notification: September 25, 2020 conference: January 25-28, 2021 List of topics: --------------- automated deduction and interactive theorem proving constructive mathematics and type theory equational logic and term rewriting automata and games, game semantics modal and temporal logic model checking decision procedures logical aspects of computational complexity finite model theory computational proof theory logic programming and constraints lambda calculus and combinatory logic domain theory categorical logic and topological semantics database theory specification, extraction and transformation of programs logical aspects of quantum computing logical foundations of programming paradigms verification and program analysis linear logic higher-order logic nonmonotonic reasoning Program Committee: ------------------ * Andreas Abel, University of Gothenburg, Sweden * Zena M. Ariola, University of Oregon, USA * Jeremy Avigad, Carnegie Mellon University, USA * Christel Baier, Technische Universität Dresden, Germany (co-chair) * Jasmin Blanchette, Vrije Universiteit Amsterdam, the Netherlands * Jean Goubault-Larrecq, ENS Paris-Saclay, France (co-chair) * Masahito Hasegawa, Kyoto University, Japan * Jean-Baptiste Jeannin, University of Michigan, USA * Michael Kaminski, Technion Haifa, Israel * Delia Kesner, Université de Paris, France * Laura Kovács, Vienna University of Technology, Austria * Martin Lange, University of Kassel, Germany * Sławomir Lasota, Warsaw University, Poland * Florin Manea, Georg-August Universität Göttingen, Germany * Stefan Milius, Friedrich-Alexander Universität Erlangen-Nürnberg, Germany * Antoine Mottet, Charles University, Czech Republic * Andrzej Murawski, University of Oxford, UK * Elaine Pimentel, Universidade Federal do Rio Grande do Norte, Brasil * Sophie Pinchinat, IRISA Rennes, France * Simona Ronchi Della Rocca, Università di Torino, Italy * Krishna S, IIT Bombay, India * Peter Selinger, Dalhousie University, Canada * Sebastian Siebertz, Universität Bremen, Germany * Alex Simpson, University of Ljubljana, Slovenia (organizer) * Marie Van Den Bogaard, Université Libre de Bruxelles * Yde Venema, Universiteit van Amsterdam, the Netherlands Organization Committee: ----------------------- Alex Simpson (University of Ljubljana, chair) Andrej Bauer (University of Ljubljana) Daniel Ahman (University of Ljubljana) Contact: -------- Please send all questions about submissions to the PC co-chairs: csl2021(a)easychair.org

1 0

Caleidoscope Complexity School: Call for Participation
by Thomas Seiller 06 Feb '20

06 Feb '20

*** Call for participation *** Caleidoscope: Research School in Computational Complexity Paris, 15-19 June 2020 http://caleidoscope20.sciencesconf.org/ <http://caleidoscope20.sciencesconf.org/> Dear all, We are delighted to announce the second edition of the Caleidoscope Research School in Computational Complexity, to take place in Paris, 15-19 June 2020. The school is aimed at graduate students and researchers who already work in some aspects of computational complexity and/or who would like to learn about the various approaches. DESCRIPTION Computational complexity theory was born more than 50 years ago when researchers started asking themselves what could be computed efficiently. Classifying problems/functions with respect to the amount of resources (e.g. time and/or space) needed to solve/compute them turned out to be an extremely difficult question. This has led researchers to develop a remarkable variety of approaches, employing different mathematical methods and theories. The future development of complexity theory will require a subtle understanding of the similarities, differences and limitations of the many current approaches. In fact, even though these study the same phenomenon, they are developed today within disjoint communities, with little or no communication between them (algorithms, logic, programming theory, algebra...). This dispersion is unfortunate since it hinders the development of hybrid methods and more generally the advancement of computational complexity as a whole. The goal (and peculiarity) of the Caleidoscope school is to reunite in a single event as many different takes on computational complexity as can reasonably be fit in one week. It is intended for graduate students as well as established researchers who wish to learn more about neighbouring areas. LECTURES 1. Algorithms and lower bounds. Lecturer: Ryan Williams, MIT. 2. Hardness of Approximation. Lecturer: Luca Trevisan, Bocconi University. 3. Higher-Order Complexity. Lecturer: Bruce Kapron, University of Victoria. 4. Parametrized Complexity. Lecturer: Daniel Marx, Max Planck Institute Saarbrucken. In addition to these broad-ranging themes, there will also be three tutorials on more focussed topics. 5. Quantum Computation and Complexity. Lecturer: Elham Kashefi, CNRS and Sorbonne University. 6. Static Complexity Analysis. Lecturer: Georg Moser, University of Innsbruck. 7. Complexity Theory for Black-Box Optimization Heuristics. Lecturer: Carola Doerr, CNRS and Sorbonne University. REGISTRATION Registration to the school is free but mandatory. This is to help us plan tea/coffee breaks and social activities. https://caleidoscope20.sciencesconf.org/registration/ <https://caleidoscope20.sciencesconf.org/registration/> FINANCIAL SUPPORT There may be opportunities for financial support for participants. We will make relevant information available via the webpage. https://caleidoscope20.sciencesconf.org/ <https://caleidoscope20.sciencesconf.org/> ORGANISERS Damiano Mazza — CNRS & Université Sorbonne Paris Nord Sylvain Perifel — Université Paris 7 Thomas Seiller — CNRS & Université Sorbonne Paris Nord SPONSORS European Mathematical Society (EMS) DIM RFSI - Région Île-de-France (https://dim-rfsi.fr/) CNRS (https://www.cnrs.fr/en) Université Sorbonne Paris Nord (https://www.univ-paris13.fr/en/) Laboratoire d'Informatique de Paris Nord (https://lipn.univ-paris13.fr/) Université Paris 7 (https://www.univ-paris-diderot.fr) Institut de Recherche en Informatique Fondamentale (https://www.irif.fr/en/index)

1 0

Conference on Erwin Engeler’s 90th birthday and Ernst Specker’s centenary
by Johann A. Makowsky 05 Feb '20

05 Feb '20

https://math.ethz.ch/news-and-events/events/conferences-and-workshops/2020/… Celebrating and commemorating Main content Conference on Erwin Engeler’s 90th birthday and Ernst Specker’s centenary 21–22 February 2020 ETH Zürich, HG G 19.1 In February 2020 will be Ernst Specker’s centenary and Erwin Engeler’s 90th birthday. The Annual Meeting 2020 of the Swiss Society for Logic and Philosophy of Science will celebrate these two great and big birthdays. Succeeding Paul Bernays, these two prominent scientists from Zurich had a sustainable impact on mathematical logic and its relation to philosophy and informatics in the second half of the 20th century. The goal of the conference is to recall the work of those two great Swiss logicians and to point to its continuing significance and effectiveness. As this work is at the interface between mathematics, logic, philosophy, informatics and physics, the conference will be of special interest for researchers and students in those different scientific disciplines. This conference is supported by the Swiss Academy of Sciences as well as by the Swiss Mathematical Society. Organizers Gerhard Jäger (Berne University), Reinhard Kahle (Tübingen University), Giovanni Sommaruga (ETH Zürich) Speakers Titles and abstracts (PDF, 78 KB) In honour of Erwin Engeler and Ernst Specker Friday 21.2.2020 09.35–10.20 Stathis Zachos (Athens) 10.20–11.05 Erich Grädel (Aachen) 11.05–11.50 Angus Macintyre (London) Erwin Engeler’s angels Friday 21.2.2020 13.30–14.15 Karl Aberer (Lausanne) 14.15–15.00 Wolfgang Küchlin (Tübingen) 15.30–16.15 Roman Mäder (Zürich) 16.15–17.00 Preda Mihailescu (Göttingen) 17.00–17.45 Beat Brüderlin (Ilmenau) Ernst Specker reloaded Saturday 22.2.2020 09.30–10.15 Janos Makowsky (Haifa) 10.15–11.00 Jürg Fröhlich (Zürich) 11.00–11.45 Stefan Wolf and Arne Hansen (Berne/Lugano) Additional Information Department of Mathematics Logo Swiss academy of sciences logo Swiss Mathematical Society logo Contact ETH Zurich Professur für Philosophie Prof. Dr. Giovanni Sommaruga CLD C 6 Clausiusstrasse 37 8092 Zürich Switzerland +41 44 632 08 92 E-mail -- Prof. J.A. Makowsky Faculty of Computer Science Technion - Israel Institute of Technology Haifa 32000 http://www.cs.technion.ac.il/~janos

1 0

CFP: Workshop on Logics of Dependence and Independence, Utrecht (NL), 10-14 Aug 2020
by Yang, Fan 31 Jan '20

31 Jan '20

Workshop on Logics of Dependence and Independence (LoDE 2020) http://www.math.helsinki.fi/logic/LoDE2020/ Utrecht, The Netherlands, August 10-14, 2020 ——————————————————————————————————— Organized as part of the 32nd European Summer School in Logic, Language and Information (ESSLLI 2020) https://www.esslli.eu ===================================== *** SUBMISSION DEADLINE: March 22, 2020 *** ===================================== WORKSHOP DESCRIPTION ======================= This is a workshop on “Logics of Dependence and Independence” consisting of a 5-day programme of invited and contributed talks. Logics of dependence and independence are novel non-classical logics aiming at characterizing dependence and independence notions in sciences. This field of research has grown rapidly in recent years. The framework of the logics has found applications also in fields like database theory, linguistics, social choice, quantum physics and so on. This workshop will bring together researchers from all these relevant areas and provide a snapshot of the state of the art of logics of dependence and independence. SUBMISSION DETAILS =================== We invite submissions of 5-page extended abstracts of contributed talks. The submission deadline is **March 22, 2020**. Abstracts must be submitted electronically through EasyChair: https://easychair.org/conferences/?conf=lode2020 Selected papers of the workshop proceedings will be published (after a new round of reviewing) as a special issue of a scientific journal (to be confirmed). IMPORTANT DATES ================ + March 22, 2020: Deadline for paper submission + April 15, 2020: Notification of acceptance + May 15, 2020: Camera ready versions due + August 10-14, 2020: Workshop dates INVITED SPEAKERS ================= Alexandru Baltag (Amsterdam) Ivano Ciardelli (Munich) Pietro Galliani (Bolzano) WORKSHOP ORGANIZERS ====================== Jouko Väänänen (Helsinki) Fan Yang (Helsinki) PROGRAM COMMITTEE ==================== Valentin Goranko (Stockholm) Erich Grädel (Aachen) Miika Hannula (Helsinki) Lauri Hella (Tampere) Åsa Hirvonen (Helsinki) Antti Kuusisto (Helsinki) Eric Pacuit (Maryland) Jouko Väänänen (Helsinki) Jonni Virtema (Hokkaido) Heribert Vollmer (Hannover) Fan Yang (Helsinki) CONTACT ======== For any questions regarding the workshop, please contact the organizers at jouko.vaananen(a)helsinki.fi<mailto:jouko.vaananen@helsinki.fi> or fan.yang(a)helsinki.fi<mailto:fan.yang@helsinki.fi>.

1 0

ICALP 2020 - CfP (update)
by Anca Muscholl 30 Jan '20

30 Jan '20

The ICALP Steering Committee is aware of the current medical situation in China, and related travel advisories. It is monitoring the situation and considering possible options, including re-locating the conference, should this prove necessary. An announcement on this will be made no later than the first week of April. Call for Papers - ICALP 2020 July 8-12 2020, Beijing, China Paper submission deadline: February 12, 2020, AoE https://easychair.org/conferences/?conf=icalp2020 ICALP (International Colloquium on Automata, Languages and Programming) is the main European conference in Theoretical Computer Science and annual meeting of the European Association for Theoretical Computer Science (EATCS). ICALP 2020 will be hosted at Peking University, in co-location with LICS 2020 (ACM/IEEE Symposium on Logic in Computer Science). Invited speakers: Track A: Virginia Vassilevska (MIT), Robert Krauthgamer (Weizmann) Track B: Stefan Kiefer (Oxford) Joint ICALP-LICS: Andrew Yao (Tsinghua), Jérôme Leroux (Bordeaux) Submission Guidelines: see https://easychair.org/conferences/?conf=icalp2020 Important Dates submission: February 12, 2020, AoE notifications: April 15, 2020 camera ready: April 28, 2020 Topics: ICALP 2020 will have the two traditional tracks A (Algorithms, Complexity and Games - including Algorithmic Game Theory, Distributed Algorithms and Parallel, Distributed and External Memory Computing) and B (Automata, Logic, Semantics and Theory of Programming). Papers presenting original, unpublished research on all aspects of theoretical computer science are sought. Typical, but not exclusive topics are: Track A -- Algorithmic Aspects of Networks and Networking, Algorithms for Computational Biology, Algorithmic Game Theory, Combinatorial Optimization, Combinatorics in Computer Science, Computational Complexity, Computational Geometry, Computational Learning Theory, Cryptography, Data Structures, Design and Analysis of Algorithms, Foundations of Machine Learning, Foundations of Privacy, Trust and Reputation in Network, Network Models for Distributed Computing, Network Economics and Incentive-Based Computing Related to Networks, Network Mining and Analysis, Parallel, Distributed and External Memory Computing, Quantum Computing, Randomness in Computation, Theory of Security in Networks Track B -- Algebraic and Categorical Models, Automata, Games, and Formal Languages, Emerging and Non-standard Models of Computation, Databases, Semi-Structured Data and Finite Model Theory, Formal and Logical Aspects of Learning, Logic in Computer Science, Theorem Proving and Model Checking, Models of Concurrent, Distributed, and Mobile Systems, Models of Reactive, Hybrid and Stochastic Systems, Principles and Semantics of Programming Languages, Program Analysis and Transformation, Specification, Verification and Synthesis, Type Systems and Theory, Typed Calculi Chairs General chair: Xiaotie Deng (Peking University) PC Track A chair: Artur Czumaj (University of Warwick) PC Track B chair: Anuj Dawar (University of Cambridge) Venue The conference will be held at the Peking University, see http://econcs.pku.edu.cn/icalp2020/ Contact All questions about submissions should be emailed to the PC Track chairs: Artur Czumaj A.Czumaj(a)warwick.ac.uk<mailto:A.Czumaj@warwick.ac.uk> Anuj Dawar Anuj.Dawar(a)cl.cam.ac.uk<mailto:Anuj.Dawar@cl.cam.ac.uk>

1 0

[CfP] ICLP2020 - The 36th International Conference on Logic Programming
by Laura Pandolfo 27 Jan '20

27 Jan '20

****************************Call for Papers***************************** The 36th International Conference on Logic Programming (ICLP 2020) 18-24 September 2020, Rende, Italy https://iclp2020.unical.it/home <https://iclp2020.unical.it/home> ************************************************************************** Since the first conference held in Marseille in 1982, the International Conference on Logic Programming (ICLP 2020) has been the premier international event for presenting research in logic programming. *** Scope *** Contributions are solicited in all areas of logic programming, including but not restricted to: *Foundations: Semantics, Formalisms, Answer-Set Programming, Non-monotonic Reasoning, Knowledge Representation. *Declarative Programming: Inference engines, Analysis, Type and mode inference, Partial evaluation, Abstract interpretation, Transformation, Validation, Verification, Debugging, Profiling, Testing, Logic-based domain-specific languages, constraint handling rules. *Related Paradigms and Synergies: Inductive and Co-inductive Logic Programming, Constraint Logic Programming, Interaction with SAT, SMT and CSP solvers, Logic programming techniques for type inference and theorem proving, Argumentation, Probabilistic Logic Programming, Relations to object-oriented and Functional programming, Description logics, Neural-Symbolic Machine Learning, Hybrid Deep Learning and Symbolic Reasoning. *Implementation: Concurrency and distribution, Objects, Coordination, Mobility, Virtual machines, Compilation, Higher Order, Type systems, Modules, Constraint handling rules, Meta-programming, Foreign interfaces, User interfaces. *Applications: Databases, Big Data, Data Integration and Federation, Software Engineering, Natural Language Processing, Web and Semantic Web, Agents, Artificial Intelligence, Bioinformatics, Education, Computational life sciences, Education, Cybersecurity, and Robotics. ***Tracks and Special Sessions*** Besides the main track, ICLP 2020 will host additional tracks and special sessions, withdedicated chairs, PC, evaluation criteria, and CfP with related submission details. *Applications Track: This track invites submissions of papers on emerging and deployed applications of LP, describing all aspects of the development, deployment, and evaluation of logic programming systems to solve real-world problems, including interesting case studies and benchmarks, and discussing lessons learned. Papers submitted to this track will be evaluated using different criteria, such as: * Significance of the real-world problem being addressed * Importance and novelty of using logic programming technologies to solve this problem * Evaluation and applicability of the system in real-world * Reusable datasets, case studies and benchmarks *Sister Conferences and Journal Presentation Track: This track provides a forum to discuss important results related to logic programming that appeared recently (from January 2017 onwards) in selective journals and conferences but have not been previously presented at ICLP. *Special Session: Women in Logic Programming: This special session will include invited talks and presentations by women in logic programming. *Research Challenges in Logic Programming Track: This track invites submissions of papers describing research challenges that an individual researcher or a research group is currently attacking. The goal of the track is to promote discussions, exchange of ideas, and possibly stimulate new collaborations. Papers submitted to this track do not go through the usual review and will not be published in the proceedings – they will be distributed at the conference as a technical report. In addition to the presentations of accepted papers, the technical program will include invited talks, advanced tutorials, the doctoral consortium, and several workshops. ***Submission Details*** All submissions of the main track must be made via the EasyChair conference system:https://easychair.org/conferences/?conf=iclp20200 <https://easychair.org/conferences/conference_dir.cgi?a=23836887>. Regular papers must be in the condensed TPLP format (template here) and not exceed 14 pages including bibliography.Regular papers may be supplemented with appendices for proofs and details of datasets which do not count towards the page limit and which will not be made available as appendices to the published paper. Three kinds of regular papers will be accepted: *Technical papers for technically sound, innovative ideas that can advance the state of logic programming; *Application papers that impact interesting application domains; *System and tool papers which emphasize novelty, practicality, usability, and availability of the systems and tools described. Application, system, and tool papers need to be clearly marked in their title. All submissions must be written in English and describe original, previously unpublished research, and must not simultaneously be submitted for publication elsewhere. These restrictions do not apply to previously accepted workshop papers with a limited audience and/or without archival proceedings. Papers of the highest quality will be selected to be published in the journal of Theory and Practice of Logic Programming (TPLP), Cambridge University Press (CUP). In order to ensure the quality of the final version, papers may be subject to more than one round of refereeing (within the decision period). The program committee may recommend some regular papers to be published as Technical communications in EPTCS format (http://info.eptcs.org <http://info.eptcs.org/>). Technical communications must not exceed 14 pages, includingthe bibliography.The authors of the technical communications can also elect to convert their submissions into extended abstracts, of 2 or 3 pages, for inclusion in the EPTCS proceedings.This should allow authors to submit a long version elsewhere. All regular papers and technical communicationswill be presented during the conference. So, at least one author per accepted paper is expected to register and attend the conference.Authors of accepted papers will, by default, be automatically included in the list of ALP members, who will receive quarterly updates from the Logic Programming Newsletter at no cost. ***Important Dates*** *Abstract registration (regular papers): May 8, 2020 *Paper submission (regular paper): May 15, 2020 *Notification to authors (regular paper): June 19, 2020 *Paper Submission (short papers): June 30, 2020 *Revision submission (TPLP papers): July 6, 2020 *Final notifications (TPLP papers): July 17, 2020 *Camera-ready copy due: July 27, 2020 ***Autumn School on Logic Programming*** A school on logic programming will be held before the conference. More up to date information is available at the school web page (https://sites.google.com/view/iclp-dc-2020/autumn-school-on-logic-programmi…). ***Doctoral Consortium*** The 16th Doctoral Consortium (DC) on Logic Programming provides students with the opportunity to present and discuss their research directions, and to obtain feedback from both peers and experts in the field. Accepted participants will receive partial financial support to attend the event and the main conference. The best paper from the DC will be given the opportunity to make a presentation in a session of the main ICLP conference. The DC will have its own CFP, including the submission details. For information, please visit the DC Web Page (https://sites.google.com/view/iclp-dc-2020). ***Workshops*** The ICLP 2020 program will include several workshops. They are perhaps the best places for the presentation of preliminary work, underdeveloped novel ideas, and new open problems to an interested audience with opportunities for intensive discussions and project collaborations. ***Tutorials*** The ICLP 2020 program will include several tutorials. They offer the participants, reviews of specific subfields as well as hands-on sessions by leading experts. ***Conference Organization*** General Chairs: *Nicola Leone, University of Calabria, Italy *Sergio Greco, University of Calabria, Italy Program Chairs: *Francesco Ricca, University of Calabria, Italy *Alessandra Russo, Imperial College London -- -- *Dona il 5x1000* all'Università degli Studi di Sassaricodice fiscale: 00196350904

1 0

CfP: NLA'20 Special Session at DCAI'20
by Roussanka Loukanova 23 Jan '20

23 Jan '20

Special Session on Natural Language and Argumentation 2020 (NLA'20) at DCAI'20 https://www.dcai-conference.net/special-sessions/nla20 at: 17th International Conference on Distributed Computing and Artificial Intelligence L'Aquila, Italy, 17-19 June 2020 https://www.dcai-conference.net Scope We are in the reality of natural and computational systems of argumentation provided by reasoning, with natural and artificial languages. Intelligent systems of argumentation target advanced methods for exchanging, saving, reasoning, accessing, and updating information in memory. The special session on Natural Language and Argumentation (NLA) covers theories and applications. Formal models of argumentation like the Dung framework assume that natural language arguments have properly been mapped to logical formulas or partial proofs. Argument mining, when mainly working with existing machine learning methods, encounters difficulties to properly analyse arguments and relations between arguments, over general data, and especially when natural language expressions involve logical constructions. On the other side, traditional methods map sentences to logical formulas, which can be available after having been handled by a theorem prover. E.g., categorial analyses yield discourse representation structures, by using a parser (like Boxer, or Grail), and theorem provers (e.g., Coq) handle corresponding logical representations. The first two approaches (the Dung framework, and typical argument mining) suffer from the lack of development of the relations between natural language texts and dialogues, and do not handle the logical structure of meanings, while the third one (the predominant, traditional logical approach) is limited by the lack of sophisticated semantic lexicon for encompassing the logical structure carried by some words, and interconnections with other methods. Topics We welcome submissions on the following topics, without limiting to them, across approaches, methods, theories, implementations, and applications, in support of argumentation: - Formal models of argumentations (e.g., Dung's framework) - Logic of preferences - Argument mining - Theorem provers and assistants - Model checkers - Theory of computation - Theory of information - Natural language inference - Beliefs, attitudes, persuasions - theories and applications - Formal languages in support of reasoning and argumentation - Algorithms related to natural language and argumentation - theories, implementations, applications - Mapping NL expressions into logical representations - Syntactic and semantic analyses of natural language - Computational methods to natural language - approaches, theories - Computational syntax, semantics, and/or interfaces between them - NLP argument mining - Ambiguity and underspecification in syntax and semantics - Discourse and context dependency - Reasoning with ambiguity and underspecification - Interactive computation, reasoning, argumentation - Computation with heterogeneous information - Reasoning with heterogeneous and/or inconsistent information - Dialog, interactions - Interdisciplinary approaches to language, computation, reasoning, memory, relevant for argumentation - Argumentation in AI applications: e.g., to business, economy, justice, health, medical sciences - ... Important Dates Paper submission deadline: 31 January, 2020 Notification of acceptance: 09 March, 2020 Camera-Ready papers due: 30 March, 2020 Conference: 17-19 June, 2020 Paper Submission https://www.dcai-conference.net/special-sessions All papers must be formatted according to the AISC, Springer, template, with a maximum length of 8 pages, including figures and references. All proposed papers must be submitted in electronic form (PDF format) using the DCAI 2020 conference management system: https://www.dcai-conference.net/submission Publication For inclusion of an accepted paper in the conference proceedings, at least one of the authors will be required to register and attend the symposium to present the paper. All accepted and presented papers will be published by the Advances in Intelligent Systems and Computing, AISC, Springer Verlag. Organizing Committee Stergios Chatzikyriakidis, University of Gothenburg, Sweden Emiliano Lorini, CNRS, IRIT, France Roussanka Loukanova, Stockholm University, Sweden; and, Institute of Mathematics and Informatics, Bulgarian Academy of Sciences, Bulgaria Richard Moot, LIRMM-CNRS, Montpellier, France Christian Retoré, Université de Montpellier and LIRMM-CNRS, Montpellier, France Contact Roussanka Loukanova (rloukanova the special symbol gmaildotcom)

1 0

ICALP - call for papers
by Anuj Dawar 23 Jan '20

23 Jan '20

Call for Papers - ICALP 2020 July 8-12 2020, Beijing, China Paper submission deadline: February 12, 2020, AoE https://easychair.org/conferences/?conf=icalp2020 ICALP (International Colloquium on Automata, Languages and Programming) is the main European conference in Theoretical Computer Science and annual meeting of the European Association for Theoretical Computer Science (EATCS). ICALP 2020 will be hosted at Peking University, in co-location with LICS 2020 (ACM/IEEE Symposium on Logic in Computer Science). Invited speakers: Track A: Virginia Vassilevska (MIT), Robert Krauthgamer (Weizmann) Track B: Stefan Kiefer (Oxford) Joint ICALP-LICS: Andrew Yao (Tsinghua), Jérôme Leroux (Bordeaux) Submission Guidelines: see https://easychair.org/conferences/?conf=icalp2020 Important Dates submission: February 12, 2020, AoE notifications: April 15, 2020 camera ready: April 28, 2020 Topics: ICALP 2020 will have the two traditional tracks A (Algorithms, Complexity and Games - including Algorithmic Game Theory, Distributed Algorithms and Parallel, Distributed and External Memory Computing) and B (Automata, Logic, Semantics and Theory of Programming). Papers presenting original, unpublished research on all aspects of theoretical computer science are sought. Typical, but not exclusive topics are: Track A -- Algorithmic Aspects of Networks and Networking, Algorithms for Computational Biology, Algorithmic Game Theory, Combinatorial Optimization, Combinatorics in Computer Science, Computational Complexity, Computational Geometry, Computational Learning Theory, Cryptography, Data Structures, Design and Analysis of Algorithms, Foundations of Machine Learning, Foundations of Privacy, Trust and Reputation in Network, Network Models for Distributed Computing, Network Economics and Incentive-Based Computing Related to Networks, Network Mining and Analysis, Parallel, Distributed and External Memory Computing, Quantum Computing, Randomness in Computation, Theory of Security in Networks Track B -- Algebraic and Categorical Models, Automata, Games, and Formal Languages, Emerging and Non-standard Models of Computation, Databases, Semi-Structured Data and Finite Model Theory, Formal and Logical Aspects of Learning, Logic in Computer Science, Theorem Proving and Model Checking, Models of Concurrent, Distributed, and Mobile Systems, Models of Reactive, Hybrid and Stochastic Systems, Principles and Semantics of Programming Languages, Program Analysis and Transformation, Specification, Verification and Synthesis, Type Systems and Theory, Typed Calculi Chairs General chair: Xiaotie Deng (Peking University) PC Track A chair: Artur Czumaj (University of Warwick) PC Track B chair: Anuj Dawar (University of Cambridge) Venue The conference will be held at the Peking University, see http://econcs.pku.edu.cn/icalp2020/ Contact All questions about submissions should be emailed to the PC Track chairs: Artur Czumaj A.Czumaj(a)warwick.ac.uk<mailto:A.Czumaj@warwick.ac.uk> Anuj Dawar Anuj.Dawar(a)cl.cam.ac.uk<mailto:Anuj.Dawar@cl.cam.ac.uk>

1 0