Νοέμβριος 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) |