mpla.math.uoa.gr
Font size: Αα Αα Αα hide gadgets
You are here: Events » 1998 { prev, contents, next }

Events in 1998

Date Event
Νοέμβριος 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)
Οκτώβριος 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)
Ιούνιος 1998
1998-06-19 M. Fürer (Historical and positional strategies in infinite games)
1998-06-12 A. Παγουρτζής (Algorithms for graph coloring with applications in optical networks)
1998-06-05 M. Mytilinaios (Game-theoretic semantics)
Μάιος 1998
1998-05-29 Κ. Δημητρακόπουλος (Subsystems of Peano arithmetic, III)
1998-05-22 J. B. Paris (Semantics for Fuzzy Logic supporting the Truth-Functionality Assumption)
1998-05-15 Κ. Δημητρακόπουλος (Subsystems of Peano arithmetic, II)
1998-05-08 Κ. Δημητρακόπουλος (Subsystems of Peano arithmetic, I)
Απρίλιος 1998
1998-04-10 K. Drossos (Monoidal Logics)
1998-04-03 Y. N. Moschovakis (Semantics for fair indeterminacy in models of the typed λ-calculus)
Μάρτιος 1998
1998-03-20 I. Karali (Inductive databases with object-oriented extensions)
1998-03-13 P. Karazeris (Introduction to Categorical Logic)
Ιανουάριος 1998
1998-01-23 Φ. Αφράτη (Query languages for deductive databases)
1998-01-16 Κ. Δημητρακόπουλος (Hilbert's 10th problem)

Reporter

Web standards: XHTML1.0, CSS3.
© 1996 – 2018 MPLA: Graduate program in Logic, Algorithms and Computation.
Contact the webmaster.