posted by organizer: Joshua || 1134 views || tracked by 2 users: [display]

LearnAut 2024 : Learning and Automata

FacebookTwitterLinkedInGoogle

Link: https://learnaut24.github.io
 
When Jul 7, 2024 - Jul 7, 2024
Where Tallinn, Estonia
Submission Deadline Apr 18, 2024
Notification Due May 13, 2024
Categories    grammatical inference   theoretical computer science   machine learning   formal verification
 

Call For Papers

Learning and Automata (LearnAut) -- ICALP 2024 workshop
July 7th - Tallinn, Estonia
Website: https://learnaut24.github.io/
Deadline: April 18
Submission portal: https://easychair.org/conferences/?conf=learnaut2024


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

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 include (but are not limited to):
- 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.


** Submission instructions **

Submissions in the form of anonymized extended abstracts must be at most 8 single-column pages long (plus at most four for bibliography and possible appendixes) and must be submitted in the JMLR/PMLR format. The LaTeX style file is available here: https://ctan.org/tex-archive/macros/latex/contrib/jmlr

We do accept submissions of work recently published, currently under review or work-in-progress.

- Submission url: https://easychair.org/conferences/?conf=learnaut2024
- Submission deadline: April 18
- Notification of acceptance: May 13
- Early registration: May 17 (ICALP)
- Workshop: July 7


** Organizers **

Sophie Fortz (King's College London, UK)
Franz Mayr (Universidad ORT Uruguay, UY)
Joshua Moerman (Open Universiteit, Heerlen, NL)
Matteo Sammartino (Royal Holloway, University of London, UK)

Related Resources

Ei/Scopus-CCNML 2025   2025 5th International Conference on Communications, Networking and Machine Learning (CCNML 2025)
Ei/Scopus-SGGEA 2025   2025 2nd Asia Conference on Smart Grid, Green Energy and Applications (SGGEA 2025)
AAIML 2026   IEEE--2026 International Conference on Advances in Artificial Intelligence and Machine Learning
ICDM 2025   The 25th IEEE International Conference on Data Mining
Ei/Scopus-AI2A 2025   2025 5th International Conference on Artificial Intelligence, Automation and Algorithms (AI2A 2025)
CGASP 2025   International Conference on Computer Graphics, Animation & Signal Processing
S+SSPR 2026   Joint IAPR International Workshops on Statistical Techniques in Pattern Recognition and Structural and Syntactic Pattern Recognition
IEEE CNCIT 2025   2025 4th International Conference on Networks, Communications and Information Technology (CNCIT 2025)
EPSEE 2025   2025 4th International Conference on Advanced Electric Power System and Energy Engineering (EPSEE 2025)
CVAI 2026   2026 International Symposium on Computer Vision and Artificial Intelligence (CVAI 2026)