Logo
 

Learning and Automata

43 43 people viewed this event.

Learning and Automata will be held in Tallinn, Estonia

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.

The event welcomes contributions in all research areas related to: grammatical inference, theoretical computer science, machine learning, formal verification.

The deadline for submitting contributions is: Apr 18, 2024

 

Date

07 Jul. 2024
07 Jul. 2024
 

City

Tallinn
 

Country

 

Topic Area

Share With Colleagues