Methods for Modalities (M4M)
Dates: Jun 9, 2013
Location: Lake Placid, New York
The connections between logic and computing are wide-spread and varied. Well-known examples of uses of logic in computer science include
- automated verification,
- databases,
- knowledge representation,
- artificial intelligence,
- formal languages,
- etc.
Going in the opposite direction, from computer science to logic, we find
- extremely fast implementations of model checkers and tableaux-based and resolution-based theorem














