June 2022 - 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