Font size: Αα Αα Αα hide gadgets
You are here: Seminars » 1998-1999 { prev, contents, next } Anonymously browsing from at 15:37:13, 26-09-2017. login



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


Page updates

No recent updates.

Feeds RSS and Atom feeds

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