University of Wroclaw

Program

Uwaga. Symbol (EN) przy nazwisku referenta znaczy, że (w razie obecności zainteresowa-nych gości zagranicznych) referat będzie przedstawiony w języku angielskim. Symbol (PL) znaczy, że referat będzie zaprezentowany w języku polskim. 
Przerwa = przerwa na kawę, herbatę + ciasteczko.

Poniedziałek (Monday), 9 maja 2011

Od godziny 14:00 do wieczora rejestracja uczestników w Ośrodku Konferencyjno-Szkoleniowym MSWiA "Olimp" w Szklarskiej Porębie, ul. 1 Maja 62. Registration - from 2:00 PM.

Wtorek (Tuesday), 10 maja 2011

8.55 - Otwarcie konferencji
Sesja przedpołudniowa
9.00 - Tomasz Połacik (EN), Structural Completeness : A Look Back.
9.45 - Wojciech Dzik (EN), Unification and structural completeness in extensions of S4 modal logic.
10.30 - Przerwa (Coffee Break)
11.00 - Piotr Wojtylak (EN), Structural completeness in extensions of S4.3.
11.45 - James G. Raftery (EN), Admissibility and Structural Completeness in Algebraic Logic.
Sesja popołudniowa
15.00 - George Metcalfe (EN), Structural Completeness and Admissible Rules in (Fragments of) Intuitionistic Logic.
16.00 - Zofia Kostrzycka (EN), On interpolation in NEXT (KTB).
16.30 - Przerwa (Coffee Break)
17.00 - Eugeniusz Wojciechowski (PL), Funktory asercji i koniunkcji sekwencyjnej (The Functors of Assertion and Sequential Conjunction). 
17.40 - Jacek Hawranek (PL), Dyskretny urok rachunku relacji.
18.20 - Irena Trzcieniecka-Schneider (PL), Zarys logiki przypadku.

Środa (Wednesday), 11 maja 2011

Sesja przedpołudniowa
9.00 - Petr Cintula and George Metcalfe (EN), Passive Structural Completeness.
9.45 - Andrzej Biela (EN), Algorithmic Structural Completeness.
10.30 - Przerwa (Coffee Break) 
11.00 - James G. Raftery and Ai-Ni-Hsieh (EN), Idempotent Residuated Structures and Finiteness Conditions.
12.00 - Marcin Łazarz (EN), A characterization of Medvedev's logic by means of Kubiński's frames.
12.30 - Edward Bryniarski, Zbigniew Bonikowski, Jacek Waldmajer, Urszula Wybraniec-Skardowska (PL with the slides in EN), The Rational Postulates for Dynamic Epistemic Logic. 

Popołudnie wolne

Czwartek (Thursday), 12 maja 2011

Sesja przedpołudniowa
9.00 - George Metcalfe (EN), Giles's Game and the Proof Theory of Lukasiewicz Logic. 
9.45 - Vitězslav Švejdar (EN) Fragments of Intuitionistic Propositional Logic.
10.30 - Przerwa (Coffee Break)
11.00 - Adam Kolany (EN), Advertising Generalized Satisfiability.
11.45 - Marek Nasieniewski (EN), An Axiomatization of the Propositional Version of Kovač's logic KC
12.15 - Janusz Czelakowski (EN), Finitely Generated Quasivarieties and Irreducibility of Congruences.
Sesja popołudniowa
15.00 - Andrzej Pietruszczak (PL with the slides in EN), Ogólna koncepcja bycia częścią całości. Przechodniość relacji bycia częścią, a mereologia.
15.45 - Bartłomiej Skowron (PL), Husserlowska teoria całości i części.
16.30 - Przerwa (Coffee Break)
17.00 - Marek Magdziak (PL), Ontologika modalna.
17.45 - Marcin Selinger (PL), Uwagi na temat oceny argumentów.
18.30 - Elżbieta Magner (PL), Spójniki zewnętrzne i wewnętrzne.

Piątek (Friday), 13 maja 2011

Sesja przedpołudniowa
9.00 - Anna Bień (EN), Methods of Reduction of Singular Graphs.
9.50 - Michał Zawidzki (EN), Satisfiability problem in modal and hybrid logic with counting.
10.30 - Przerwa (Coffee Break)
11.00 - Michał Lipnicki (PL), Logiczne metody uzasadniania wiedzy w buddyzmie.
11.30 - Marcin Drofiszyn (PL), Problem dylematów moralnych.
12.00 - Michał Tomasz Godziszewski, tytuł zostanie podany później (to be announced).
Zamknięcie konferencji