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

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

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

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

FSCD 2020 - Third Call for Papers (Abstract: February 6/ Submission: February 9)
by Sandra Alves 20 Jan '20

20 Jan '20

(Apologies for multiple copies of this announcement. Please circulate.) ================================================================== Updated information on: Submission guidelines ================================================================== CALL FOR PAPERS Fifth International Conference on Formal Structures for Computation and Deduction (FSCD 2020) June 29 – July 5, 2020, Paris, France http://fscd2020.org/ <http://fscd2020.org/> IMPORTANT DATES --------------- All deadlines are midnight anywhere-on-earth (AoE); late submissions will not be considered. Abstract: February 6, 2020 Submission: February 9, 2020 Rebuttal: March 27-29, 2020 Notification: April 13, 2020 Final version: April 27, 2020 INVITED SPEAKERS ---------------- - René Thiemann: FSCD-IJCAR joint speaker (http://cl-informatik.uibk.ac.at/users/thiemann/ <http://cl-informatik.uibk.ac.at/users/thiemann/>) - John Harrison: FSCD-IJCAR joint speaker (https://www.cl.cam.ac.uk/~jrh13/ <https://www.cl.cam.ac.uk/~jrh13/>) - Brigitte Pienta (https://www.cs.mcgill.ca/~bpientka/ <https://www.cs.mcgill.ca/~bpientka/>) - Andrew Pitts (https://www.cl.cam.ac.uk/~amp12/ <https://www.cl.cam.ac.uk/~amp12/>) - Simona Ronchi della Rocca (http://www.di.unito.it/~ronchi/ <http://www.di.unito.it/~ronchi/>) FSCD (http://fscdconference.org/ <http://fscdconference.org/> ) covers all aspects of formal structures for computation and deduction from theoretical foundations to applications. Building on two communities, RTA (Rewriting Techniques and Applications) and TLCA (Typed Lambda Calculi and Applications), FSCD embraces their core topics and broadens their scope to closely related areas in logics, models of computation, semantics and verification in new challenging areas. The suggested, but not exclusive, list of topics for submission is: 1. Calculi: Rewriting systems (string, term, higher-order, graph, conditional, modulo, infinitary, etc.); Lambda calculus; Logics (first-order, higher-order, equational, modal, linear, classical, constructive, etc.); Proof theory (natural deduction, sequent calculus, proof nets, etc.); Type theory and logical frameworks; Homotopy type theory; Quantum calculi. 2. Methods in Computation and Deduction: Type systems (poly- morphism, dependent, recursive, intersection, session, etc.); Induction, coinduction; Matching, unification, completion, order- ings; Strategies (normalization, completeness, etc.); Tree automata; Model building and model checking; Proof search and theorem proving; Constraint solving and decision procedures. 3. Semantics: Operational semantics and abstract machines; Game Semantics and applications; Domain theory and categorical models; Quantitative models (timing, probabilities, etc.); Quantum computation and emerging models in computation. 4. Algorithmic Analysis and Transformations of Formal Systems: Type Inference and type checking; Abstract Interpretation; Complexity analysis and implicit computational complexity; Checking termination, confluence, derivational complexity and related properties; Symbolic computation. 5. Tools and Applications: Programming and proof environments; Verification tools; Proof assistants and interactive theorem provers; Applications in industry; Applications of formal sys- tems in other sciences. 6. Semantics and Verification in new challenging areas: Certification; Security; Blockchain protocols; Data Bases; Deep learning and machine learning algorithms; Planning. PUBLICATION -------------------- The proceedings will be published as an electronic volume in the Leibniz International Proceedings in Informatics (LIPIcs) of Schloss Dagstuhl. All LIPIcs proceedings are open access. SPECIAL ISSUE ---------------------- Authors of selected papers will be invited to submit an extended version to a special issue of Logical Methods in Computer Science. SUBMISSION GUIDELINES -------------------------------------- Submissions can be made in two categories. Regular research papers are limited to 15 pages, excluding references. They must present original research which is unpublished and not submitted elsewhere. Proofs and other technical details that do not fit within the page limit can be submitted as an appendix (up to 5 pages). The appendix will be consulted at the discretion of the reviewers. Therefore, submissions must be self-contained within the respective page limit; the additional material should not be necessary to assess the merits of a submission. System descriptions are limited to 15 pages, excluding references. They must present new software tools, or significantly new versions of such tools, in which FSCD topics play an important role. An archive of the code with instructions on how to install and run the tool must be submitted. In addition, a webpage where the system can be experimented with should be provided. Complete instructions on submitting a paper can be found on the conference web site. BEST PAPER AWARD BY JUNIOR RESEARCHERS -------------------------------------- The program committee will select a paper in which at least one author is a junior researcher, i.e. either a student or whose PhD award date is less than three years from the first day of the meeting. Other authors should declare to the PC Chair that at least 50% of contribution is made by the junior researcher(s). PROGRAM COMMITTEE CHAIR ----------------------- Zena M. Ariola, University of Oregon fscd2020(a)easychair.org <mailto:fscd2020@easychair.org> PROGRAM COMMITTEE ----------------- M. Alpuente, Technical Univ. of Valencia S. Alves, University of Porto A. Bauer, University of Ljubljana M. P. Bonacina, Università degli studi di Verona P-L. Curien, CNRS - Univ. of Paris Diderot P. Dybjer, Chalmers Univ. of Technology U. De’Liguoro, University of Torino M. Fernández, King’s College London M. Gaboardi, Boston University D. Ghica, University of Birmingham S. Ghilezan, University of Novi Sad J. Giesl, RWTH Aachen University S. Guerrini, University of Paris 13 R. Harper, Carnegie Mellon University M. Hasegawa, Kyoto University N. Hirokawa, JAIST P. Johann, Appalachian State University O. Kammar, University of Edinburgh D. Kesner, University of Paris Diderot C. Kop, Radboud University O. Laurent, ENS Lyon D. Licata, Wesleyan University A. Middeldorp, University of Innsbruck J. Mitchell, Stanford University K. Nakata, SAP Postdam M. Pagani, University of Paris Diderot E. Pimentel, Fed. Univ. Rio Grande do Norte F. van Raamsdonk, Vrije University Amsterdam G. Rosu, University of Illinois A. Sabry, Indiana University A. Stump, University of Iowa P. Urzyczyn, University of Warsaw T. Uustalu, Reykjavik University S. Zdancewic, University of Pennsylvania CONFERENCE CHAIR ---------------- Stefano Guerrini, University of Paris 13 WORKSHOP CHAIR -------------- Giulio Manzonetto, University of Paris 13 STEERING COMMITTEE WORKSHOP CHAIR -------------------------------- J. Vicary, Oxford University PUBLICITY CHAIR --------------- S. Alves, University of Porto FSCD STEERING COMMITTEE ----------------------- S. Alves (University of Porto), M. Ayala-Rincón (University of Brasilia) C. Fuhs (Birkbeck, London University) H. Geuvers (Radboud University) D. Kesner (Chair, University of Paris Diderot ) H. Kirchner (Inria) C. Kop (Radboud University) D. Mazza (University of Paris 13) D. Miller (Inria) L. Ong (Oxford University) J. Rehof (TU Dortmund) S. Staton (Oxford University)

1 0

Call for Papers: International Conference on Logic for Programming, Artificial Intelligence and Reasoning (LPAR-23): May 22-27, 2020, Alicante, Spain
by Rozman, Mihaela 15 Jan '20

15 Jan '20

LPAR23: LPAR-23: 23RD INTERNATIONAL CONFERENCE ON LOGIC FOR PROGRAMMING, ARTIFICIAL INTELLIGENCE AND REASONING **************************************************************** 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. **************************************************************** Submission and publication **************************************************************** The proceedings will be published by EasyChair Publications, in the EPiC Series in Computing<https://easychair.org/publications/EPiC/Computing>. The volume will be open access and the authors will retain copyright. **************************************************************** Important Dates **************************************************************** * Paper submission deadline: February 15, 2020 * Author notifications: April 8, 2020 * Final paper deadline: April 24, 2020 * Conference: May 22-27, 2020 *************************************************************** Program Committee Chairs **************************************************************** * Elvira Albert,<http://costa.fdi.ucm.es/~elvira/> Complutense University of Madrid * Laura Kovacs<https://forsyte.at/people/kovacs/>, TU Wien **************************************************************** Workshop Chair **************************************************************** * Martin Suda<http://people.ciirc.cvut.cz/~sudamar2/>, Czech Institute of Informatics, Robotics and Cybernetics **************************************************************** Website **************************************************************** https://easychair.org/smart-program/LPAR23/index.html

1 0

Deadline Extended: Many-Valued Logic Special Session @ WCCI2020, July, Glasgow
by Diego Valota 13 Jan '20

13 Jan '20

[Apologies for eventual multiple receptions] Dear Colleagues, we are pleased to announce a special session on "Recent trends in many-valued logic and fuzziness" at the FUZZ-IEEE 2020 Conference, part of WCCI 2020 (https://wcci2020.org/) to be held in Glasgow (Scotland) from 19 to 24 July 2020. The deadline for regular papers was January 15th, now estended to January 30th, 2020. Papers submitted to the special sessions will undergo the same review procedure as that for regular papers. Please submit your papers for this special session to the conference online submission system by indicating the title of the special session ("Recent trends in many-valued logic and fuzziness"). If you plan to submit a paper, please let us know as soon as possible. Please note that even if in the description of the session we insist on certain topics, we think of the session as very generalist on everything related to many-valued logics. Thanks in advance for your interest. Best regards, Pietro Codara, Università degli Studi di Milano Stefano Aguzzoli, Università degli Studi di Milano Diego Valota, Università degli Studi di Milano --------------------------------------------------------------------------- Call for Papers --------------------------------------------------------------------------- Special Session on Recent trends in many-valued logic and fuzziness https://homes.di.unimi.it/~valota/fuzzieee2020.htm 2020 IEEE International Conference on Fuzzy Systems (FUZZ-IEEE 2020) IEEE World Congress on Computational Intelligence 2020 19 - 24th July, 2020, Glasgow, Scotland (UK) --------------------------------------------------------------------------- Many-valued logics have constituted for several decades key conceptual tools for the formal description and management of fuzzy, vague and uncertain information. In the last few years, the study of these logical systems has seen a bloom of new research related to the most diverse areas of mathematics and applied sciences. Relevant recent developments in this field are connected to the natural semantics of non-classical events. A non-classical event is described by a formula in the language of a given many-valued logic. A satisfying semantics for such events must account for their different aspects, in particular the "ontic" aspect, related to their vague nature, and the "epistemic" aspect, related to our ignorance, or approximate knowledge about them. The combination in a unique conceptual framework of the logic and the probability of a class of non-classical events, usually reached through the algebraic semantics and their topological or combinatorial dualities, provides both the theoreticians and the application-oriented scholars with powerful tools to deal with this kind of events. This special session is devoted to the most recent development in the realm of many-valued logics, with particular emphasis on theoretical advances related to algebraic or alternative semantics, combinatorial aspects, topological and categorical methods, proof theory and game theory, many-valued computation. In particular, results directed towards a better understanding of the natural semantics of non-classical events will be appreciated. Further, a special attention is also given to connections and synergies between many-valued logics and other different formal approaches to vague and approximate reasoning, such as Rough Sets, Formal Concept Analysis and Relational Methods. A partial list of topics is the following: Algebraic semantics of many-valued logics Applications of many-valued logics to Formal Concept Analysis and Relational Methods Applications of many-valued logics to Fuzzy Sets and to Rough Sets Combinatorial or topological dualities Computational complexity of many-valued logics Many-valued computational models Modal logic approaches to probability and uncertainty in many-valued logics Natural and alternative semantics for many-valued logics Proof theory for many-valued logics Representation theory Subjective probability approaches to many-valued logics and non-classical events --------------------------------------------------------------------------- Important Dates Paper Submission Deadline: 30 January 2020; Paper Acceptance Notification Date: 15 March 2020; Final Paper Submission: 15 April 2020; Early Registration Deadline: 15 April 2020; IEEE WCCI 2020: 19-24 July 2020. --------------------------------------------------------------------------- Submission Paper submission deadline is on January 30, 2020. All papers must be submitted through the Online Submission System of the conference, see: https://wcci2020.org/submissions/ Please submit your paper selecting the option "Main research topic": S17. Special Session on Recent trends in many-valued logic and fuzziness, as detailed here: https://ieee-cis.org/conferences/fuzzieee2020/upload.php In order for your papers to be included in the congress program and the proceedings, final accepted papers must be submitted and the corresponding registration fees must be paid in due time. --------------------------------------------------------------------------- For more information, please visit: https://wcci2020.org/ --------------------------------------------------------------------------

1 0