-
Workshop for Logic, Language, Information, and Computation - WoLLIC 2011
May 20, 2011 - 8:30am
-
Workshop for Logic, Language, Information, and Computation - WoLLIC 2011
May 19, 2011 - 8:30am
-
Workshop for Logic, Language, Information, and Computation - WoLLIC 2011
May 18, 2011 - 8:00am
-
Distributed knowledge authorization language DKAL and the infon logic
May 17, 2011 - 3:00pm
-
The Functional Interpretation of Direct Computations
May 12, 2011 - 3:00pm
-
Finite element exterior calculus: where numerical PDE meets topology
May 12, 2011 - 1:00pm
-
Mathematics that swings: the math behind golf
May 11, 2011 - 2:00pm
-
How Dennis and I have intersected
May 11, 2011 - 2:00pm
-
The Cauchy Problem for Systems of Conservation Laws
May 5, 2011 - 1:00pm
-
To invert, or not to invert: that is the question
May 4, 2011 - 2:00pm