You are here: Home > Archiwum > XVIII Konferencja Zastosowania Logiki w Filozofii i Podstawach Matematyki
XVIII Konferencja Zastosowania Logiki w Filozofii i Podstawach Matematyki
6-10 maja 2013
Szklarska Poręba
Komitet organizacyjny:
- Janusz Czelakowski, Uniwersytet Opolski
- Tomasz Połacik, Uniwersytet Śląski
- Marcin Selinger, Uniwersytet Wrocławski
oraz osoby odpowiedzialne za e-communication and computer setup:
- Krzysztof Siemieńczuk, Uniwersytet Wrocławski
- Bartłomiej Skowron, Uniwersytet Wrocławski
Zaproszeni goście
- Thomas Ågotnes (University of Bergen), Social Laws: Logic and Games (PDF / 84.01 kb);
- Allen Mann (Birkhäuser, New York), First-Order Logic with Imperfect Information (PDF / 65.40 kb) (slajdy: part1 (PDF / 660.56 kb) , part2 (PDF / 441.86 kb) );
- Davide Grossi (University of Liverpool), Abstract Argumentation, Logic & Games (PDF / 145.24 kb);
- Wiesław Kubiś (Czeska Akademia Nauk), Universal Homogeneous Structures (PDF / 150.94 kb).
Program
Uwaga. Symbol (EN) przy nazwisku referenta znaczy, że (w razie obecności zainteresowanych gości zagranicznych) referat będzie przedstawiony w języku angielskim. Symbol (PL) znaczy, że referat będzie zaprezentowany w języku polskim.
Note. (EN) means that the talk is presented in English, (PL) – in Polish.
Przerwa = przerwa na kawę, herbatę + ciasteczko.
Od godziny 14:00 do wieczora rejestracja uczestników w Ośrodku Konferencyjno-Szkoleniowym „Olimp” w Szklarskiej Porębie, ul. 1 Maja 62. Registration – from 2:00 PM.
Wtorek (Tuesday), 7 maja 2013
855 - Otwarcie konferencji
Sesja przedpołudniowa
900 - Thomas Ågotnes (EN), Social Laws: Logic and Games. Part I.
945 - Wiesław Kubiś (EN), Universal Homogeneous Structures. Part I.
1030 - Przerwa (Coffee Break)
1100 - Davide Grossi (EN), Abstract Argumentation, Logic & Games. Part I.
1140 - Allen Mann (EN), First-Order Logic with Imperfect Information. Part I.
1220 - Olena Yaskorska, Katarzyna Budzynska, Magdalena Kacprzak (EN), Lorenzen's Dialogue System in Natural Communication.
Sesja popołudniowa
1500 - Tomasz Połacik (EN), Proving Conservativity by Means of Kripke Models.
1535 - Zofia Kostrzycka (EN), On The Lattice of Subframe Logics in Next (KTB.3').
1610 - Anna Glenszczyk (EN), Investigation in Combining Intuitionistic and Classical Logics.
1630 - Przerwa (Coffee Break)
1700 - Kazimierz Świrydowicz (PL with the slides in EN), Structural Completeness of the Relevant Logic R.
1740 - Lidia Typańska (EN), Maximal Extension of a Logic of Values of A.A. Iwin.
1800 - Tomasz Jordan (PL), Relative Negations as Binary Functors of Classical Sentential Calculus.
1815 - Elżbieta Magner (PL), The Connective "chyba że".
1840 - Bartłomiej Skowron (PL), Ontological Dimension.
Sesja przedpołudniowa
900 - Thomas Ågotnes (EN), Social Laws: Logic and Games. Part II.
945 - Wiesław Kubiś (EN), Universal Homogeneous Structures. Part II.
1030 - Przerwa (Coffee Break)
1100 - Davide Grossi (EN), Abstract Argumentation, Logic & Games. Part II.
1140 - Allen Mann (EN), First-Order Logic with Imperfect Information. Part II.
1220 - Kordula Świętorzecka, Johannes Czermak (EN), A Formal Description of Changeability Enriched by Modalities and Quantification.
Popołudnie wolne
Czwartek (Thursday), 9 maja 2013
Sesja przedpołudniowa
900 - Thomas Ågotnes (EN), Social Laws: Logic and Games. Part III.
945 - Andrzej Indrzejczak (EN), Methods of Proving Cut Elimination.
1030 - Przerwa (Coffee Break)
1100 - Davide Grossi (EN), Abstract Argumentation, Logic & Games. Part III.
1140 - Piotr Wojtylak (EN), Robert Cowens's Hypothesis Concerning Minimally Unsatisfiable CNF's.
1220 - Anna Bień (EN), Products of Singular Graphs.
1240 - Monika Twardak (Szachniewicz) (EN), Logic and Artificial Intelligence.
Sesja popołudniowa
1500 - Kaja Bednarska (EN), Interrogative Games – the Idea of J. Hintikka.
1535 - Michał Zawidzki (EN), Tableau algorithm with inequality solver for the logic MK(En).
1605 - Małgorzata Kruszelnicka (EN), Bisimulations of Kripke Models for Intuitionistic First-Order Logic with Strong Negation.
1630 - Przerwa (Coffee Break)
1700 - Eugeniusz Wojciechowski (PL with the slides in EN), Quantification of Predicates, Venn's Syllogistic and a Certain Notational Convention.
1725 - Grażyna Solecka (PL), „Linguistic Turn”: from Frege to Cognitive Science.
1755 - Irena Trzcieniecka-Schneider (PL), Friendship as a Game.
1825 - Sławomir Kost (PL), Countable Frame for Bimodal Logic Grz.3 ⊗ Grz.3.
Sesja przedpołudniowa
900 - Marcin Łazarz, Krzysztof Siemieńczuk (EN), On some Modification of the Nash Arbitration Scheme in Two-person Matrix Games.
940 - Wojciech Dzik (EN), Almost Structural Completeness in Quasivarieties and in Logic.
1025 - Beniamin Wróbel, (EN) On Non-unifiable Formulae in Chosen BAOs.
1040 - Przerwa (Coffee Break)
1100 - Jan Zygmunt (PL), The Very Beginnings of Set Theory in Poland. (A Preliminary Report).
1135 - Marek Magdziak (PL), A Logical Analysis of the Ontological Concepts of Form and Matter.
1215 - Kazimierz Świrydowicz (PL), Iconic Sign: Definition and Other Fundamental Questions.
Zamknięcie konferencji
