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

Seminars

1998-1999

Date Speaker(s) Title
1999/08/31 D. Gounopoulos Automatic subspace clustering of high dimensional data for data mining applications
1999/06/04 S. Bozapalidis Formal tree series - Additive program schemes
1999/06/04 E. Kranakis Dissections: Plane and Efficient
1999/05/28 E. Galatoulas Topos-theoretic models of Quantum Mechanics
1999/05/26 E. Kranakis Strategies for Assigning Hotlink in Web Pages
1999/05/21 J. Hintikka A Logic for Quantum Theory
1999/05/20 I. Guessarian Window-accumulated subsequence matching problem is linear
1999/05/14 P. Karazeris Topology without points: Logical character and applications
1999/05/07 J. Manakos The paradoxes of Russell and the Liar under the light of H. L. Skala's set theory
1999/04/23 P. Spirakis Sufficient conditions for reducing randomness in PCP systems
1999/04/02 J. B. Paris Common Sense and Uncertain Reasoning
1999/03/26 J. Lambek Type Grammars as pregroups
1999/03/19 C. Dimitracopoulos Introduction to Aristotle's logic, II
1999/03/12 P. Stamatopoulos Constraint satisfaction and applications to AI
1999/03/05 C. Dimitracopoulos Introduction to Aristotle's logic, I
1999/01/22 P. Rondogiannis Temporal language programming
1999/01/15 C. Dimitracopoulos The principle of induction for addition
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/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

Reporter

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