Loading…
This event has ended. View the official site or create your own event → Check it out
This event has ended. Create your own

View analytic
Tuesday, August 4 • 11:00 - 13:00
A3. Invited Session: Computational Logic and Applications of Logic

Sign up or log in to save this to your schedule and see who's attending!

4 August, 11:00AM – 01:00PM

SPEAKERS AND TITLES

Syntactic Epistemic Logic
Sergei Artemov

A Logical Revolution
Moshe Y. Vardi
, Rice University, USA


Chairs
YM

Yoram Moses

Technion, Israel Institute of Technology

Speakers
SA

Sergei Artemov

City University of New York
avatar for Moshe Vardi

Moshe Vardi

George Distinguished Service Professor in Computational Engineering, Rice University



Tuesday August 4, 2015 11:00 - 13:00
Main Building, Small Hall

Attendees (27)