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

Call for Papers: ICLA 2019: Eighth Indian Conference on Logic and its Applications 2019, IIT Delhi, India (March 3-5, 2019)
by abhisekh＠gmail.com 03 Nov '18

03 Nov '18

++++++++++++++++++++++++++++++++++++++++++++++++++++++ CALL FOR PAPERS ICLA 2019: Eighth Indian Conference on Logic and its Applications 2019 Indian Institute of Technology Delhi New Delhi, India, March 3-5, 2019 ++++++++++++++++++++++++++++++++++++++++++++++++++++++ Conference website: http://icla2019.cse.iitd.ac.in Submission link : https://easychair.org/conferences/?conf=icla2019 Poster : http://icla2019.cse.iitd.ac.in/icla2019cfp.pdf ++++++++++++++++++++++++++++++++++++++++++++++++++++++ Important Dates: Deadline for Submissions: 15 November 2018 Notification to authors: 21 December 2018 Pre-conference Workshops: 1-2 March 2019 Conference: 3-5 March 2019 ++++++++++++++++++++++++++++++++++++++++++++++++++++++ The Association for Logic in India (ALI) announces the eighth edition of its biennial International Conference on Logic and its Applications (ICLA), to be held at the Indian Institute of Technology Delhi from March 3 to 5, 2019. ICLA is a forum for bringing together researchers from a wide variety of fields in which formal logic plays a significant role, along with mathematicians, computer scientists, philosophers and logicians studying foundations of formal logic in itself. A special feature of this conference is the inclusion of studies in systems of logic in the Indian tradition and historical research on logic. As in the earlier events in this series, we shall have eminent scholars as invited speakers. Details of the last ICLA 2017 may be found at https://icla.cse.iitk.ac.in. See http://ali.cmi.ac.in for information on past events as well as updates on this conference. Scope: Authors are invited to submit papers presenting original and unpublished research in any area of logic and applications. Articles on mathematical and philosophical logic, logic in computer science, foundations and philosophy of mathematics and the sciences, use of formal logic in areas of theoretical computer science and artificial intelligence, logic and linguistics, history of logic, Indian systems of logic, or on the relationship between logic and other branches of knowledge, are welcome. ++++++++++++++++++++++++++++++++++++++++++++++++++++++ Committees: Program Committee Abhisekh Sankaran, University of Cambridge Amaldev Manuel, IIT Goa (Co-chair) Amit Kuber, IIT Kanpur Anuj Dawar, University of Cambridge Arnaud Sangnier, Univercite Paris Diderot S. Arun-Kumar, IIT Delhi Astrid Kiehn, IIT Mandi Benedikt Löwe, University of Amsterdam Benedikt Bollig, LSV, ENS Cachan, CNRS Benjamin Monmege, Aix-Marseille Université, LIF, CNRS Davide Grossi, University of Groningen Denis Kuperberg, ENS Lyon Gabriele Puppis, LaBRI, Bordeaux Hans van Ditmarsch, LORIA - CNRS / University of Lorraine Ivo Düntsch, Brock University Katsuhiko Sano, Hokkaido University M. Praveen, Chennai Mathematical Institute Md. Aquil Khan, IIT Indore (Co-chair) Mihir Kumar Chakraborty, Jadavpur University Minghui Ma, Sun Yat-Sen University Ramchandra Phawade, IIT Dharwad Richard Zach, University of Calgary S. Akshay, IIT Bombay Sankha Basu, IIIT Delhi Smita Sirker, Jawaharlal Nehru University Soma Dutta, University of Warmia and Mazury Sreejith A. V., IIT Goa Stefan Göller, University of Kassel Sujata Ghosh, ISI Chennai Sunil Easaw Simon, IIT Kanpur Torben Braüner, Roskilde University Organizing committee S. Arun-Kumar, IIT Delhi Sanjiva Prasad, IIT Delhi Subodh V Sharma, IIT Delhi ++++++++++++++++++++++++++++++++++++++++++++++++++++++ Confirmed Invited Speakers: Ian Pratt-Hartmann, University of Manchester Carolin Antos, University of Konstanz Martin Lange, University of Kassel Mike Prest, University of Manchester Johann A. Makowsky, Technion - Israel Institute of Technology Names of other speakers will be added soon. ++++++++++++++++++++++++++++++++++++++++++++++++++++++ Publication: Submitted papers will be peer-reviewed and accepted papers will be published in the conference proceedings. The ICLA 2019 conference proceedings will be published in the Springer Lecture Notes in Computer Science (LNCS) series. Submission Guidelines: Authors may submit drafts of full papers or extended abstracts. The submission must not exceed 12 pages in Springer-Verlag Lecture Notes LaTeX style. If appropriate, proof details omitted in the paper may be added in an appendix meant for the reviewers. Link: https://easychair.org/conferences/?conf=icla2019 Concurrent submissions to other conferences/journals are not admissible. For an accepted paper to be included in the proceedings, one of the authors must commit to presenting the paper at the conference. ++++++++++++++++++++++++++++++++++++++++++++++++++++++ Contact: Please contact the PC chairs (aquilk(a)iiti.ac.in, amal(a)iitgoa.ac.in) for any further queries. ++++++++++++++++++++++++++++++++++++++++++++++++++++++

1 0

ICALP 2019 CFP
by Anca Muscholl 28 Oct '18

28 Oct '18

================================== ICALP 2019 - First Call for Papers ================================== https://icalp2019.upatras.gr/ The 46th International Colloquium on Automata, Languages, and Programming (ICALP) will take place in Patras, Greece, on 8-12 July 2019. ICALP is the main conference and annual meeting of the European Association for Theoretical Computer Science (EATCS). As usual, ICALP will be preceded by a series of workshops, which will take place on 8 July 2019. =============== Important dates ======================= Submission deadline: Monday 18 February 2019, 23:59 AoE Notification: Friday 19 April 2019 Early registration deadline: Thursday 30 May 2019 Deadlines are firm; late submissions will not be considered. =========================== Submissions and Proceedings =========================== ICALP proceedings are published in the Leibniz International Proceedings in Informatics (LIPIcs) series. This is a series of high-quality conference proceedings across all fields in informatics established in cooperation with Schloss Dagstuhl - Leibniz Center for Informatics. LIPIcs volumes are published according to the principle of Open Access, i.e., they are available online and free of charge. Submission Guidelines --------------------- Authors are invited to submit an extended abstract of no more than 12 pages, excluding references presenting original research on the theory of computer science. All submissions must be formatted in the LIPIcs style https://www.dagstuhl.de/en/publications/lipics/instructions-for-authors/) and submitted via Easychair to the appropriate track of the conference. The use of pdflatex and the LIPIcs style are mandatory: papers that deviate significantly from the required format may be rejected without consideration of merit. No prior publication and no simultaneous submission to other publication outlets (either a conference or a journal) is allowed. Technical details necessary for a proper scientific evaluation of a submission must be included in the 12-page submission or in a clearly labelled appendix, to be consulted at the discretion of program committee members. Authors are strongly encouraged to also make full versions of their submissions freely accessible in an on-line repository such as ArXiv, HAL, ECCC. Best Paper Awards ----------------- As in previous editions of ICALP, there will be best paper and best student paper awards for each track of the conference. In order to be eligible for a best student paper award, a paper should be authored only by students and should be marked as such upon submission. Topics ====== Papers presenting original research on all aspects of theoretical computer science are sought. Typical but not exclusive topics of interest are: Track A: Algorithms, Complexity and Games ----------------------------------------- * Approximation Algorithms * Combinatorial Optimization * Combinatorics in Computer Science * Computational Biology * Computational Complexity * Computational Geometry * Cryptography * Data Structures * Design and Analysis of Algorithms * Foundations of Algorithmic Game Theory * Machine Learning * Parallel, Distributed and External Memory Computing * Quantum Computing * Randomness in Computation Track B: Automata, Logic, Semantics, and Theory of Programming ------------------------------------------------------------- * Algebraic and Categorical Models * Automata, Games, and Formal Languages * Emerging and Non-standard Models of Computation * Databases, Semi-Structured Data and Finite Model Theory * 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, Refinement, Verification and Synthesis * Type Systems and Theory, Typed Calculi Track C: Foundations of Networks and Multi-Agent Systems: Models, Algorithms and Information Management --------------------------------------------------------- * Algorithmic Aspects of Networks and Networking * Algorithmic Game Theory * Formal Methods for Network Information Management * Foundations of Privacy, Trust and Reputation in Networks * Foundations of Complex Networks * Message-Passing Models of Distributed Computing * Mobile and Wireless Networks and Communication * Network Economics and Incentive-Based Computing Related to Networks * Networks of Low Capability Devices * Network Mining and Analysis * Overlay Networks and P2P Systems * Specification, Semantics, Synchronization of Networked Systems * Theory of Security in Networks Focus of track C: The aim for Track C is to be the leading venue for theory papers motivated by networking applications, and/or proposing theoretical results relevant to networking, certified analytically. ===================================== ICALP 2019 Programme Committee Chairs ===================================== Track A: Track A: Algorithms, Complexity and Games --------------------------------------------------- * Stefano Leonardi (Sapienza University of Rome, Italy) Track B: Automata, Logic, Semantics, and Theory of Programming --------------------------------------------------------------- * Christel Baier (TU Dresden, Germany) Track C: Foundations of Networks and Multi-Agent Systems: Models, Algorithms and Information Management --------------------------------------------------------- * Paola Flocchini (University of Ottawa, Canada) ============================ ICALP 2019 Proceedings Chairs ============================ Emanuela Merelli (University of Camerino, Italy) Ioannis Chatzigiannakis (Sapienza University of Rome, Italy) =============================== ICALP 2019 Organizing Committee =============================== Efstratios Gallopoulos John Garofalakis Christos Kaklamanis Sotiris Nikoletseas (Conference Co-Chair) Christos Zaroliagis (Conference Co-Chair)

1 0

ETAPS 2019 2nd joint call for papers
by Tarmo Uustalu 27 Oct '18

27 Oct '18

****************************************************************** JOINT CALL FOR PAPERS 22nd European Joint Conferences on Theory And Practice of Software ETAPS 2019 Prague, Czech Republic, 6-11 April 2019 http://www.etaps.org/2019 ****************************************************************** -- ABOUT ETAPS -- ETAPS is the primary European forum for academic and industrial researchers working on topics relating to software science. ETAPS, established in 1998, is a confederation of five main annual conferences, accompanied by satellite workshops. ETAPS 2019 is the twenty-second event in the series. -- MAIN CONFERENCES (8-11 April) -- * ESOP: European Symposium on Programming (PC chair Luís Caires, Universidade Nova de Lisboa, Portugal) * FASE: Fundamental Approaches to Software Engineering (PC chairs Reiner Hähnle, Technische Univ Darmstadt, Germany, and Wil van der Aalst, RWTH Aachen University, Germany) * FoSSaCS: Foundations of Software Science and Computation Structures (PC chairs Mikolaj Bojanczyk, University of Warsaw, Poland, and Alex Simpson, University of Ljubljana, Slovenia) * POST: Principles of Security and Trust (PC chairs Flemming Nielson, Danmarks Tekniske Univ, Denmark, and David Sands, Chalmers Tekniska Högskola, Sweden) * TACAS: Tools and Algorithms for the Construction and Analysis of Systems (PC chairs Tomás Vojnar, Brno Univ of Technology, Czech Rep, and Lijun Zhang, Chinese Academy of Sciences, China) TACAS '19 hosts the 8th Competition on Software Verification (SV-COMP). -- INVITED SPEAKERS -- * Unifying speakers: Marscha Chechik (University of Toronto, Canada) Kathleen Fisher (Tufts University, USA) * FoSSaCS invited speaker: Thomas Colcombet (IRIF, France) * TACAS invited speaker: Cormac Flanagan (University of California at Santa Cruz, USA) -- IMPORTANT DATES * Abstracts due: 9 November 2018 23:59 AoE * Papers due: 16 November 2018 23:59 AoE * Rebuttal (ESOP, FoSSaCS, POST): 11 January 00:01 AoE - 14 January 2019 23:59 AoE * Notification: 25 January 2019 * Camera-ready versions due: 15 February 2019 -- SUBMISSION INSTRUCTIONS -- ETAPS conferences solicit contributions of two types: research papers and tool demonstration papers. ESOP and FoSSaCS accept only research papers. FASE, POST and TACAS have multiple types of research papers, see below. All accepted papers will appear in the proceedings and have presentations during the conference. A condition of submission is that, if the submission is accepted, one of the authors attends the conference to give the presentation. Submitted papers must be in English presenting original research. They must be unpublished and not submitted for publication elsewhere (this does not apply to abstracts). In particular, simultaneous submission of the same contribution to multiple ETAPS conferences is forbidden. Submissions must follow the formatting guidelines of Springer's Lecture Notes in Computer Science and be submitted electronically in pdf through the EasyChair author interface of the respective conference. Submissions not adhering to the specified format and length may be rejected immediately. FASE and POST use double-blind review. Like ETAPS 2018, the proceedings of ETAPS 2019 will be published in *gold open access*. The copyright of the papers will remain with the authors. The proceedings will be published in the Advanced Research in Computing and Software Science (ARCoSS) subline of Springer's Lecture Notes in Computer Science series. The publisher's charges for gold open access will be paid by the conference (funded with the participation fees of all participants). There will be no added cost for authors specifically. - Research papers FASE, FoSSaCS and TACAS have a page limit of 15 pp (excluding bibliography) for research papers, whereas POST allows at most 20 pp (excluding bibliography) and ESOP 25 pp (excluding bibliography). Additional material intended for the referees but not for publication in the final version - for example, details of proofs - may be placed in a clearly marked appendix that is not included in the page limit. ETAPS referees are at liberty to ignore appendices and papers must be understandable without them. In addition to regular research papers, TACAS solicits also *case study papers* (with the same page limit as for regular research papers). POST solicits also *systematization of knowledge papers* (with the same page limit as for regular research papers) and *position papers* (max 10 pp, excluding bibliography). Both TACAS and FASE solicit also *regular tool papers* (at most 15 pp, excluding bibliography). - Tool demonstration papers Tool demo papers have a page limit of 6 pp. The individual conferences FASE, POST, TACAS have additional specific requirements on tool demo papers. ESOP and FoSSaCS do not consider tool demonstration papers. -- SATELLITE EVENTS (6-7 April) -- A number of satellite workshops will take place before the main conferences: BEHAPI, CREST, DICE-FOPARA, GaLoP, HCVS, HSB, InterAVT, LiVe, MeTRiD, PERR, PLACES, QAPL, SPIoT, SynCoP, VerifyThis. -- HOST INSTITUTION -- ETAPS 2019 is hosted by the School of Computer Science of the Charles University in Prague, the beautiful capital of the Czech Republic. -- ORGANIZERS Jan Kofron and Jan Vitek (general chairs), Barbora Buhnova, Milan Ceska, Ryan Culpepper, Vojtech Horky, Paley Li, Petr Maj, Artem Pelenitsyn, David Safranek -- FURTHER INFORMATION -- Please do not hesitate to contact the organizers at jan.kofron(a)d3s.mff.cuni.cz and j.vitek(a)neu.edu.

1 0

Women in Science: Helmut Veith Stipend for Female Master´s Students in Computer Science, Deadline November 30, 2018 for the enrollment in 2018/2019
by Mihaela Rozman 23 Oct '18

23 Oct '18

[Apologies if you receive multiple copies of this email. Please distribute to interested parties.] Female students in the field of computer science (CS) who plan to pursue (or are currently pursuing) one of the masters programs in Computer Science at the Vienna University of Technology TU Wien taught in English are invited to apply for the annually awarded Helmut Veith Stipend. The annually awarded Helmut Veith Stipend for female master students is dedicated to the memory of an outstanding computer scientist who worked in the fields of logic in computer science, computer-aided verification, software engineering, and computer security. Professor Helmut Veith (1971-2016). The Helmut Veith Stipend has been established with generous support of TU Wien, Wolfgang Pauli Institute and with contributions by family and friends of the late Helmut Veith. BENEFITS -EUR 6000 per year, for up to two years -Waiver of tuition fees at TU Wien LOCATION OF MASTER STUDY For study in Austria, at Vienna University of Technology TU Wien FOR FIELD OF STUDY Applicants must be eligible for admission to one of the masters programs in computer science at Vienna University of technology - TU Wien that are taught in English. Link: http://www.informatik.tuwien.ac.at/teaching/master Master in <http://www.informatik.tuwien.ac.at/studium/angebot/master> Logic and Computation Master in <http://www.informatik.tuwien.ac.at/studium/angebot/master> Business Informatics European <http://www.informatik.tuwien.ac.at/studium/angebot/master> Master in Computational Logic Master in <http://www.informatik.tuwien.ac.at/studium/angebot/master> Computer Engineering (Technische Informatik) Master in <http://www.informatik.tuwien.ac.at/studium/angebot/master/DataScience> Data Science Master in <http://www.informatik.tuwien.ac.at/studium/angebot/master/medieninformatik> Media and Human-Centered Computing APPLICATION Applications for Helmut Veith Stipend can be filed after, before or in parallel with the admissions process (if the start of the master´s program is in the Summer of 2019). The applications must be submitted electronically to master(a)logic-cs.at as a single PDF document, by November 30, 2018. DEADLINE November 30, 2018. INQUIRES Electronically to master(a)logic-cs.at WEBSITE http://www.vcla.at/2018/05/call-for-applications-helmut-veith-stipend-for-fe male-masters-students-in-computer-science DOWNLOAD THE FLYER http://forsyte.at/helmut-veith-stipend/

1 0

LATA 2019: 3rd call for papers
by IRDTA 21 Oct '18

21 Oct '18

LATA 2019: 3rd call for papers*To be removed from our mailing list, please respond to this message with UNSUBSCRIBE in the subject line* ************************************************************************* 13th INTERNATIONAL CONFERENCE ON LANGUAGE AND AUTOMATA THEORY AND APPLICATIONS LATA 2019 Saint Petersburg, Russia March 25-29, 2019 Organized by: Saint Petersburg State University and Institute for Research Development, Training and Advice, Brussels/London http://lata2019.irdta.eu/ ************************************************************************* AIMS: LATA is a conference series on theoretical computer science and its applications. LATA 2019 will reserve significant room for young scholars at the beginning of their career. It will aim at attracting contributions from classical theory fields as well as application areas. VENUE: LATA 2019 will take place in Saint Petersburg, whose historic centre is a UNESCO World Heritage Site. The conference site shall be the historical Twelve Collegia building (https://en.wikipedia.org/wiki/Twelve_Collegia), built in ca. 1740, which was used for the Russian government in the 18th century, and which has been the main building of Saint Petersburg State University since 1835. SCOPE: Topics of either theoretical or applied interest include, but are not limited to: algebraic language theory algorithms for semi-structured data mining algorithms on automata and words automata and logic automata for system analysis and programme verification automata networks automatic structures codes combinatorics on words computational complexity concurrency and Petri nets data and image compression descriptional complexity foundations of finite state technology foundations of XML grammars (Chomsky hierarchy, contextual, unification, categorial, etc.) grammatical inference and algorithmic learning graphs and graph transformation language varieties and semigroups language-based cryptography mathematical and logical foundations of programming methodologies parallel and regulated rewriting parsing patterns power series string processing algorithms symbolic dynamics term rewriting transducers trees, tree languages and tree automata weighted automata STRUCTURE: LATA 2019 will consist of: invited talks peer-reviewed contributions INVITED SPEAKERS: Henning Fernau (University of Trier), Modern Aspects of Complexity within Formal Languages Paweł Gawrychowski (University of Wrocław), tba Edward A. Lee (University of California, Berkeley), Observation, Interaction, Determinism, and Free Will Vadim Lozin (University of Warwick), From Words to Graphs, and Back Esko Ukkonen (University of Helsinki), Pattern Discovery in Biological Sequences PROGRAMME COMMITTEE: Krishnendu Chatterjee (Institute of Science and Technology Austria, AT) Bruno Courcelle (University of Bordeaux, FR) Manfred Droste (University of Leipzig, DE) Travis Gagie (Diego Portales University, CL) Peter Habermehl (Paris Diderot University, FR) Tero Harju (University of Turku, FI) Markus Holzer (University of Giessen, DE) Radu Iosif (Verimag, FR) Kazuo Iwama (Kyoto University, JP) Juhani Karhumäki (University of Turku, FI) Lila Kari (University of Waterloo, CA) Juha Kärkkäinen (University of Helsinki, FI) Bakhadyr Khoussainov (University of Auckland, NZ) Sergey Kitaev (University of Strathclyde, UK) Shmuel Tomi Klein (Bar-Ilan University, IL) Olga Kouchnarenko (University of Franche-Comté, FR) Thierry Lecroq (University of Rouen, FR) Markus Lohrey (University of Siegen, DE) Sebastian Maneth (University of Bremen, DE) Carlos Martín-Vide (Rovira i Virgili University, ES, chair) Giancarlo Mauri (University of Milano-Bicocca, IT) Filippo Mignosi (University of L'Aquila, IT) Victor Mitrana (Polytechnic University of Madrid, ES) Joachim Niehren (INRIA Lille, FR) Alexander Okhotin (Saint Petersburg State University, RU) Dominique Perrin (University of Paris-Est, FR) Matteo Pradella (Polytechnic University of Milan, IT) Jean-François Raskin (Université Libre de Bruxelles, BE) Marco Roveri (Bruno Kessler Foundation, IT) Karen Rudie (Queen's University, CA) Wojciech Rytter (University of Warsaw, PL) Kai Salomaa (Queen's University, CA) Sven Schewe (University of Liverpool, UK) Helmut Seidl (Technical University of Munich, DE) Ayumi Shinohara (Tohoku University, JP) Hans Ulrich Simon (Ruhr-University of Bochum, DE) William F. Smyth (McMaster University, CA) Frank Stephan (National University of Singapore, SG) Martin Sulzmann (Karlsruhe University of Applied Sciences, DE) Jorma Tarhio (Aalto University, FI) Stefano Tonetta (Bruno Kessler Foundation, IT) Rob van Glabbeek (Data61, CSIRO, AU) Margus Veanes (Microsoft Research, US) Mahesh Viswanathan (University of Illinois, Urbana-Champaign, US) Mikhail Volkov (Ural Federal University, RU) Fang Yu (National Chengchi University, TW) Hans Zantema (Eindhoven University of Technology, NL) ORGANIZING COMMITTEE: Alexander Okhotin (Saint Petersburg, co-chair) Manuel Parra-Royón (Granada) Dana Shapira (Ariel) David Silva (London, co-chair) SUBMISSIONS: Authors are invited to submit non-anonymized papers in English presenting original and unpublished research. Papers should not exceed 12 single-spaced pages (all included) and should be prepared according to the standard format for Springer Verlag's LNCS series (see http://www.springer.com/computer/lncs?SGWID=0-164-6-793341-0). If necessary, exceptionally authors are allowed to provide missing proofs in a clearly marked appendix. Submissions have to be uploaded to: https://easychair.org/conferences/?conf=lata2019 PUBLICATIONS: A volume of proceedings published by Springer in the LNCS series will be available by the time of the conference. A special issue of a major journal will be later published containing peer-reviewed substantially extended versions of some of the papers contributed to the conference. Submissions to it will be by invitation. REGISTRATION: The registration form can be found at: http://lata2019.irdta.eu/Registration.php DEADLINES (all at 23:59 CET): Paper submission: November 11, 2018 Notification of paper acceptance or rejection: December 16, 2018 Final version of the paper for the LNCS proceedings: December 23, 2018 Early registration: December 23, 2018 Late registration: March 11, 2019 Submission to the journal special issue: June 29, 2019 QUESTIONS AND FURTHER INFORMATION: david (at) irdta.eu ACKNOWLEDGMENTS: Санкт-Петербургский государственный университет IRDTA – Institute for Research Development, Training and Advice, Brussels/London

1 0

CADE-27: Call for Papers, Workshops, Tutorials and System Competitions
by Carlos Areces 19 Oct '18

19 Oct '18

Excuses for multiple posting. ---- CADE-27: Call for Papers, Workshops, Tutorials and System Competitions ---- The 27th International Conference on Automated Deduction (CADE-27) Natal, Brazil 25-30 August 2019 http://www.cade-27.info CALL FOR PAPERS CADE is the major international forum for presenting research on all aspects of automated deduction. High-quality submissions on the general topic of automated deduction, including foundations, applications, implementations, theoretical results, practical experiences and user studies are solicited. Key dates: Abstract deadline: 15 February 2019 Submission deadline: 22 February 2019 * Logics of interest include propositional, first-order, equational, higher-order, classical, description, modal, temporal, many-valued, constructive, other non-classical, meta-logics, logical frameworks, type theory, set theory, as well as any combination thereof. * Paradigms of interest include theorem proving, model building, constraint solving, computer algebra, model checking, proof checking, and their integration. * Methods of interest include resolution, superposition, completion, saturation, term rewriting, decision procedures, model elimination, connection methods, tableaux, sequent calculi, natural deduction, as well as their supporting algorithms and data structures, including matching, unification, orderings, induction, indexing techniques, proof presentation and explanation, proof planning. * Applications of interest include program analysis, verification and synthesis of software and hardware, formal methods, computational logic, computer mathematics, natural language processing, computational linguistics, knowledge representation, ontology reasoning, deductive databases, declarative programming, robotics, planning, and other areas of artificial intelligence. Submissions can be made in two categories: regular papers and system descriptions. The page limit in Springer LNCS style is 15 pages excluding references for regular papers and 10 pages excluding references for system descriptions. Submissions must be unpublished and not submitted for publication elsewhere. They will be judged on relevance, originality, significance, correctness, and readability. System descriptions must contain a link to a working system and will also be judged on usefulness and design. Proofs of theoretical results that do not fit in the page limit, executables of systems, and input data of experiments should be made available, via a reference to a website or in an appendix of the paper. For papers containing experimental evaluations, all data needed to rerun the experiments must be available. Reviewers will be encouraged to consider this additional material, but submissions must be self-contained within the respective page limit; considering the additional material should not be necessary to assess the merits of a submission. The review process will include a feedback/rebuttal period where authors will have the option to respond to reviewer comments. The PC chair may solicit further reviews after the rebuttal period. The proceedings of the conference will be published in the Springer LNCS/LNAI series. Formatting instructions and the LNCS style files can be obtained at http://www.springer.de/comp/lncs/authors.html At every CADE conference the Program Committee selects one of the accepted papers to receive the CADE Best Paper Award. The award recognizes a paper that the Program Committee collegially evaluates as the best in terms of originality and significance, having substantial confidence in its correctness. Overall technical quality, completeness, scholarly accuracy, and readability are also considered. Characteristics associated with a best paper include, for instance, introduction of a strong new technique or approach, solution of a long-standing open problem, introduction and solution of an interesting and important new problem, highly innovative application of known ideas or existing techniques, and presentation of a new system of outstanding power. Under exceptional circumstances, the Program Committee may give two awards (ex aequo) or give no award. IMPORTANT DATES Abstract deadline: 15 February 2019 Submission deadline: 22 February 2019 Rebuttal phase: 2 April 2019 Notification: 15 April 2019 Final version: 27 May 2019 SUBMISSION INSTRUCTIONS Papers should be submitted via https://easychair.org/conferences/?conf=cade27 CADE-27 ORGANIZERS Conference Chair: Elaine Pimentel Federal University of Rio Grande do Norte, Brazil Organizers: Carlos Olarte Federal University of Rio Grande do Norte, Brazil Joao Marcos Federal University of Rio Grande do Norte, Brazil Claudia Nalon University of Brasilia, Brazil Giselle Reis CMU, Qatar Program Committee Chair: Pascal Fontaine Universite de Lorraine, CNRS, Inria, LORIA, France Workshop, Tutorial, and Competition Chair: Giles Reger University of Manchester, UK Publicity Chair: Geoff Sutcliffe University of Miami, USA Program Committee: Carlos Areces, FaMAF - Universidad Nacional de Cordoba, Argentina Franz Baader, TU Dresden, Germany Clark Barrett, Stanford University, USA Jasmin Christian Blanchette, Vrije Universiteit Amsterdam, The Netherlands Maria Paola Bonacina, Universita degli Studi di Verona, Italy Leonardo Mendonca de Moura, Microsoft Research, USA Hans de Nivelle, Nazarbayev University, Astana, Kazakhstan Clare Dixon, University of Liverpool, UK Mnacho Echenim, Universite de Grenoble, France Marcelo Finger, University of Sao Paulo, Brazil Pascal Fontaine, Universite de Lorraine, CNRS, Inria, LORIA, France Silvio Ghilardi, Universita degli Studi di Milano, Italy Juergen Giesl, RWTH Aachen University, Germany Rajeev Gore, The Australian National University, Australia Stefan Hetzl, Technische Universitaet Wien, Austria Marijn J. H. Heule, The University of Texas at Austin, USA Nao Hirokawa, JAIST, Japan Moa Johansson, Chalmers University of Technology, Sweden Cezary Kaliszyk, University of Innsbruck, Austria Deepak Kapur, University of New Mexico, USA Benjamin Kiesl, Technische Universitaet Wien, Austria Konstantin Korovin, The University of Manchester, UK Laura Kovacs, Technische Universitaet Wien, Austria Ramana Kumar, DeepMind, UK Claudia Nalon, University of Brasilia, Brazil Vivek Nigam, Federal University of Paraiba & Fortiss, Brazil & Germany Carlos Olarte, Federal University of Rio Grande do Norte, Brazil Jens Otten, University of Oslo, Norway Andre Platzer, Carnegie Mellon University, USA Andrew Reynolds, The University of Iowa, USA Philipp Ruemmer, Uppsala University, Sweden Renate A. Schmidt, The University of Manchester, UK Stephan Schulz, DHBW Stuttgart, Germany Roberto Sebastiani, University of Trento, Italy Natarajan Shankar, SRI International, USA Viorica Sofronie-Stokkermans, Universitaet Koblenz-Landau, Germany Martin Suda, Czech Technical University, Czech Republic Geoff Sutcliffe, University of Miami, USA Rene Thiemann, University of Innsbruck, Austria Uwe Waldmann, Max Planck Institute for Informatics, Germany Christoph Weidenbach, Max Planck Institute for Informatics, Germany Sarah Winkler, University of Innsbruck, Austria CALL FOR WORKSHOPS, TUTORIALS, SYSTEM COMPETITIONS The 27th International Conference on Automated Deduction (CADE-27) Natal, Brazil 25-30 August 2019 http://www.cade-27.info CALL FOR WORKSHOPS Workshop proposals for CADE-27 are solicited. The workshops will take place on August 25-26 2019, before the main conference. Both well-established workshops and newer ones are encouraged. Similarly, proposals for workshops with a tight focus on a core automated reasoning specialization, as well as those with a broader, more applied focus, are very welcome. Please provide the following information in your application document: + Workshop title. + Names and affiliations of organizers. + Proposed workshop duration (from half a day to two days) and preferred day(s). + Brief description of the goals and the scope of the workshop. Why is the workshop relevant for CADE? + Is the workshop new or has it met previously? In the latter case information on previous meetings should be given (e.g., links to the program, number of submissions, number of participants). + What are the plans for publication? CALL FOR TUTORIALS Tutorial proposals for CADE-27 are solicited. Tutorials are expected to be either half-day or full-day events, with a theoretical or applied focus, on a topic of interest for CADE-27. Proposals should provide the following information: + Tutorial title. + Names and affiliations of organizers. + Proposed tutorial duration (from half a day to one day) and the preferred day. + Brief description of the tutorial's goals and topics to be covered. + Whether or not a version of the tutorial has been given previously. CADE will take care of printing and distributing notes for tutorials that would like this service. CALL FOR SYSTEM COMPETITIONS The CADE ATP System Competition (CASC), which evaluates automated theorem proving systems for classical logics, has become an integral part of the CADE conferences. Further system competition proposals are solicited. The goal is to foster the development of automated reasoning systems in all areas relevant for automated deduction in a broader sense. Proposals should include the following information: + Competition title. + Names and affiliations of organizers. + Duration and schedule of the competition. + Room/space requirements. + Description of the competition task and the evaluation procedure. + Is the competition new or has it been organized before? In the latter case information on previous competitions should be given. + What computing resources are required and how will they be provided? IMPORTANT DATES Workshop/Tutorials/System Competitions: Submission deadline: 15 November 2018 Notification: 15 December 2018 SUBMISSION INSTRUCTIONS Proposals for workshops, tutorials, and system competitions should be uploaded via https://easychair.org/conferences/?conf=cade27wtc

1 0

FSCD 2019 - First Call for Papers
by Sandra Alves 19 Oct '18

19 Oct '18

(Apologies for multiple copies of this announcement. Please circulate.) CALL FOR PAPERS Fourth International Conference on Formal Structures for Computation and Deduction (FSCD 2019) 24 -- 30 June 2019, Dortmund, Germany http://fscd-conference.org/ IMPORTANT DATES --------------- All deadlines are midnight anywhere-on-earth (AoE); late submissions will not be considered. Titles and Short Abstracts: 8 February 2019 Full Papers: 11 February 2019 Rebuttal period: 28 March -- 1 April 2019 Authors Notification: 8 April 2019 Final version for proceedings: 22 April 2019 FSCD 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 (e.g. quantum computing, probabilistic computing, homotopy type theory), semantics and verification in new challenging areas (e.g. blockchain protocols or deep learning algorithms). Suggested, but not exclusive, list of topics for submission are: 1. Calculi: Rewriting systems, Lambda calculus, Concurrent calculi, Logics, Type theory, Homotopy type theory, Logical frameworks, Quantum calculi 2. Methods in Computation and Deduction: Type systems; Induction and coinduction; Matching, unification, completion and orderings; Strategies; Tree automata; Model checking; Proof search and theorem proving; Constraint solving and decision procedures 3. Semantics: Operational semantics; Abstract machines; Game Semantics; Domain theory; Categorical models; Quantitative models 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 (e.g. design and verification of critical systems); Applications in other sciences (e.g. biology) 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. SUBMISSION GUIDELINES --------------------- Submissions can be made in two categories. Regular research papers are limited to 15 pages (including references, with the possibility to add an annex for technical details, e.g.\ proofs) and must present original research which is unpublished and not submitted elsewhere. System descriptions are limited to 15 pages (including references) and must present new software tools in which FSCD topics play an important role, or significantly new versions of such tools. Submissions must be formatted using the LIPIcs style files and submitted via EasyChair. Complete instructions on submitting a paper can be found on the conference web site: http://fscdconference.org/editions/fscd-2019/ BEST PAPER AWARD BY JUNIOR RESEARCHERS -------------------------------------- The program committee will consider declaring this award to 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). SPECIAL ISSUE ------------- Authors of selected papers will be invited to submit an extended version for a special issue of Logical Methods in Computer Science. PROGRAM COMMITTEE ----------------- H. Geuvers, Radboud U. Nijmegen (Chair) Z. Ariola, U. of Oregon M. Ayala Rincón, U. of Brasilia A. Bauer, U. of Ljubljana F. Bonchi, U. of Pisa S. Broda, U. of Porto U. Dal Lago, U. of Bologna & Inria U. De'Liguoro, U. of Torino D. Kapur, U. of New Mexico P. Dybjer, Chalmers U. of Technology M. Fernandez, King's College London J. Giesl, RWTH Aachen N. Hirokawa, JAIST S. Lucas, U. Politecnica de Valencia A. Middeldorp, U. of Innsbruck F. Pfenning, Carnegie Mellon U. B. Pientka, McGill U. J. van de Pol, U. of Twente F. van Raamsdonk, VU Amsterdam C. Schürmann, ITU Copenhagen P. Severi, U. of Leicester A. Silva, U. College London S. Staton, Oxford U. T. Streicher, TU Darmstadt A. Stump, U. of Iowa N. Tabareau, Inria S. Tison, U. of Lille A. Tiu, Australian National U. T. Tsukada, U. of Tokyo J. Urban, CTU Prague P. Urzyczyn, U. of Warsaw J. Waldmann, Leipzig U. of Applied Sciences CONFERENCE CHAIR ---------------- Jakob Rehof, TU Dortmund LOCAL WORKSHOP CHAIR -------------------- Boris Düdder, U. of Copenhagen STEERING COMMITTEE WORKSHOP CHAIR -------------------------------- J. Vicary, Oxford U. PUBLICITY CHAIR --------------- Sandra Alves , Porto U. FSCD STEERING COMMITTEE ----------------------- S. Alves (Porto U.), M. Ayala-Rincón (Brasilia U.) C. Fuhs (Birkbeck, London U.) D. Kesner (Chair, Paris U.) H. Kirchner (Inria) N. Kobayashi (U. Tokyo) C. Kop (Radboud U. Nijmegen) D. Miller (Inria) L. Ong (Chair, Oxford U.) B. Pientka (McGill U.) S. Staton (Oxford U.)

1 0

LICS 2019 Call for Workshop Proposals
by Sam Staton 11 Oct '18

11 Oct '18

34TH ANNUAL ACM/IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE (LICS 2019) Call for Workshop Proposals https://lics.siglog.org/lics19/ * The Thirty-Fourth Annual ACM/IEEE Symposium on Logic In Computer Science (LICS'19) will be held in Vancouver, Canada on June 24-27, 2019. The workshops will take place on June 22-23, 2019. * Researchers and practitioners are invited to submit proposals for workshops on topics relating logic - broadly construed - to computer science or related fields. Typically, LICS workshops feature a number of invited speakers and a number of contributed presentations. LICS workshops do not usually produce formal proceedings. However, in the past there have been special issues of journals based in part on certain LICS workshops. * Proposals should include: - A short scientific summary and justification of the proposed topic. This should include a discussion of the particular benefits of the topic to the LICS community. - A discussion of the proposed format and agenda. - The proposed duration, which is typically one day (two-day workshops can be accommodated too). - Procedures for selecting participants and papers. - Expected number of participants. This is important for the room! - Potential invited speakers. - Plans for dissemination (for example, special issues of journals). Proposals should be sent to Frédéric Blanqui: frederic.blanqui(a)inria.fr * IMPORTANT DATES - Workshop Proposal Submission deadline: November 15, 2018 - Notification: December 1, 2018 - Program of the workshops ready: May 19, 2019 - Workshops: June 22-23, 2019 - LICS conference: June 24-27, 2019 * The workshops selection committee consists of the LICS General Chair, LICS Workshops Chair, LICS 2019 PC Chair and LICS 2019 Conference Chairs.

1 0

LATA 2019: 2nd call for papers
by IRDTA 07 Oct '18

07 Oct '18

LATA 2019: 2nd call for papers*To be removed from our mailing list, please respond to this message with UNSUBSCRIBE in the subject line* ************************************************************************* 13th INTERNATIONAL CONFERENCE ON LANGUAGE AND AUTOMATA THEORY AND APPLICATIONS LATA 2019 Saint Petersburg, Russia March 25-29, 2019 Organized by: Saint Petersburg State University and Institute for Research Development, Training and Advice, Brussels/London http://lata2019.irdta.eu/ ************************************************************************* AIMS: LATA is a conference series on theoretical computer science and its applications. LATA 2019 will reserve significant room for young scholars at the beginning of their career. It will aim at attracting contributions from classical theory fields as well as application areas. VENUE: LATA 2019 will take place in Saint Petersburg, whose historic centre is a UNESCO World Heritage Site. The conference site shall be the historical Twelve Collegia building (https://en.wikipedia.org/wiki/Twelve_Collegia), built in ca. 1740, which was used for the Russian government in the 18th century, and which has been the main building of Saint Petersburg State University since 1835. SCOPE: Topics of either theoretical or applied interest include, but are not limited to: algebraic language theory algorithms for semi-structured data mining algorithms on automata and words automata and logic automata for system analysis and programme verification automata networks automatic structures codes combinatorics on words computational complexity concurrency and Petri nets data and image compression descriptional complexity foundations of finite state technology foundations of XML grammars (Chomsky hierarchy, contextual, unification, categorial, etc.) grammatical inference and algorithmic learning graphs and graph transformation language varieties and semigroups language-based cryptography mathematical and logical foundations of programming methodologies parallel and regulated rewriting parsing patterns power series string processing algorithms symbolic dynamics term rewriting transducers trees, tree languages and tree automata weighted automata STRUCTURE: LATA 2019 will consist of: invited talks peer-reviewed contributions INVITED SPEAKERS: (to be completed) Henning Fernau (University of Trier), Modern Aspects of Complexity within Formal Languages Edward A. Lee (University of California, Berkeley), Observation, Interaction, Determinism, and Free Will Vadim Lozin (University of Warwick), From Words to Graphs, and Back Esko Ukkonen (University of Helsinki), Pattern Discovery in Biological Sequences PROGRAMME COMMITTEE: Krishnendu Chatterjee (Institute of Science and Technology Austria, AT) Bruno Courcelle (University of Bordeaux, FR) Manfred Droste (University of Leipzig, DE) Travis Gagie (Diego Portales University, CL) Peter Habermehl (Paris Diderot University, FR) Tero Harju (University of Turku, FI) Markus Holzer (University of Giessen, DE) Radu Iosif (Verimag, FR) Kazuo Iwama (Kyoto University, JP) Juhani Karhumäki (University of Turku, FI) Lila Kari (University of Waterloo, CA) Juha Kärkkäinen (University of Helsinki, FI) Bakhadyr Khoussainov (University of Auckland, NZ) Sergey Kitaev (University of Strathclyde, UK) Shmuel Tomi Klein (Bar-Ilan University, IL) Olga Kouchnarenko (University of Franche-Comté, FR) Thierry Lecroq (University of Rouen, FR) Markus Lohrey (University of Siegen, DE) Sebastian Maneth (University of Bremen, DE) Carlos Martín-Vide (Rovira i Virgili University, ES, chair) Giancarlo Mauri (University of Milano-Bicocca, IT) Filippo Mignosi (University of L'Aquila, IT) Victor Mitrana (Polytechnic University of Madrid, ES) Joachim Niehren (INRIA Lille, FR) Alexander Okhotin (Saint Petersburg State University, RU) Dominique Perrin (University of Paris-Est, FR) Matteo Pradella (Polytechnic University of Milan, IT) Jean-François Raskin (Université Libre de Bruxelles, BE) Marco Roveri (Bruno Kessler Foundation, IT) Karen Rudie (Queen's University, CA) Wojciech Rytter (University of Warsaw, PL) Kai Salomaa (Queen's University, CA) Sven Schewe (University of Liverpool, UK) Helmut Seidl (Technical University of Munich, DE) Ayumi Shinohara (Tohoku University, JP) Hans Ulrich Simon (Ruhr-University of Bochum, DE) William F. Smyth (McMaster University, CA) Frank Stephan (National University of Singapore, SG) Martin Sulzmann (Karlsruhe University of Applied Sciences, DE) Jorma Tarhio (Aalto University, FI) Stefano Tonetta (Bruno Kessler Foundation, IT) Rob van Glabbeek (Data61, CSIRO, AU) Margus Veanes (Microsoft Research, US) Mahesh Viswanathan (University of Illinois, Urbana-Champaign, US) Mikhail Volkov (Ural Federal University, RU) Fang Yu (National Chengchi University, TW) Hans Zantema (Eindhoven University of Technology, NL) ORGANIZING COMMITTEE: Alexander Okhotin (Saint Petersburg, co-chair) Manuel Parra-Royón (Granada) Dana Shapira (Ariel) David Silva (London, co-chair) SUBMISSIONS: Authors are invited to submit non-anonymized papers in English presenting original and unpublished research. Papers should not exceed 12 single-spaced pages (all included) and should be prepared according to the standard format for Springer Verlag's LNCS series (see http://www.springer.com/computer/lncs?SGWID=0-164-6-793341-0). If necessary, exceptionally authors are allowed to provide missing proofs in a clearly marked appendix. Submissions have to be uploaded to: https://easychair.org/conferences/?conf=lata2019 PUBLICATIONS: A volume of proceedings published by Springer in the LNCS series will be available by the time of the conference. A special issue of a major journal will be later published containing peer-reviewed substantially extended versions of some of the papers contributed to the conference. Submissions to it will be by invitation. REGISTRATION: The registration form can be found at: http://lata2019.irdta.eu/Registration.php DEADLINES (all at 23:59 CET): Paper submission: November 11, 2018 Notification of paper acceptance or rejection: December 16, 2018 Final version of the paper for the LNCS proceedings: December 23, 2018 Early registration: December 23, 2018 Late registration: March 11, 2019 Submission to the journal special issue: June 29, 2019 QUESTIONS AND FURTHER INFORMATION: david (at) irdta.eu ACKNOWLEDGMENTS: Санкт-Петербургский государственный университет IRDTA – Institute for Research Development, Training and Advice, Brussels/London

1 0

EPIT 2019 - Spring school on databases, logic and automata
by Cristina Sirangelo 02 Oct '18

02 Oct '18

===================================================================== EPIT 2019 - Spring school on databases, logic and automata CIRM - Centre International de Rencontres Mathématiques - Marseille Luminy - France April 8-12, 2019 https://conferences.cirm-math.fr/1934.html ===================================================================== EPIT (École de Printemps d'Informatique Théorique, https://epit.irif.fr/) is a French recurrent spring school in theoretical computer science, initiated by Maurice Nivat in 1973. It has since then spanned many exciting topics in foundational computer science, and has become a major event for the research community in France and beyond. The 2019 edition of the EPIT will cover the foundations of data management. It will in particular focus on the fruitful interaction between database theory and two other main areas of theoretical computer science : logic and automata - as well as other closely related fields, such as finite model theory, descriptive complexity, game theory, and inference. Programme --------- Monday * Morning: Introduction to database theory (Pierre Senellart, ENS Paris) * Afternoon : Optimal joins (Szymon Toruńczyk, Warsaw) Tuesday * Morning: Logic and automata for semi-structured data (Diego Figueira, Bordeaux) * Afternoon: - Logic-based distributed query processing (Frank Neven, Hasselt) - Incremental query evaluation (Thomas Schwentick, Dortmund) Wednesday * Morning: Graph data management (Wim Martens, Beyreuth) Thursday * Morning: Databases and descriptive complexity (Nicole Schweikardt, Humboldt) * Afternoon: - View-based query processing (Nadime Francis, Marne la Vallée) - Incomplete data management (Leonid Libkin, Edinburgh) Friday * Morning : Ontologies and rules (Meghyn Bienvenu, Montpellier) In addition, poster sessions will be organised, so that participants who are willing to, will be able to present their work. All courses will be given in English. Audience ------------ Lectures are intended to be accessible to a wide audience. No prior knowledge of database theory will be assumed, but some familiarity with basic automata theory and logic is recommended. The EPIT 2019 Spring School is primarily addressed to PhD students and young researchers, but more senior participants are also encouraged to join. Date and Venue -------------- The EPIT 2019 Spring School will take place from Monday, April 8th to Friday, April 12th, 2019 in France, at CIRM, the International Center for Mathematical Meetings (https://www.cirm-math.fr/) in Luminy, Marseille. Registration ----------- Pre-registration will soon open on the Webpage of the event https://conferences.cirm-math.fr/1934.html. Registration fees, including accommodation and meals at CIRM, will be as moderate as possible (details will be announced soon). sOrganisation ------------ The school is organised by : Amélie Gheerbrant <amelie(a)irif.fr> Leonid Libkin <libkin(a)inf.ed.ac.uk> Luc Segoufin <luc.segoufin(a)inria.fr> Pierre Senellart <pierre(a)senellart.com> Cristina Sirangelo <cristina(a)irif.fr> For any further information please contact the organisers.

1 0