mpla.math.uoa.gr
Font size: Αα Αα Αα hide gadgets
You are here: Seminars » 1997-1998 { prev, contents, next } Anonymously browsing from 54.161.108.158 at 02:16:17, 24-11-2017. login

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

Page updates

No recent updates.

Feeds RSS and Atom feeds

posts
all posts RSS
news RSS
announcements RSS
website news RSS
events
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.