Logo

The 16th Latin American Workshop on New Methods of Reasoning Logic, Languages, Algorithms, New Methods of Reasoning

 

The 16th Latin American Workshop on New Methods of Reasoning Logic, Languages, Algorithms, New Methods of Reasoning

40 40 people viewed this event.

The 16th Latin American Workshop on New Methods of Reasoning Logic, Languages, Algorithms, New Methods of Reasoning will be held in Oaxaca, Mexico

The aim of this workshop is to bring together people from different fields such as programming languages foundations, formal verification, philosophy or artificial intelligence, around methods of reasoning and applications involving logic.

The event welcomes contributions in all research areas related to: logic, formal languages, automated reasoning, formal verification.

The deadline for submitting contributions is: Jun 01, 2024

Event Website
 

Date

06 Sep. 2024
07 Sep. 2024
 

City

Oaxaca
 

Country

Mexico
 

Topic Area

Engineering and Technology

Share With Colleagues