Loading…
CLMPS 2015 has ended

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 Y. Vardi

Moshe Y. Vardi

George Distinguished Service Professor in Computational Engineering, Rice University
Moshe Y. Vardi is the George Distinguished Service Professor in Computational Engineering and Director of the Ken Kennedy Institute for Information Technology at Rice University. He is the recipient of three IBM Outstanding Innovation Awards, the ACM SIGACT Goedel Prize, the ACM... Read More →



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

Attendees (0)