IMPACT SCORE JOURNAL RANKING CONFERENCE RANKING Conferences Journals Workshops Seminars SYMPOSIUMS MEETINGS BLOG LaTeX 5G Tutorial Free Tools
 
LearnAut 2022 : Learning & Automata 2022
LearnAut 2022 : Learning & Automata 2022

LearnAut 2022 : Learning & Automata 2022

Paris, France
Event Date: July 04, 2022 - July 04, 2022
Submission Deadline: April 07, 2022
Notification of Acceptance: May 05, 2022
Camera Ready Version Due: June 05, 2022




Call for Papers

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.

We invite submissions of recent work, including preliminary research, related to the theme of the workshop. The Program Committee will select a subset of the abstracts for oral presentation. At least one author of each accepted abstract is expected to represent it at the workshop (in person, or virtually).

Note that accepted papers will be made available on the workshop website but will not be part of formal proceedings (i.e., LearnAut is a non-archival workshop).

**************************************************************************************

Topics of interest

Computational complexity of learning problems involving automata and formal languages.
Algorithms and frameworks for learning models representing language classes inside and outside the Chomsky hierarchy, including tree and graph grammars.
Learning problems involving models with additional structure, including numeric weights, inputs/outputs such as transducers, register automata, timed automata, Markov reward and decision processes, and semi-hidden Markov models.
Logical and relational aspects of learning and grammatical inference.
Theoretical studies of learnable classes of languages/representations.
Relations between automata or any other models from language theory and deep learning models for sequential data.
Active learning of finite state machines and formal languages.
Methods for estimating probability distributions over strings, trees, graphs, or any data used as input for symbolic models.
Applications of learning to formal verification and (statistical) model checking.
Metrics and other error measures between automata or formal languages.


Best Deals



Credits and Sources

[1] LearnAut 2022 : Learning & Automata 2022


Check other Conferences, Workshops, Seminars, and Events


OTHER MACHINE LEARNING EVENTS

ECIR 2023: 45th European Conference on Information Retrieval
Dublin, Ireland
Apr 2, 2023
Open-SOFOS 2022: Open Data Science for Food Security
Online Event
Sep 19, 2022
ACM ICMLSC 2023: ACM--2023 The 7th International Conference on Machine Learning and Soft Computing (ICMLSC 2023)
Chongqing, China
Jan 5, 2023
IPMV 2023: 2023 5th International Conference on Image Processing and Machine Vision (IPMV 2023)
Macau, China
Jan 13, 2023
SPIE ICMV 2022: SPIE--2022 The 15th International Conference on Machine Vision (ICMV 2022)
Rome, Italy
Nov 18, 2022
SHOW ALL

OTHER FORMAL METHODS EVENTS

OVERLAY 2022: 4th Workshop on Artificial Intelligence and fOrmal VERification, Logic, Automata, and sYnthesis
Udine (Italy)
Nov 28, 2022
F-IDE 2022: 7th Workshop on Formal Integrated Development Environment
Berlin, Germany
Sep 26, 2022
RL-CONFORM 2022: 2nd RL-CONFORM Workshop: Reinforcement Learning meets HRI, Control, and Formal Methods
Kyoto, Japan
Oct 23, 2022
SOFTPA 2022: International Conference on Emerging Practices in Software Process & Architecture
Sydney, Australia
Jun 18, 2022
TIME 2022: 29th International Symposium on Temporal Representation and Reasoning
online
Nov 7, 2022
SHOW ALL

OTHER COMPLEXITY EVENTS

FUN 2022: Fun with Algorithms
Sicily, Italy
May 30, 2022
SmP 2022: Structure Meets Power 2022
Paris
Jul 4, 2022
CCCG 2022: 34th Canadian Conference on Computational Geometry
Toronto, Ontario, Canada
Aug 25, 2022
ESA 2022: European Symposium on Algorithms
Potsdam, Germany
Sep 5, 2022
SWAT 2022: Scandinavian Workshop on Algorithm Theory
Faroe Islands
Jun 27, 2022
SHOW ALL

OTHER PROGRAMMING LANGUAGES EVENTS

FE-CPS 2022: 1st International Workshop on Formal Engineering of Cyber-Physical Systems
Cluj-Napoca, Romania
Jul 8, 2022
MEMOCODE 2022: 20th ACM/IEEE International Symposium on Formal Methods and Models for System Design
Shanghai, China
Oct 13, 2022
HOPE 2022: ACM SIGPLAN Workshop on Higher-Order Programming with Effects
Ljubljana, Slovenia
Sep 11, 2022
MPLR 2022: 19th International Conference on Managed Programming Languages & Runtimes
Brussels, Belgium
Sep 14, 2022
LOPSTR 2022: 32nd International Symposium on Logic-Based Program Synthesis and Transformation
Tbilisi, Georgia
Sep 21, 2022
SHOW ALL