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

Call for Participation - LearnAut 2022 - Hybrid ICALP workshop
by Sammartino, Matteo 06 Jun '22

06 Jun '22

*Apologies for eventual multiple receptions* The 4th workshop on Learning & Automata - satellite of ICALP’22 https://learnaut22.github.io/ July 4th, 2022, Paris & on-line Location: building Halle aux Farines<https://u-paris.fr/batiment-de-la-halle-aux-farines/> located in the heart of the site “Grands Moulins” of the Université de Paris<https://u-paris.fr/batiment-des-grands-moulins/>. This event will be conducted in hybrid mode: in person in Paris (organizers' preferred choice) and virtually. Registration is mandatory for both modes, the registration links can be found here: https://learnaut22.github.io/registration.html It is our pleasure to inform you about LearnAut 2022, the fourth edition of the workshop, this time co-located with ICALP. Learning models defining recursive computations, like automata and formal grammars, are the core of the field called Grammatical Inference (GI). The expressive power of these models and the complexity of the associated computational problems are major research topics within mathematical logic and computer science. Historically, there has been little interaction between the GI and ICALP communities, though recently some important results started to bridge the gap between both worlds, including applications of learning to formal verification and model checking, and (co-)algebraic formulations of automata and grammar learning algorithms. The goal of this workshop is to bring together experts on logic who could benefit from grammatical inference tools, and researchers in grammatical inference who could find in logic and verification new fruitful applications for their methods. The LearnAut workshop will consist of 3 invited talks and 14 contributed talks from researchers whose submitted works were selected after a double-blind peer-reviewed phase. A significant amount of time will be kept for interactions between participants. ** Invited Speakers ** * Jeffrey Heinz, Stony Brook University, USA * Sheila McIlraith, University of Toronto, Canada * Ariadna Quattoni, Universitat Politècnica de Catalunya, Spain ** Selected papers ** * Learning state machines via efficient hashing of future traces, by Robert Baumgartner and Sicco Verwer * Towards Efficient Active Learning of PDFA, by Franz Mayr, Sergio Yovine, Federico Pan, Nicolas Basset and Thao Dang * An Algebraic Approach to Learning and Grounding, by Johanna Björklund, Adam Dahlgren Lindström and Frank Drewes * Spectral Regularization: an Inductive Bias for Sequence Modeling, by Kaiwen Hou and Guillaume Rabusseau * Marginal Inference queries in Hidden Markov Models under context-free grammar constraints, by Mohamed Reda Marzouk and Colin de la Higuera * Robust Attack Graph Generation, by Dennis Mouwen, Sicco Verwer and Azqa Nadeem * Analyzing Büchi Automata with Graph Neural Networks, by Christophe Stammet, Prisca Dotti, Ulrich Ultes-Nitsche and Andreas Fischer * Spectral Initialization of Recurrent Neural Networks: Proof of Concept, by Maude Lizaire, Simon Verret and Guillaume Rabusseau * Sequential Density Estimation via Nonlinear Continuous Weighted Finite Automata, by Tianyu Li, Bogdan Mazoure and Guillaume Rabusseau * Extending Shinohara's Algorithm for Computing Descriptive (Angluin-Style) Patterns to Subsequence Patterns, by Markus L. Schmid * Towards an AAK Theory Approach to Approximate Minimization in the Multi-Letter Case, by Clara Lacroce, Prakash Panangaden and Guillaume Rabusseau * On the limit of gradient descent for Simple Recurrent Neural Networks with finite precision, by Rémi Eyraud and Volodimir Mitarchuk * Learning regular non-deterministic distributions via non-linear optimization methods, by Wenjing Chu, Shuo Chen and Marcello Bonsangue * Learning from Positive and Negative Examples: New Proof for Binary Alphabets, by Jonas Lingg, Mateus de Oliveira Oliveira and Petra Wolf ============================== Matteo Sammartino, Lecturer Royal Holloway University of London Department of Computer Science Tel.: (+44) (0) 1784 44 3690 Office: 2-07, Bedford Building https://matteosammartino.com/ This email, its contents and any attachments are intended solely for the addressee and may contain confidential information. In certain circumstances, it may also be subject to legal privilege. Any unauthorised use, disclosure, or copying is not permitted. If you have received this email in error, please notify us and immediately and permanently delete it. Any views or opinions expressed in personal emails are solely those of the author and do not necessarily represent those of Royal Holloway, University of London. It is your responsibility to ensure that this email and any attachments are virus free.

1 0

[CfPart] 33rd European Summer School in Logic, Language and
by Nickles, Matthias 05 Jun '22

05 Jun '22

(Apologies for cross-posting) The early bird registration for ESSLLI 2022 has been extended once more, to 12th June: https://nuigalwaydatascienceinstitute.clr.events/event/131959:esslli-2022 This will be the 33rd edition of the European Summer School in Logic, Language and Information (ESSLLI), taking place from 8-19 August, 2022 at the National University of Ireland Galway: https://2022.esslli.eu/ *Overview* The European Summer School in Logic, Language and Information (ESSLLI) is a yearly recurring event, organised under the auspices of the Association for Logic, Language and Information (FoLLI), and has been running since 1989. The ESSLLI Summer School provides an interdisciplinary setting in which courses and workshops are offered in logic, linguistics and computer science, also from wider scientific, historical, and philosophical perspectives. ESSLLI attracts around 400 participants from all parts of Europe, as well as from North and Latin America, and Asia. ESSLLI has become the main meeting place for young researchers and students in logic, linguistics and computer science to discuss current research and to share knowledge. The event is unique in its interdisciplinary set-up, with no equivalents in Europe. *Programme* The ESSLLI Summer School offers an exciting two-week programme, consisting of the following: - Workshops in logic, linguistics and computer science - Courses - foundational, introductory and advanced - in three areas: - - Language and Computation - - Logic and Computation - - Logic and Language - Student session - Evening lectures - Social activities *Registration* Registration for attendees, course lecturers, student session and workshop organisers and speakers is now open. The early-registration deadline has been extended to Sunday 12th June; go to https://2022.esslli.eu/registration.html. ESSLLI is offering affordable accommodation on campus to all participants who book before 27th June. Registrations received after this date will not be able to book accommodation through our portal.

1 0

[Sosu-2022] Application Deadline Extended - Summer School
by SoSchule 01 Jun '22

01 Jun '22

Dear all, We would like to inform you that the application deadline for the summer school 'Cognitive Reasoning' at the TU Dresden, Germany has been extended until 27th June, 2022. The event will take place from Sep 4 until Sep 10, 2022. Lectures will be given by Lucía Gómez Álvarez, Ruth Byrne, Ulrich Furbach, Steffen Hölldobler, Gabriele Kern-Isberner, Marco Ragni, Claudia Schon and Leon Urbas. You can register under the following link: https://tu-dresden.de/ing/informatik/ki/krr/sommerschule/anmeldung For more information about the summer school please visit the following website: https://tu-dresden.de/ing/informatik/ki/krr/sommerschule With best regards The Organization Team of the Summer School -- Technische Universität Dresden Faculty of Computer Science Institute of Artificial Intelligence Chair of Knowledge Representation and Reasoning Nöthnitzer Strasse 46, 01069 Dresden, Germany Email: So_2022(a)mailbox.tu-dresden.de<mailto:So_2022@mailbox.tu-dresden.de>

1 0

GandALF 2022 -- Call For Papers [extended deadline]
by Pierre Ganty 30 May '22

30 May '22

[apologies for multiple copies] The Thirteenth International Symposium on Games, Automata, Logics, and Formal Verification will be held in Madrid (Spain) on September 21-23, 2022. The aim of GandALF 2022 <https://gandalf2022.software.imdea.org/> is to bring together researchers from academia and industry which are actively working in the fields of Games, Automata, Logics, and Formal Verification. The idea is to cover an ample spectrum of themes, ranging from theory to applications, and stimulate cross-fertilization. Papers focused on formal methods are especially welcome. Authors are invited to submit original research or tool papers on all relevant topics in these areas. Papers discussing new ideas that are at an early stage of development are also welcome. The topics covered by the conference include, but are not limited to, the following: - Automata Theory - Automated Deduction - Computational aspects of Game Theory - Concurrency and Distributed computation - Decision Procedures - Deductive, Compositional, and Abstraction Techniques for Verification - Finite Model Theory - First-order and Higher-order Logics - Formal Languages - Formal Methods for Systems Biology, Hybrid, Embedded, and Mobile Systems - Games and Automata for Verification - Game Semantics - Logical aspects of Computational Complexity - Logics of Programs - Modal and Temporal Logics - Model Checking - Models of Reactive and Real-Time Systems - Probabilistic Models (Markov Decision processes) - Program Analysis and Software Verification - Reinforcement Learning - Run-time Verification and Testing - Specification and Verification of Finite and Infinite-state Systems - Synthesis Important Dates Abstract Submission: June 3, 2022 Paper Submission: June 10, 2022 Notification: July 24, 2022 Camera-ready: August 12, 2022 Conference: September 21-23, 2022 ⚠ : submission, Notification and Camera-ready dates are AoE <https://time.is/Anywhere_on_Earth> Publication The proceedings will be published by Electronic Proceedings in Theoretical Computer Science <http://www.eptcs.org/>. Authors of the best papers will be invited to submit a revised version of their work to a special issue of Logical Methods in Computer Science <https://lmcs.episciences.org/>. The previous editions of GandALF already led to special issues of the International Journal of Foundations of Computer Science (GandALF 2010), Theoretical Computer Science (GandALF 2011 and 2012), Information and Computation (GandALF 2013, 2014, 2016, 2017, 2019 and 2020), Acta Informatica (GandALF 2015) and Logical Methods in Computer Science (2021). Submission Submitted papers should not exceed 14 pages (excluding references and clearly marked appendices) using EPTCS format (please use the LaTeX style provided here <http://style.eptcs.org>, be unpublished and contain original research. For papers reporting experimental results, authors are encouraged to make their data available with their submission. Submissions must be in PDF format and will be handled via the HotCRP Conference system at the following address: https://hotcrp.software.imdea.org/gandalf2022 Invited Speakers - Wojciech Czerwiński <https://www.mimuw.edu.pl/~wczerwin/>, University of Warsaw, Poland - Javier Esparza <https://www7.in.tum.de/~esparza/>, Technische Universität München, Germany - Dana Fisman <https://www.cs.bgu.ac.il/~dana/>, Ben-Gurion University, Israel - Jerzy Marcinkowski <https://ii.uni.wroc.pl/~jma/index.phtml>, University of Wrocław, Poland Program Committee Pierre Ganty★ IMDEA Software Institute Spain Dario Della Monica★ University of Udine Italy Christel Baier TU Dresden Germany Suguman Bansal University of Pennsylvania USA Nathalie Bertrand Inria France Filippo Bonchi University of Pisa Italy Laura Bozzelli Università degli Studi di Napoli Federico II Italy Véronique Bruyère University of Mons Belgium David de Frutos Escrig Universidad Complutense de Madrid Spain Cezara Drăgoi Informal systems Mohamed Faouzi Atig Uppsala University Sweden Adrian Francalanza University of Malta Malta Orna Kupferman The Hebrew University Israel Konstantinos Mamouras Rice University USA Roland Meyer TU Braunschweig Germany Fabio Mogavero Università degli Studi di Napoli Federico II Italy Paritosh Pandya IIT Bombay India Paweł Parys University of Warsaw Poland Guillermo Pérez University of Antwerp Belgium Pierre-Alain Reynier LIS, Aix-Marseille University & CNRS France Andrea Turrini Institute of Software, Chinese Academy of Sciences China Georg Zetzsche Max Planck Institute for Software Systems (MPI-SWS) Germany ★: co-chair Steering Committee Luca Aceto Reykjavik University Iceland Javier Esparza University of Munich Germany Salvatore La Torre University of Salerno Italy Angelo Montanari University of Udine Italy Mimmo Parente University of Salerno Italy Jean-François Raskin Université libre de Bruxelles Belgium Martin Zimmermann Aalborg University Denmark

1 0

WCP6 and SQUARE7 - Deadline Extension: May 31st
by jean-yves beziau 24 May '22

24 May '22

The deadline for the twin events WCP6 and SQUARE7 has been extended up to May 31st, see below. Jean-Yves Beziau https://sites.google.com/view/miaou-rio/jyb >------------------------------------------------------------------ 6th World Congress on Paraconsistency Torun, Poland, September 5-8, 2022 https://wcp6.umk.pl/ 7th World Congress on the Square of Opposition Leuven, Belgium, September 9-13, 2022 https://www.square-of-opposition.org/

1 0

RAMiCS 2023 - First call for papers
by Michael Winter 24 May '22

24 May '22

CALL FOR PAPERS 20th International Conference on Relational and Algebraic Methods in Computer Science RAMiCS 2023 3 to 6 April 2023, Technologiezentrum Augsburg, Germany https://ramics20.lis-lab.fr/ IMPORTANT DATES: Abstract Submission: September 23, 2022 Paper Submission: September 30, 2022 Author Notification: December 09, 2022 Final Version: January 06, 2023 RAMiCS 2021: April 03-06, 2023 GENERAL INFORMATION: Since 1994, the RAMiCS conference series has been the main venue for research on relation algebras, Kleene algebras and similar algebraic formalisms, and their applications as conceptual and methodological tools in computer science and beyond. RAMiCS 2023 will take place at the Technologiezentrum Augsburg. Depending on the Covid-19 situation, it will take the form of a physical conference, a virtual conference, or a hybrid between the two. TOPICS: We invite submissions in the general fields of algebras relevant to computer science and applications of such algebras. Topics include but are not limited to: * Theory - algebras such as semigroups, residuated lattices, semirings, Kleene algebras, relation algebras and quantales - their connections with program logics and other logics - their use in the theories of automata, concurrency, formal languages, games, networks and programming languages - the development of algebraic, algorithmic, category-theoretic, coalgebraic and proof-theoretic methods for these theories - their formalisation with theorem provers * Applications - tools and techniques for program correctness, specification and verification - quantitative and qualitative models and semantics of computing systems and processes - algorithm design, automated reasoning, network protocol analysis, social choice, optimisation and control - industrial applications SUBMISSION INSTRUCTIONS: Submission is via EasyChair at https://www.easychair.org/conferences/?conf=ramics2023 All papers will be peer-reviewed by at least three referees. The proceedings will be published in an LNCS volume by Springer, ready at the conference. Submissions must not be published or under review for publication elsewhere. Submissions must be in English using a PDF not exceeding 16 pages in LNCS style. Submissions must provide sufficient information to judge their merits. Additional material may be provided in a clearly marked appendix or by a reference to a manuscript on a web site. Experimental data, software or mathematical components for theorem provers must be available in sufficient detail for referees. Deviation from these requirements may lead to rejection. One author of each accepted paper is expected to present the paper at the conference. Accepted papers must be produced with LaTeX. Formatting instructions and LNCS style files are available at http://www.springer.de/comp/lncs/authors.html As for earlier RAMiCS conferences, we intend to publish a journal special issue with revised and extended versions of a selection of the best papers. COMMITTEES: Organising Committee -------------------- Conf. & PC Co-Chair: Roland Glück, Deutsches Zentrum für Luft- und Raumfahrt, Germany Conf. & PC Co-Chair: Luigi Santocanale, LIS, Aix-Marseille University, France Conf. & PC Co-Chair: Michael Winter, Brock University, Canada Programme Committee ------------------- Adriana Balan, University Politechnic of Bucharest, Romania Manuel Bodirsky, Technical University Dresden, Germany Paul Brunet, Paris-East Créteil University, France Miguel Couceiro, Loria, Nancy, France Manfred Droste, Leipzig University, Germany Uli Fahrenberg, Epita, France Hitoshi Furusawa, Kagoshima University, Japan Wessley Fussner, University of Bern, Switzerland Silvio Ghilardi, University of Milan, Italy Roland Glueck, German Aerospace Center, Augsburg, Germany Walter Guttmann, University of Canterbury, New Zealand Robin Hirsch, University College London, UK Peter Höfner, Australian National University, Canberra, Australia Marcel Jackson, La Trobe University, Melbourne, Australia Ali Jaoua, Qatar University, Qatar Peter Jipsen, Chapman University, Orange, USA Sebastian Joosten, Dartmouth College, Hanover, USA Barbara König, University of Duisburg/Essen, Germany Wendy MacCaull, St. Francis Xavier University, Antigonish, Canada Roger Maddux, Iowa State University, Ames, USA Nelma Moreira, University of Porto, Portugal Martin Mueller, University of Applied Sciences, Bonn-Rhein-Sieg, Germany Damien Pous, CNRS, ENS Lyon, France Luigi Santocanale, Aix-Marseille University, France Ana Sokolova, University of Salzburg, Austria Sara Ugolini, Autonomous University of Barcelona, Spain Michael Winter, Brock University, St. Catharines, Canada Sam van Gool, University Paris, France

1 0

[Deadline Extension] LAMAS & SR 2022 - Final Call for Contributions
by Fabio Mogavero 23 May '22

23 May '22

[Apologies for multiple cross-posting] [Deadline Extended to *June 5th (AoE)*] -------------------------------------------------------------------------------- Final Call for Contributions 2nd International Workshop on Logical Aspects in Multi-Agent Systems and Strategic Reasoning (LAMAS&SR) 2022 25-26 August 2022, Rennes, France URL: https://lamassr.github.io/ -------------------------------------------------------------------------------- Objectives ---------- Logics and strategic reasoning play a central role in multi-agent systems. Logics can be used, for instance, to express the agents’ abilities, knowledge, and objectives. Strategic reasoning refers to algorithmic methods that allow for developing good behaviour for the agents of the system. At the intersection, we find logics that can express existence of strategies or equilibria, and can be used to reason about them. The LAMAS&SR workshop merges two international workshops: LAMAS (Logical Aspects of Multi-Agent Systems), which focuses on all kinds of logical aspects of multi-agent systems from the perspectives of artificial intelligence, computer science, and game theory, and SR (Strategic Reasoning), devoted to all aspects of strategic reasoning in formal methods and artificial intelligence. List of Topics -------------- The topics covered by the workshop include, but are not limited to: * Logical systems for specification, analysis, and reasoning about multi-agent systems * Logic-based modelling of multi-agent systems * Dynamical multi-agent systems * Deductive systems and decision procedures for logics for multi-agent systems * Development and implementation of methods for verification in multi-agent systems * Logic-based tools for multi-agent systems * Logics for reasoning about strategic abilities * Logics for multi-agent mechanism design, verification, and synthesis * Logical foundations of decision theory for multi-agent systems * Strategic reasoning in formal verification * Automata theory for strategy synthesis * Applications and tools for cooperative and adversarial reasoning * Robust planning and optimisation in multi-agent systems * Risk and uncertainty in multi-agent systems * Quantitative aspects in strategic reasoning Invited Speakers ---------------- * Rineke Verbrugge, University of Groningen Co-Located Event ---------------- LAMAS&SR 2022 will be an event co-located with the 14th International Conference on Advances In Modal Logic (AiML 2022, 22-25 August). About COVID-19 -------------- Local organizers are following closely the evolution of the pandemic situation. Our preference is for a full in-person event, but we will employ an online or hybrid format according to the situation. Important Dates --------------- * Paper submission: (extended to) June 5 (AoE) * Author notification: June 30 (AoE) * Camera ready: July 15 (AoE) * Workshop: August 25-26, 2022 Contribution Submission ----------------------- Authors are invited to submit extended abstracts of 2 pages, plus 1 page for references only, in the AAMAS 2022 format. Both published and unpublished works are welcome. Submissions are subject to a single-blind review process, thus, submissions should not be anonymous, must be in PDF format, and will be handled via EasyChair at https://easychair.org/conferences/?conf=lamassr22 Although there will be no formal proceedings, accepted extended abstracts will be made available on the workshop website. Extensions of selected original contributions will be then invited to a special issue of Games, an MDPI open-access journal, with a special arrangement. Program Co-Chairs ----------------- * Fabio Mogavero, Università di Napoli Federico II * Sophie Pinchinat, Université de Rennes 1 Program Committee ----------------- * Thomas Agotnes, University of Bergen * Natasha Alechina, Utrecht University * Guy Avni, University of Haifa * Massimo Benerecetti, University of Naples Federico II * Hans van Ditmarsch, Open University of Netherlands * Valentin Goranko, Stockholm University * Wojtek Jamroga, University of Luxembourg and Polish Academy of Sciences * Dario Della Monica, University of Udine * Emiliano Lorini, Université Paul Sabatier * Nicolas Markey, Université de Rennes 1 * Bastien Maubert, University of Naples Federico II * John-Jules C. Meyer, Utrecht University * Aniello Murano, University of Naples Federico II * Rohit J. Parikh, City University of New York * Sasha Rubin, The University of Sydney, Australia * Chenwei Shi, Tsinghua University * Yanjing Wang, Peking University Organising Committee -------------------- * Sophie Pinchinat, Université de Rennes 1 * Dylan Bellier, Université de Rennes 1 * Pierre Le Scornet, Université de Rennes 1 * Sophie Maupile, Université de Rennes 1 * Alexandre Terefenko, Université de Rennes 1 * Fabio Mogavero, Università di Napoli Federico II

1 0

Trends in Arithmetic Theories -- call for participation
by Dmitry Chistikov 20 May '22

20 May '22

An ICALP 2022 satellite workshop "Trends in Arithmetic Theories" will take place on Monday 4 July 2022 in Paris, France (in person): http://www.cs.ox.ac.uk/people/christoph.haase/home/trends-in-arithmetic-the… Logical theories of arithmetic such as Presburger arithmetic play an important role in a variety of different areas of computer science and have been studied since the early days of the field. The recent years have seen a lot of progress on all aspects of such theories, ranging from new foundational results, algorithmic advances, more performant decision procedures to novel application domains. This progress has largely been obtained independently without much interaction between researchers working on different aspects of this field. The goal of this workshop is to bring together researchers working in the field to exchange latest trends, understand currently existing challenges and to initiate new collaborations. Everyone interested in arithmetic theories is invited to attend. This will be an in-person workshop, but we hope to livestream talks and plan to make them available online after the event has taken place. Speakers: Émilie Charlier (Université de Liège, Belgium) Philipp Hieronymi (University of Bonn, Germany) Roberto Sebastiani (Università di Trento, Italy) Thomas Sturm (Loria Nancy, France & MPI for Informatics, Germany) Sven Verdoolaege (Cerebras Systems, Belgium) Programme and registration: In addition to invited talks, we plan to include an introductions-type session in the programme to give all attendees an opportunity to get to know each other. Please register for the workshop through the main ICALP registration: https://icalp2022.irif.fr/?page_id=50 We're also thinking about a workshop dinner, on Sunday evening before the event. Workshop organisers: Dmitry Chistikov (U. Warwick) Christoph Haase (U. Oxford) Alessio Mansutti (U. Oxford) Jonathan Tanner (U. Oxford) Acknowledgements: This workshop receives support through the ERC project ARiAT. ICALP is the International Colloquium on Automata, Languages and Programming, the main conference and annual meeting of the European Association for Theoretical Computer Science (EATCS).

1 0

CFP: 30 Years Finite Model Theory in Finland: Call for Presentations
by Jonni T Virtema 19 May '22

19 May '22

30 Years of Finite Model Theory in Finland Hanaholmen, Espoo, Finland, August 21-23, 2022 https://www.helsinki.fi/en/conferences/30-years-of-finite-model-theory-in-f… <https://www.helsinki.fi/en/conferences/30-years-of-finite-model-theory-in-f…> We solicit proposals for short presentations fitting the wide topic of the workshop. If you are interested in presenting your work at the workshop, please send a brief email to fmt-30(a)helsinki.fi <mailto:fmt-30@helsinki.fi> with your proposed title and a short (one paragraph) abstract. This international workshop celebrates the past 30 years of active research in the area of Finite Model Theory (FMT) in Finland. Research in FMT in Finland began due to the joint efforts of Phokion G. Kolaitis and Jouko Väänänen in the end of 1980's. Concurrently, while celebrating the 30 years of FMT in Finland, the workshop aspires to be a venue for displaying the current state-of-art of research in FMT globally. The meeting will consist of three keynote lectures, several contributed talks, and plenty of time for collaboration spread over a three day period. The workshop aspires for an intimate and relaxed atmosphere in the spirit of Dagstuhl seminars. The meeting will take place in a secluded conference hotel Hanaholmen on the coast of the Baltic Sea (https://www.hanaholmen.fi/en/ <https://www.hanaholmen.fi/en/>). While secluded, the hotel is also conveniently located just outside Helsinki city center, and can be reached from the main railway station in 20 minutes using the metro. Tentative keynote speakers: Anuj Dawar <https://www.cl.cam.ac.uk/~ad260/> (University of Cambridge) Phokion G. Kolaitis <https://users.soe.ucsc.edu/~kolaitis/> (University of California, Santa Cruz and IBM Almaden Research Center) Jouko Väänänen <http://www.math.helsinki.fi/logic/people/jouko.vaananen/> (University of Helsinki and University of Amsterdam) Registration for the workshop is now open (https://www2.helsinki.fi/en/conferences/30-years-of-finite-model-theory-in-… <https://www2.helsinki.fi/en/conferences/30-years-of-finite-model-theory-in-…>). The registration fee is 250€ covering full board during the workshop but not accommodation. The registration is open until 6 July 2022. Note that the workshop immediately follows the 28th Nordic Congress of Mathematics that takes place in Espoo 18-21 August: https://ncm28.math.aalto.fi/ <https://ncm28.math.aalto.fi/>

1 0

FoIKS 2022: Call for participation
by Kontinen, Juha A 18 May '22

18 May '22

* Apologies if you receive multiple copies of this call * ========================================================= Call for Participation FoIKS 2022: 12th International Symposium on Foundations of Information and Knowledge Systems University of Helsinki, Finland, 20-23 June 2022 Conference website: https://foiks2022.github.io Early registration: 20 May 2022 ========================================================= The FoIKS symposia provide a biennial forum for presenting and discussing theoretical and applied research on information and knowledge systems. The goal is to bring together researchers interested in this subject, share research experiences, promote collaboration, and identify new issues and directions for future research. The FoIKS symposia are a forum for intensive discussions. Speakers will be given sufficient time to present their ideas and results within the larger context of their research. Furthermore, participants will be asked to prepare a first response to another contribution to initiate discussion. *** Technical Program The program is available online (subject to slight changes): https://foiks2022.github.io/program.html *** Invited Speakers - Patricia Bouyer-Decitre: Memory complexity for winning games on graphs - Gabriele Kern-Isberner: The Relevance of Formal Logics for Cognitive Logics, and Vice Versa - Jussi Rintanen: More automation to software engineering - Jouko Väänänen: Dependence logic: Some recent developments - Zeev Volkovich: Text classification using "imposter" projections method *** Registration Please check https://foiks2022.github.io/registration.html *** Publication Springer-Verlag will publish the proceedings in the Lecture Notes in Computer Science. After the symposium, authors of selected papers will be invited to submit extended journal versions of their papers for a FoIKS 2022 special issue of the Annals of Mathematics and Artificial Intelligence or another journal. Exact details will be provided on the conference website in due time. *** Venue The conference will be held at the University of Helsinki. *** Further Information Please visit the conference website (https://foiks2022.github.io) for further information and regular updates. *** Organisation and Program Committee See https://foiks2022.github.io

1 0