October 31, 2012
Logic Research Group
Logic Research Group meeting every Wednesday, 16:00, at CoreLab.
Session #3: Justification Logic - Basic Principles , November 7, 2012 (Natalia Kotsani).
Alice laughed: "There's no use trying," she said; "one can't believe impossible things."
"I daresay you haven't had much practice," said the Queen.
"When I was younger, I always did it for half an hour a day.
Why, sometimes I've believed as many as six impossible things before breakfast."
October 31, 2012
Logic Research Group meeting every Wednesday, 16:00, at CoreLab.
Session #3: Justification Logic - Basic Principles , November 7, 2012 (Natalia Kotsani).
November 2, 2012
Christos Papadimitriou will give a talk at NTUA, November 7, 2012, 14:00: "Computer Science & Evolution Theory". Read More
The mathematical and computational Logic Reserach Group of CoreLab focuses mainly on the following subjects: Modal Logic, Reasoning, Knowledge, Belief, Provability & Justification Logic.
Natalia Kotsani is an undergratuade student of NTUA (Applied Mathematical & Physical Science Department).
The Computation & Reasoning Laboratory of NTUA supports graduate and undergraduate courses related to Theoretical Computer Science. It also supports diploma and doctoral theses and research in the fields of Theory of Computation, Logic, Cryptography, Computational Geometry and Graph-theoretic Algorithms.