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

Conference on Erwin Engeler’s 90th birthday and Ernst Specker’s centenary

von Johann A. Makowsky

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

4 Jahre, 5 Monate

1
0
0 0

CFP: Workshop on Logics of Dependence and Independence, Utrecht (NL), 10-14 Aug 2020

von Yang, Fan

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

4 Jahre, 5 Monate

1
0
0 0

ICALP 2020 - CfP (update)

von Anca Muscholl

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>

4 Jahre, 5 Monate

1
0
0 0

[CfP] ICLP2020 - The 36th International Conference on Logic Programming

von Laura Pandolfo

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

4 Jahre, 5 Monate

1
0
0 0

CfP: NLA'20 Special Session at DCAI'20

von Roussanka Loukanova

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)

4 Jahre, 6 Monate

1
0
0 0

ICALP - call for papers

von Anuj Dawar

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>

4 Jahre, 6 Monate

1
0
0 0

FSCD 2020 - Third Call for Papers (Abstract: February 6/ Submission: February 9)

von Sandra Alves

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

4 Jahre, 6 Monate

1
0
0 0

Call for Papers: International Conference on Logic for Programming, Artificial Intelligence and Reasoning (LPAR-23): May 22-27, 2020, Alicante, Spain

von Rozman, Mihaela

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

4 Jahre, 6 Monate

1
0
0 0

Deadline Extended: Many-Valued Logic Special Session @ WCCI2020, July, Glasgow

von Diego Valota

[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/ --------------------------------------------------------------------------

4 Jahre, 6 Monate

1
0
0 0

TTCS 2020 - deadline extended to the 16th of February

von Renato Neves

The Third IFIP International Conference on Topics in Theoretical Computer Science (TTCS 2020) http://cs.ipm.ac.ir/ttcs/2020 Institute for Research in Fundamental Sciences (IPM) Tehran, Iran, July 1-3, 2020 *** Deadline Extension: February 16, 2020 *** *** NEW - Invited Speakers *** Mohammad Taghi Hajiaghayi, University of Maryland, USA (Track A) Filippo Bonchi, University of Pisa, Italy (Track B) ================================================== ------------------------------ Scope ------------------------------ TTCS is a bi-annual conference series, intending to serve as a forum for novel and high-quality research in all areas of Theoretical Computer Science. The conference is held in cooperation with the European Association for Theoretical Computer Science (EATCS). The proceedings will be published in the Springer LNCS series. TTCS is organized in 2 tracks. Topics of interest include but are not limited to: Track A: Algorithms and Complexity - algorithms and data structures, - algorithmic coding theory, - algorithmic graph theory and combinatorics, - approximation algorithms, - computational complexity, - computational geometry, - computational learning theory, - economics and algorithmic game theory, - fixed-parameter algorithms, - machine learning, - optimization, - parallel and distributed algorithms, - quantum computing, - randomness in computing, - theoretical cryptography. Track B: Logic, Semantics, and Programming Theory - algebra and coalgebra in computer science, - concurrency theory, - coordination languages, - formal verification and model-based testing, - logic in computer science, - methods, models of computation and reasoning for embedded, hybrid, and cyber-physical systems, - stochastic and probabilistic specification and reasoning, - theoretical aspects of other CS-related research areas, e.g. computational science, databases, information retrieval, and networking, - theory of programming languages, - type theory. ------------------------------ Important Dates ------------------------------ - Full Paper Submission: February 16, 2020 - Author notification: April 12, 2020 - Camera-ready paper: May 1, 2020 - Conference: July 1-3, 2020 ------------------------------ Submissions ------------------------------ Research papers are solicited in all areas of theoretical computer science. All papers will undergo a rigorous review process and will be judged based on their originality, soundness, significance of the results, and relevance to the theme of the conference. Papers should be written in English. Research papers should not exceed 15 pages in the LNCS style format. All technical details necessary for a proper evaluation of a submission must be included in the submission or in a clearly-labeled appendix, to be consulted at the discretion of program committee members. Multiple and/or concurrent submission to other scientific venues is not allowed and will result in rejection as well as notification to the other venue. Any case of plagiarism (including self-plagiarism from earlier publications) will result in rejection as well as notification to the authors' institutions. TTCS 2020 proceedings will be published by Springer, in the Lecture Notes in Computer Science series, in accordance to the contract between Springer Nature Switzerland AG and the International Federation for Information Processing (IFIP). Papers should be submitted to the appropriate track through EasyChair at https://easychair.org/conferences/?conf=ttcs2020 ------------------------------ Programme Committee ------------------------------ Track A: Algorithms and Complexity Mohammad Ali Abam, Sharif University of Technology, Iran (PC co-chair) Sepehr Assadi, Rutgers University, USA Mohammad Hossein Bateni, GoogleRresearch, USA Salman Beigy, IPM, Iran Hossein Esfandiari, Harvard University, USA Omid Etesami, IPM, Iran Marc van Kreveld, Utrecht University, Netherlands Mohammad Mahdian, Google Research, USA Mohammad Mahmoody, University of Virginia, USA Vahab Mirrokni, Google Research, USA Gunter Rote, FU Berlin, Germany Mohammadreza Salavatipour, University of Alberta, Canada Masoud Seddighin, IPM, Iran Saeed Seddighin, Harvard University, USA Michiel Smid, Carleton Univesity, Canada Hamid Zarrabi-Zadeh, Sharif University of Technology, Iran Track B: Logic, Semantics, and Programming Theory Farhad Arbab, CWI, The Netherlands Kyungmin Bae, Pohang University of Science and Technology, South Korea Christel Baier, Technische Universitat Dresden, Germany Luis S. Barbosa, University of Minho, Portugal (PC co-chair) Mario Benevides, Universidade Federal do Rio de Janeiro, Brazil Simon Bliduze, INRIA Lille, France Filippo Bonchi, University of Pisa, Italy Marcello Bonsangue, University of Leiden, The Netherlands Flavio Corradini University of Camerino, Italy Fredrik Dahlqvist, UCL, UK Sergey Goncharov, FAU Erlangen-Nurnberg, Germany Hossein Hojjat, Rochester Institute of Technology, USA Mohammad Izadi, Sharif University of Technology, Iran Sung-Shik Jongmans, Open University, The Netherlands Alexander Knapp, University of Augsburg, Germany Jan Kretinsky, Munich University of Technology, Germany Alexandre Madeira, University of Aveiro, Portugal Stefan Mitsch, Carnegie Mellon University, USA Mohammad Reza Mousavi, University of Leicester, UK Renato Neves, INESC TEC, Portugal Peter Olveczky, University of Oslo, Norway Prakash Panangaden, McGill University, Canada Elaine Pimentel, UFRN, Brazil Subodh Sharma, IIT Delhi, India Pawel Sobocinski, Taltech, Estonia Ana Sokolova, University of Salzburg, Austria Carolyn Talcott, Stanford University, USA Benoit Valiron, LRI, France Naijun Zhan, Chinese Academy of Science, China Link to the online cfp: https://easychair.org/cfp/TTCS2020

4 Jahre, 6 Monate

1
0
0 0

2024

2023

2022

2021

2020

2019

2018

finite-model-theory