Konference

Stručné zprávy o účasti na konferencích

Logic Colloquium 2004

LC 2004, Torino, Italy, 24 – 31 July 2004.
Účastníci z grantových řad: Libor Běhounek, Marta Bílková, Petr Cintula, Rosťa Horčík, Michal Peliš, Ondra Majer.
Příspěvky:
Libor Běhounek: Extensional set equality over Gödel logic
Marta Bílková: A computational view of intuitionistic propositional proofs
Petr Cintula: Towards universal fuzzy logic
Rostislav Horčík: Strong standard completeness of /PiMTL

8. Flemish-Polish Workshop on Adaptive and Erotetic Logics and Their Application to the Philosophy of Science

Polsko, Zielona Góra, 20.-22. listopadu 2003
Účastníci z grantových řad: Michal Peliš, Libor Běhounek.
Příspěvky:
Libor Běhounek: Fuzzification of Groenendijk-Stokhof erotetic logic
Michal Peliš: Transparent Intensional Logic and its Refusals of Erotetic Logic

Znalosti 2004

Brno, 25. – 27.2. 2004
Účastníci z grantových řad: Jarek Muller.

Logica 2004

Hejnice, 21. – 25.7. 2004
Účastníci z grantových řad: všichni.
Příspěvky:
M. Duží, B. Jespersen, J. Muller: Epistemic Closure and Explicit Knowledge

ESSLLI 2004

Nancy, Francie, 9. – 20.8. 2004
Účastníci z grantových řad: Jarek Muller.

Logic, Games and Philosophy

Praha, 28.9. -­ 1.10. 2004
Účastníci z grantových řad: Michal Peliš, Petr Cintula, Ondra Majer, Marta Bílková, Libor Běhounek.
Příspěvky:
Petr Cintula, Ondrej Majer: Evaluation Games in Fuzzy Logics

Autumn school of logic

Pec pod Sněžkou, 20.10. -­ 25.10. 2004
Účastníci z grantových řad: Michal Peliš, Petr Cintula, Ondra Majer, Marta Bílková, Libor Běhounek, Tom Pešina, Jarek Muller, Ondra Tomala, Honza Kolář, Petr Jirků, Pavel Pudlák.
Příspěvky:
Petr Cintula, Libor Běhounek: Mathematical fuzzy logic
Ondrej Majer: Substructural logics
Marta Bílková: Disjunction property and admissible rules
Michal Peliš, Libor Běhounek: Logic of questions
Jarek Muller: TIL
Ondra Tomala: Free logics

– mb –
Konference 2004

LOGICA 2004, 21th – 25th June, 2004, Hejnice.
Knowledge and Games Workshop, 10-11 July 2004, Liverpool Deadline for paper submissions is May 1st.

ICALP 2004, 12-16 July 2004, Turku, Finland
The 31st International Colloquium on Automata, Languages and Programming colocated with the 19th International Conference on Logic in Computer Science (LICS04).

LICS 2004, 14-17 July 2004, Turku, Finland
The LICS Symposium is an annual international forum on theoretical and practical topics in computer science that relate to logic in a broad sense. The conference is sponsored by the IEEE Computer Society Technical Committee on Mathematical Foundations of Computing.

LOFT: Logic and the Foundations of the Theory of Games and Decisions, 16 – 18 July 2004, Leipzig, Germany.

WoLLIC’2004, 11th Workshop on Logic, Language, Information and Computation, 19-22 July 2004, Paris, France.

LC 2004, Torino, Italy, 24-31 July 2004, abstract submission deadline is 25 April, early registration deadline is 31 May.

ESSLLI, Nancy, France, 09-21 August 2004, early registration deadline is 1 May.

Fall School of the Logic seminar MU AV, Pec pod Snezkou, September 12-18, 2004.

Logic, Games and Philosophy: foundational perspectives Prague International Colloquium, 28 September – 1 October 2004, Prague, Czech Republic.

British Logic Colloquium
CSL , Karpacz, Poland
Advances in Modal logic
Graduate Student Conf. Notre Dame