Font size: Αα Αα Αα hide gadgets
You are here: Events » 1998 { prev, contents, next } Anonymously browsing from at 14:08:52, 23-09-2017. login

Events in 1998

Date Event
November 1998
1998-11-27 J. R. Moschovakis (Realizability, models and applications)
1998-11-20 P. Kolaitis (On the boundedness problem for fragments of first-order logic)
1998-11-13 M. Vardi (Automated verification=Graphs, automata and logic)
1998-11-06 M. Rougemont (Interactive proofs on the reals)
October 1998
1998-10-30 Y. N. Moschovakis (The notion of Algorithm)
1998-10-23 C. Nomikos (Path coloring in graphs)
1998-10-16 K. Georgatos (Non-monotonic logic, belief revision and the logic of scientific discovery)
1998-10-09 A. Troelstra (The Intuitionism of Brouwer and Heyting)
1998-10-02 E. Specker (Epistemic Logic and the Prognostic Paradox)
June 1998
1998-06-19 M. Fürer (Historical and positional strategies in infinite games)
1998-06-12 A. T. Pagourtzis (Algorithms for graph coloring with applications in optical networks)
1998-06-05 M. Mytilinaios (Game-theoretic semantics)
May 1998
1998-05-29 C. Dimitracopoulos (Subsystems of Peano arithmetic, III)
1998-05-22 J. B. Paris (Semantics for Fuzzy Logic supporting the Truth-Functionality Assumption)
1998-05-15 C. Dimitracopoulos (Subsystems of Peano arithmetic, II)
1998-05-08 C. Dimitracopoulos (Subsystems of Peano arithmetic, I)
April 1998
1998-04-10 K. Drossos (Monoidal Logics)
1998-04-03 Y. N. Moschovakis (Semantics for fair indeterminacy in models of the typed λ-calculus)
March 1998
1998-03-20 I. Karali (Inductive databases with object-oriented extensions)
1998-03-13 P. Karazeris (Introduction to Categorical Logic)
January 1998
1998-01-23 F. Afrati (Query languages for deductive databases)
1998-01-16 C. Dimitracopoulos (Hilbert's 10th problem)


Page updates

No recent updates.

Feeds RSS and Atom feeds

all posts RSS
news RSS
announcements RSS
website news RSS
all events RSS
defenses RSS
exams RSS
seminars RSS
graduations RSS
Web standards: XHTML1.0, CSS3.
© 1996 – 2017 MPLA: Graduate program in Logic, Algorithms and Computation.
Contact the webmaster.