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

Seminars

1997-1998

Date Speaker(s) Title
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
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
1998/04/10 K. Drossos Monoidal Logics
1998/04/03 Y. N. Moschovakis Semantics for fair indeterminacy in models of the typed λ-calculus
1998/03/20 I. Karali Inductive databases with object-oriented extensions
1998/03/13 P. Karazeris Introduction to Categorical Logic
1998/01/23 F. Afrati Query languages for deductive databases
1998/01/16 C. Dimitracopoulos Hilbert's 10th problem
1997/12/12 K. Hatzikiriakou The research program of “Reverse Mathematics”
1997/12/05 T. Pheidas The analog of Hilbert's 10th problem for the rational numbers, under the light of new developments in algebraic geometry and number theory
1997/11/28 K. Skandalis Computability in real numbers
1997/11/21 H. Kotlarski An explicit construction of a model of PA + ¬Con_PA
1997/11/14 A. Tzouvaras The symmetry axioms of C. Freiling in a general setting and some applications
1997/11/07 Complexity of logic programs
1997/10/31 Y. N. Moschovakis Games in Analysis, Logic and Theoretical Computer Science, II
1997/10/24 Y. N. Moschovakis Games in Analysis, Logic and Theoretical Computer Science, I

Reporter

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