Events
Current events
Hyperintension, intension, extension, 14th Congress of Logic, Methodology and Philosophy of Science, Nancy, July 19-26, 2011.
- Invited Speaker: Marie Duží, Trends in Logic IX, Studia Logica international conference on "Church's Thesis: Logic, Mind and Nature", June 3-5, Krakow Poland.
- Detailed info to download here
Branching space-times, Prof. Tomasz Placek, PhD, Invited talk, April 27-28, 2009
-
Presentations to download.
- Branching space-times
- Is the distinction between past, present, and future objective?
- Abstracts
Past events
ECAP 6 - European Congress of Analytic Philosophy, Jagiellonian University Krakow, August 21-26 2008.
- Detailed info to download here
Application of chaos theory in predictions, RNDr. Marek Lampart, PhD., Invited speak, December 2007
Workshop of LabIS members at Čeladná, Beskydy, December 2007
-
Presentations to download.
- Admissible Inference Rules in Linear Time and Logic
- Event Calculus
- Interval Hybrid Temporal Logic
- Reasoning about Knowledge in Asynchronous Distributed Systems
- Operating Instructions for Intelligent Agent Coordination
XML Databases: Principles and Applications, Prof. RNDr. Jaroslav Pokorný, CSc., Invited talk, November 8th, 2007
Workshop of LabIS members at Visalaje, Beskydy, February 2007
16th European - Japanese Conference on Information Modelling and Knowledge Bases EJC 2006: Raztoka, Trojanovice, Czech Republic, May 29th - June 2nd, 2006.
- For details see http://ejc.cs.vsb.cz
