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

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

CFP: SLSS 2020
by Hirvonen Åsa H 12 Feb '20

12 Feb '20

[Apologies for cross-postings] * * * Call for papers SLSS 2020: Eleventh Scandinavian Logic Symposium University of Bergen, Norway, June 26-28, 2020 Conference website: https://scandinavianlogic2020.w.uib.no/ Submission link: https://easychair.org/conferences/?conf=slss2020 Submission deadline: April 3, 2020 * * * The eleventh Scandinavian Logic Symposium (SLSS 2020) will be held at the University of Bergen, Norway, during 26-28 June, 2020, under the auspices of the Scandinavian Logic Society. The previous three meetings of the SLS were held in Gothenburg, Sweden (2018), Tampere, Finland (2014) and Roskilde, Denmark (2012). The primary aim of the Symposium is to promote research in the field of logic (broadly conceived) carried out in research communities in Scandinavia. Moreover, it warmly invites participation of logicians from all over the world. The meeting will include invited lectures and a forum for participants to present contributed talks. * * * Suggested topics The scope of SLSS is broad, ranging over the whole areas of Mathematical and Philosophical Logic, as well as Logical Methods in Computer Science, Artificial Intelligence, Linguistics, etc. Major topics include (but are not limited to) Proof Theory Constructivism Model Theory Set Theory Computability Theory Algebra and Logic Categorical Logic Modal and Temporal Logics Dynamic Logics Logic and Computer Science Logic in AI and Multi-Agent Systems Logic and Linguistics Philosophical Logic Philosophy of Logic, Mathematics and Computation * * * Submissions Abstracts of contributed talks, in PDF format, not exceeding two A4 (11pt) pages, should be submitted by April 3, 2020, through EasyChair: https://easychair.org/conferences/?conf=slss2020 Abstracts should be typeset following the format of a LaTeX style file posted on the conference website, or in a similar format if you prefer to not use LaTeX. * * * Important dates Submission deadline: April 3, 2020 Notification: May 15, 2020 Final programme: May 29, 2020 Conference: June 26-28, 2020 * * * Invited speakers To be announced * * * Programme committee Co-chairs: Åsa Hirvonen (Helsinki) and Thomas Ågotnes (Bergen) Members: Thierry Coquand (Gothenburg) Nina Gierasimczuk (DTU) Lauri Hella (Tampere) Lars Kristiansen (Oslo) Antje Rumberg (Stockholm) Asger Törnquist (Copenhagen) Michal Walicki (Bergen) Fan Yang (Helsinki) * * * Organising committee Shuliang Dong Truls Pedersen Marija Slavkovik Mina Young Pedersen Thomas Ågotnes * * * Location SLSS 2020 will take place at the University of Bergen, located in the center of Bergen in Norway. SLSS 2020 is collocated with the Nordic Logic School, 22-26 June, 2020. * * * Registration Details concerning registration will be announced during the spring 2020. * * * Contact All questions regarding the symposium should be emailed to slss(a)uib.no.

1 0

SAT2020: DEADLINES EXTENDED
by Laura Pandolfo 12 Feb '20

12 Feb '20

We would like to inform you that we have decided to extend SAT2020 deadlines for submissions as follows: Abstract submission by February 22, 2020 (was February 15) Paper submission by February 29, 2020 (was February 19) The updated call for paper follows. ******************** Call for Papers ******************** The 23rd International Conference on Theory and Applications of Satisfiability Testing (SAT 2020) 5-9 July 2020, Alghero, Italy http://sat2020.idea-researchlab.org/ <http://sat2020.idea-researchlab.org/> ********************************************************* The International Conference on Theory and Applications of Satisfiability Testing (SAT) is the premier annual meeting for researchers focusing on the theory and applications of the propositional satisfiability problem, broadly construed. In addition to plain propositional satisfiability, it also includes Boolean optimization (such as MaxSAT and Pseudo-Boolean (PB) constraints), Quantified Boolean Formulas (QBF), Satisfiability Modulo Theories (SMT), and Constraint Programming (CP) for problems with clear connections to Boolean-level reasoning. *** Scope *** SAT 2020 welcomes scientific contributions addressing different aspects of the satisfiability problem, interpreted in a broad sense. Topics include, but are not restricted to: * Theoretical advances * Practical search algorithms * Knowledge compilation * Implementation-level details of SAT solving tools * Problem encodings and reformulations * Applications * Case studies based on rigorous experimentation *** Invited Speakers *** * Georg Gottlob, TU Wien, Austria * Aarti Gupta, Princeton University, US *** Out of Scope *** Papers claiming to resolve a major long-standing open theoretical question in Mathematics or Computer Science (such as those for which a Millennium Prize is offered), are outside the scope of the conference because there is insufficient time in the schedule to referee such papers; instead, such papers should be submitted to an appropriate technical journal. *** Paper Categories *** Submissions to SAT 2020 are solicited in three categories, describing original contributions. * Long papers (9 to 15 pages, excluding references) * Short papers (up to 8 pages, excluding references) * Tool papers (up to 6 pages, excluding references) Long and short papers should contain original research, with sufficient detail to assess the merits and relevance of the contribution. For papers reporting experimental results, authors are strongly encouraged to make their data and implementations available with their submission. Submissions on applications and cases studies are especially welcome. Such papers should describe details, weaknesses and strengths of the considered approaches in sufficient depth, but they are not expected to introduce novel solving approaches. Tool papers must obey to specific content criteria. A tool paper should describe the implemented tool and its novel features. Here “tools” are interpreted in a broad sense, including descriptions of implemented solvers, preprocessors, etc. as well as systems that exploit SAT solvers or their extensions for use in interesting problem domains. A demonstration is expected to accompany a tool presentation. Papers describing tools that have already been presented previously are expected to contain significant and clear enhancements to the tool. Long and short papers will be evaluated with the same quality standards, and are expected to contain a similar contribution per page ratio. *** Submissions *** Submissions should not be under review elsewhere nor be submitted elsewhere while under review for SAT 2020, and should not consist of previously published material. Submissions not consistent with the above guidelines may be returned without review. All papers submissions are done exclusively via EasyChair in Springer’s LaTeX llncs2e style. One author of each accepted paper is expected to present it at the conference. Further details can be found at the website of SAT 2020: http://sat2020..idea-researchlab.org/ <http://sat2020.idea-researchlab.org/> *** Proceedings *** The proceedings will be published by Springer in the series Lecture Notes in Computer Science, seewww.springer.com/lncs <https://www.springer.com/lncs>. *** Important Dates *** Workshops July 5, 2020 Conference July 6-9, 2020 Abstract submission February 22, 2020 Paper submission February 29, 2020 Author response period March 29 – April 2, 2020 Author notification April 18, 2020 Camera-ready May 3, 2020 *** Organization *** Program Chairs * Luca Pulina, University of Sassari * Martina Seidl, Johannes Kepler University Linz Workshop Chair * Florian Lonsing, Stanford University Publicity Chair * Laura Pandolfo, University of Sassari Program Committee * Fahiem Bacchus, University of Toronto * Olaf Beyersdorff, Friedrich Schiller University Jena * Armin Biere, Johannes Kepler University Linz * Nikolaj Bjorner, Microsoft * Maria Luisa Bonet, Universitat Politècnica de Catalunya * Sam Buss, University of California San Diego * Florent Capelli, Université de Lille * Pascal Fontaine, Université de Liège, Belgium * Marijn Heule, Carnegie Mellon University * Alexey Ignatiev, Universidade de Lisboa * Mikolas Janota, University of Lisbon * Matti Järvisalo, University of Helsinki * Oliver Kullmann, Swansea University * Jie-Hong Roland Jiang, National Taiwan University * Jan Johannsen, Ludwig Maximilian University of Munich * Benjamin Kiesl, CISPA Helmholtz Center for Information Security * Daniel Le Berre, Université d’Artois * Florian Lonsing, Stanford University * Ines Lynce, Universidade de Lisboa * Vasco Manquinho, Universidade de Lisboa, Portugal * Felip Manyà, IIIA-CSIC * Joao Marques-Silva, University of Toulouse * Ruben Martins, Carnegie Mellon University * Kuldeep S. Meel, National University of Singapore * Alexander Nadel, Intel * Aina Niemetz, Stanford University * Jakob Nordstrom, University of Copenhagen * Markus N. Rabe, Google * Roberto Sebastiani, University of Trento * Natasha Sharygina, Università della Svizzera italiana * Laurent Simon, Bordeaux Institute of Technology * Friedrich Slivovsky, Vienna University of Technology * Stefan Szeider, Vienna University of Technology * Ralf Wimmer, Concept Engineering GmbH & Albert-Ludwigs-Universität Freiburg * Christoph M. Wintersteiger, Microsoft *** Contact *** For any questions, please contact sat2020(a)easychair.org <mailto:sat2020@easychair.org> -- -- *Dona il 5x1000* all'Università degli Studi di Sassaricodice fiscale: 00196350904

1 0

RAMiCS CFSC
by Michael Winter 10 Feb '20

10 Feb '20

CALL FOR SHORT CONTRIBUTIONS / POSTERS 18th International Conference on Relational and Algebraic Methods in Computer Science RAMiCS 2020 08 to 11 April 2020, Palaiseau, France http://ramics18.gforge.inria.fr/ As a novelty this year, and additionally to the standard CfP, RAMICS is also calling for short contributions and posters. We are hence calling for presentations of original, unfinished, already published, or otherwise interesting work within the topics of the RAMICS conferences. The submission can be in the form of a poster, an abstract, a paper submitted to or published at another conference, etc. Short contributions will *not* be published in the conference proceedings. IMPORTANT DATES: Submission: 14 February 2020 Notification: 28 February 2020 Note that these dates coincide with the ones for WATA 2020, which will take place just after RAMICS, from 14 to 17 April, in Marseille. We encourage double submissions of short contributions. https://wata2020.lis-lab.fr/ INVITED TALKS: Christel Baier, Technische Universitaet Dresden, Germany Manfred Droste, Universitaet Leipzig, Germany Daniela Petrisan, Universite Paris Diderot, France GENERAL INFORMATION: Since 1994, the RAMICS conference series has been the main venue for research on relation algebras, Kleene algebras and similar algebraic formalisms, and their applications as conceptual and methodological tools in computer science and beyond. TOPICS: We invite short submissions in the general fields of algebras relevant to computer science and applications of such algebras. Topics include but are not limited to: * Theory - algebras such as semigroups, residuated lattices, semirings, Kleene algebras, relation algebras and quantales - their connections with program logics and other logics - their use in the theories of automata, concurrency, formal languages, games, networks and programming languages - the development of algebraic, algorithmic, category-theoretic, coalgebraic and proof-theoretic methods for these theories - their formalisation with theorem provers * Applications - tools and techniques for program correctness, specification and verification - quantitative and qualitative models and semantics of computing systems and processes - algorithm design, automated reasoning, network protocol analysis, social choice, optimisation and control - industrial applications SUBMISSION INSTRUCTIONS: Please send your short submission to ramics18-info(a)lists.gforge.inria.fr by 14 February 2020. COMMITTEES: Organising Committee -------------------- Conf. & PC Co-Chair: Peter Jipsen, Chapman University, USA Conf. & PC Co-Chair: Uli Fahrenberg, École polytechnique, France Conf. & PC Co-Chair: Michael Winter, Brock University, Canada Programme Committee ------------------- Roland Backhouse University of Nottingham, UK Rudolf Berghammer Kiel University, Germany Manuel Bodirsky TU Dresden, Germany Jules Desharnais Laval University, Canada Amina Doumane Warsaw University,Poland Uli Fahrenberg École polytechnique, France Hitoshi Furusawa Kagoshima University, Japan Mai Gehrke LIAFA, France Walter Guttmann University of Canterbury, New Zealand Robin Hirsch University College London, UK Peter Höfner CSIRO, Australia Marcel Jackson La Trobe University, Australia Jean-Baptiste Jeannin University of Michigan, USA Peter Jipsen Chapman University, USA Stef Joosten Open Universiteit, Netherlands Wolfram Kahl McMaster University, Canada Dexter Kozen Cornell University, USA Tadeusz Litak FAU Erlangen-Nürnberg, Germany Wendy MacCaull St. Francis Xavier University, Canada Roger Maddux Iowa State University, USA Annabelle McIver Macquarie University, Australia Szabolcs Mikulas University of London, UK Ali Mili NJIT, USA Jose Oliveira University of Minho, Portugal Alessandra Palmigiano Technical University of Delft, Netherlands Damien Pous CNRS - ENS Lyon, France Mehrnoosh Sadrzadeh University College London, UK Luigi Santocanale LIS, Aix-Marseille Université, France John Stell University of Leeds, UK Georg Struth University of Sheffield, UK Michael Winter Brock University, Canada

1 1

ICALP 2020 - Conference relocation and deadline extension
by Anuj Dawar 07 Feb '20

07 Feb '20

======= ICALP 2020 - Conference relocation and deadline extension ======== The ICALP and the LICS steering committee have agreed together with the conference chairs in Beijing to relocate the two conferences. ICALP and LICS 2020 will take place in Saarbrücken, Germany, July 8-11 (with satellite workshops on July 6-7). We are very grateful to our colleagues in Beijing, for the organization so far, to the colleagues from Saarbrücken, who generously accepted this challenging task, and to all members of the TCS community who offered their help in this difficult situation. The deadline is extended, see below. __________________________________________________________________________ Call for Papers - ICALP 2020 July 8-11 2020, Saarbrücken, Germany (NEW) Paper submission deadline: Tuesday February 18, 2020, 6am GMT (NEW) 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 on the Saarland Informatics Campus in Saarbrücken, 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 18, 2020, 6am GMT 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 PC Track A chair: Artur Czumaj (University of Warwick) PC Track B chair: Anuj Dawar (University of Cambridge) Contact All questions about submissions should be emailed to the PC Track chairs: Artur Czumaj A.Czumaj(a)warwick.ac.uk Anuj Dawar Anuj.Dawar(a)cl.cam.ac.uk

1 0

27th WoLLIC 2020 (Lima, Peru) - 3rd Call for Papers
by Ruy de Queiroz 07 Feb '20

07 Feb '20

[Please circulate. Apologies for multiple copies.] CALL FOR PAPERS WoLLIC 2020 27th Workshop on Logic, Language, Information and Computation August 4th to 7th, 2020 Lima, Peru ORGANISATION Universidad de Ingenieria y Tecnologia, Lima, Peru Centro de Informática, Universidade Federal de Pernambuco, Brazil CALL FOR PAPERS WoLLIC is an annual international forum on inter-disciplinary research involving formal logic, computing and programming theory, and natural language and reasoning. Each meeting includes invited talks and tutorials as well as contributed papers. The twenty-seventh WoLLIC will be held at Universidad de Ingenieria y Tecnologia, Lima, Peru from August 4th to 7th, 2020. It is scientifically sponsored by the Association for Symbolic Logic (ASL), the Interest Group in Pure and Applied Logics (IGPL), the The Association for Logic, Language and Information (FoLLI), the European Association for Theoretical Computer Science (EATCS), ACM Special Interest Group on Logic and Computation (ACM-SIGLOG) (TBC), the Sociedade Brasileira de Computação (SBC), and the Sociedade Brasileira de Lógica (SBL). PAPER SUBMISSION Contributions are invited on all pertinent subjects, with particular interest in cross-disciplinary topics. Typical but not exclusive areas of interest are: foundations of computing and programming; novel computation models and paradigms; broad notions of proof and belief; proof mining, type theory, effective learnability; formal methods in software and hardware development; logical approach to natural language and reasoning; logics of programs, actions and resources; foundational aspects of information organization, search, flow, sharing, and protection; foundations of mathematics; philosophy of mathematics; philosophical logic; philosophy of language. Proposed contributions should be in English, and consist of a scholarly exposition accessible to the non-specialist, including motivation, background, and comparison with related works. Articles should be written in the LaTeX format of LNCS by Springer (see authors instructions at http://www.springer.com/computer/lncs?SGWID=0-164-6-793341-0). They must not exceed 12 pages, with up to 5 additional pages for references and technical appendices. The paper's main results must not be published or submitted for publication in refereed venues, including journals and other scientific meetings. It is expected that each accepted paper be presented at the meeting by one of its authors. (At least one author is required to pay the registration fee before granting that the paper will be published in the proceedings.) Papers must be submitted electronically at the WoLLIC 2020 EasyChair website. (Please go to http://wollic.org/wollic2020/instructions.html for instructions.) PROCEEDINGS The proceedings of WoLLIC 2020, including both invited and contributed papers, will be published in advance of the meeting as a volume in Springer's LNCS series. In addition, abstracts will be published in the Conference Report section of the Logic Journal of the IGPL, and selected contributions will be published (after a new round of reviewing) as a special post-conference WoLLIC 2020 issue of a scientific journal (to be confirmed). INVITED SPEAKERS Catarina Dutilh Novaes (VU Amsterdam) Santiago Figueira (Universidad de Buenos Aires, Argentina) Andreas Herzig (IRIT, France) Cláudia Nalon (UnB - Brazil) Giselle Reis (CMU - Qatar) STUDENT GRANTS ASL sponsorship of WoLLIC 2020 will permit ASL student members to apply for a limited travel grant (deadline: 90 days before the event starts). Visit https://aslonline.org/meetings/student-travel-awards/ for details. IMPORTANT DATES April 15, 2020: Full paper deadline May 23, 2020: Author notification May 30, 2019: Final version deadline (firm) PROGRAMME COMMITTEE Carlos Areces (Cordoba, Argentina) Arthur Amorim Azevedo (CMU, USA) Paul Brunet (UCL, UK) Nina Gierasimczuk (Technical University of Denmark, Denmark) Helle Hansen (TU Delft, The Netherlands) Justin Hsu (University of Wisconsin–Madison, USA) Fairouz Kamareddine (Heriot-Watt University, UK) Sandra Kiefer (Aachen University, Germany) Clemens Kupke (Strathclyde University, Scotland) Konstantinos Mamouras (Rice University, USA) Maria Vanina Martinez (Universidad de Buenos Aires, Argentina) Larry Moss (Indiana Univ, USA) Claudia Nalon (University of Brasília, Brazil) Valeria de Paiva (Samsung Research, USA) Elaine Pimentel (UFRN, Brazil) Revantha Ramanayake (TU Wien, Austria) Jurriaan Rot (Radboud University, The Netherlands) Yamilet Serrano (UTEC, Peru) Alexandra Silva (Univ College London) (Co-Chair) Christine Tasson (IRIF, France) Sebastiaan Terwijn (Radboud University, The Netherlands) Renata Wassermann (Univ São Paulo) (Co-Chair) STEERING COMMITTEE Samson Abramsky, Anuj Dawar, Juliette Kennedy, Ulrich Kohlenbach, Daniel Leivant, Leonid Libkin, Lawrence Moss, Luke Ong, Valeria de Paiva, Ruy de Queiroz. ADVISORY COMMITTEE Johan van Benthem, Joe Halpern, Wilfrid Hodges, Angus Macintyre, Hiroakira Ono, Jouko Väänänen. ORGANISING COMMITTEE Ernesto Quadro-Vargas (Universidad de Ingenieria y Tecnologia, Lima, Peru) (Local chair) Anjolina G. de Oliveira (Univ Federal de Pernambuco, Brasil) Ruy de Queiroz (Univ Federal de Pernambuco, Brasil) (co-chair) SCIENTIFIC SPONSORSHIP Interest Group in Pure and Applied Logics (IGPL) The Association for Logic, Language and Information (FoLLI) Association for Symbolic Logic (ASL) European Association for Theoretical Computer Science (EATCS) ACM Special Interest Group on Logic and Computation (ACM-SIGLOG) (TBC) Sociedade Brasileira de Computação (SBC) Sociedade Brasileira de Lógica (SBL) SPECIAL SESSION: SCREENING OF MOVIES ABOUT MATHEMATICIANS It is planned to have a special session with the exhibition of a one-hour documentary film about a remarkable mathematician whose contributions were recognized with a Fields Medal just a few years before her untimely death. It is a joint production (still on its course) of The Mathematical Sciences Research Institute (MSRI) and George Csicsery (Zala Films): ‘Secrets of the Surface - The Mathematical Vision of Maryam Mirzakhani’. “The biographical film is about Maryam Mirzakhani, a brilliant woman, and Muslim immigrant to the United States who became a superstar in her field. The story of her life will be complemented with sections about Mirzakhani’s mathematical contributions, as explained by colleagues and illustrated with animated sequences. Throughout, we will look for clues about the sources of Mirzakhani’s insights and creativity." (http://www.zalafilms.com/secrets/) FURTHER INFORMATION Contact one of the Co-Chairs of the Organising Committee. WEB PAGE http://wollic.org/wollic2020/

1 0

CfP: NLA'20 Deadline Extended: final
by Roussanka Loukanova 07 Feb '20

07 Feb '20

Special Session on Natural Language and Argumentation 2020 (NLA'20) https://www.dcai-conference.net/special-sessions/nla20 at DCAI 2020: 17th International Conference on Distributed Computing and Artificial Intelligence L'Aquila, Italy, 17-19 June 2020 Paper Submission Deadline Extended: **** 17th February, 2020 **** 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: 17th February, 2020 (extended from: 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, IMI, Bulgarian Academy of Sciences, Bulgaria Richard Moot, LIRMM-CNRS, Montpellier, France Christian Retoré, Université de Montpellier and LIRMM-CNRS, Montpellier, France

1 0

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