| September 1 |
Mel Fitting
(Lehman/Graduate Center) |
Title:
Logics with Explicit Evidence |
| September 8 |
Bruce Bernstein
(NYSIA) |
Title: Opportunities for PhD students in Industry |
| September 15 |
Michael Bukatin
(Brandeis) |
Title:
Remarks on some methods for software continualization |
| September 22 |
Dov Samet
(Tel Aviv University) |
Title: Two envelope puzzles and agreeing to agree |
| September 29 |
Pradeep Dubey
(Stony Brook and Yale) |
Title: Grading in Games of Status: Marking Exams and Setting Wages |
| October 6 |
Sergei Artemov
(Graduate Center CUNY) |
Title: Justified Knowledge |
| October
20 |
Phil
Venables
(The Goldman Sachs Group, Inc.) |
Title:
The
Resilient Enterprise: Convergence of Security,
Compliance,Redundancy and Risk |
| October
27 |
Boojala Vijay B. Reddy
(Queens College and Graduate Center, CUNY) |
Title: Bioinformatics of Protein Sequences
and Structures to Understand their Folding, Function and Interactions |
| November
3 |
Howard Blair
(Syracuse) |
Title: Differential Calculus on Convergence Spaces and Models
of Hybrid Computation |
| November
10 |
Alexei Myasnikov
(McGill) |
Title: Modern Cryptanalysis: generic complexity and asymptotic dominance |
| November
17 |
Michael Mislove
(Tulane)
| Title: Models for Probability and Nondeterminism |
| December
1 |
Pedro J. Moreno
(Google) |
Title: Organizing the world's information (the world is bigger than you think!)
|
| December
8 |
Nachum Dershowitz
(Tel Aviv University)
|
Title: A Proof of the Church-Turing Thesis |
| December
15 |
Saad Mneimneh
Hunter College |
Title: RNA-RNA interaction: formulation, NP-completeness, and
approximations |
