XXI Conference

Applications of Logic in Philosophy and the Foundations of Mathematics

May 9-13, 2016

Szklarska Poręba

Third Announcement

We kindly remind you that our forthcoming meeting will be held again in Szklarska Poręba at the Olimp hotel. The address of the venue is given below:
Zespół Wypoczynkowy Olimp
ul. 1 Maja 62
58-580 Szklarska Poręba

tel./fax +48 75 717 23 42
tel. +48 75 717 20 26, +48 75 717 23 96

web site: www.olimp-rzemieslnik.pl
e-mail: iwona.bialas@olimp-rzemieslnik.pl
The hotel will accept participants on Monday, May 9, from the early afternoon; in the evening dinner will be served. The conference will end on Friday, May 13, after lunch.

In order to get acquainted with the detailed program, please visit the conference web site http://www.klmn.uni.wroc.pl/program2016.html. For travel information see http://www.klmn.uni.wroc.pl/travel2016.html.

See you soon in Szklarska Poręba!

Janusz Czelakowski
Tomasz Połacik
Marcin Selinger


Uwaga. Symbol (EN) przy nazwisku referenta znaczy, że (w razie obecności 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.

Poniedziałek (Monday), 9 maja 2016

Od godziny 14:00 do wieczora rejestracja uczestników w Ośrodku „Olimp” w Szklarskiej Porębie, ul. 1 Maja 62.
Registration – from 2:00 PM.

Wtorek (Tuesday), 10 maja 2016

855 - Otwarcie konferencji

       Sesja przedpołudniowa

900 - Jan Woleński (EN), On Applications of Modal Logic to Classical Philosophical Problems (Part I).
1000 - Heinrich Wansing (EN), Bi-Connexive Variants of Heyting-Brouwer Logic (Part I).

1100 - Przerwa (Coffee Break)

1130 - Heinrich Wansing (EN), Bi-Connexive Variants of Heyting-Brouwer Logic (Part II).
1230 - Daniel Skurt (EN), Non-Monotonic Operators.

       Sesja popołudniowa

1500 - Jiří Raclavský (EN), Deduction in Ramified Partial Type Theory: Focus on Derivations with Type Judgements.
1525 - Ivo Pezlar (EN), A Few Notes on λ-Computation and TIL-Construction.
1550 - Michał Stronkowski (EN), Universal Freeness.
1615 - Mateusz Uliński (EN), Almost Structural Completeness for Tabular Modal Logics.

1640 - Przerwa (Coffee Break)

1710 - Marek Nowak (EN), Monotone Operations Designated by Matrices with Mappings.
1735 - Michał Zawidzki (EN), Finitely Characterizable Models: The Case of Mosaics.
1800 - Adam Trybus (EN), The Development of Affine Logics.
1825 - Elżbieta Magner (PL), The Connective "ewentualnie" in Polish.
1840 - Elżbieta Magner (PL), A Few Notes on the Connective "względnie" and the Connective "ewentualnie" in Polish.

Środa (Wednesday), 11 maja 2016

       Sesja przedpołudniowa

900 - Jan Woleński (EN), On Applications of Modal Logic to Classical Philosophical Problems (Part II).
1000 - Janusz Czelakowski (EN), Probabilistic Interpretations of Predicates.

1040 - Przerwa (Coffee Break)

1110 - Jerzy Pogonowski (EN), American Postulate Theorists and Their Influence on the Foundations of Mathematics.
1135 - Przemysław Wałęga (EN), Representing Humans’ Mental Models in Prioritized Default Logic.
1200 - Marcin Selinger (EN), A Recursive Definition of Argument.
1230 - Tomasz Albiński (PL), Formal Concept Analysis (FCA) with Evaluative Content.

       Popołudnie wolne

Czwartek (Thursday), 12 maja 2016

       Sesja przedpołudniowa

900 - Piotr Wojtylak, Wojciech Dzik (EN), Projective Unification and Structural Completeness in Superintuitionistic Predicate
(Part I).
940 - Wojciech Dzik, Piotr Wojtylak (EN), Projective Unification and Structural Completeness in Superintuitionistic Predicate
(Part II).

1020 - Przerwa (Coffee Break)

1050 - Andrzej Indrzejczak (EN), Tautology Elimination Rule.
1115 - Szymon Frankowski (EN), Counting Some Closure Operations.
1140 - Huimin Dong, Norbert Gratzl (EN), Defeasible Inferences for Free Choice Permission with Substructural Logics.
1205 - Robert Trypuz, Piotr Kulicki (EN), Three Accounts of Moral Dilemmas in Multivalued Settings.
1230 - Clayton Peterson, Piotr Kulicki (EN), Deontic Action Logic Using Substructural Systems.

       Sesja popołudniowa

1500 - Tomasz Połacik, Lloyd Humberstone (EN), Classically Archetypal Rules.
1540 - Adam Přenosil (EN), Combining Direct and Inferential Negation.
1605 - Anna Glenszczyk (EN), Modal Companion of Intuitionistic Control Logic.
1630 - Małgorzata Kruszelnicka (EN), Yes/No Formulae and Describing Theories of Intuitionistic Kripke Models.

1655 - Przerwa (Coffee Break)

1725 - Kordula Świętorzecka (EN), On What Was Proved by S. Leśniewski in His Argumentation of 1927 Against Existence of
          Universals. Remarks on Formalization by B. Sobociński
1805 - Marcin Łyczak (PL), On the Philosophical Notion of the Universe in Leśniewski's Mereology. Supplement to Sobociński's
1830 - Marek Porwolik (PL), Conditional Definitions in Zdzisław Augustynek’s Axiomatic Approaches to Genidentity.

Piątek (Friday), 13 maja 2016

       Sesja przedpołudniowa

900 - Marek Magdziak (PL), Truth and Existence, a Comment to the Correspondence Theory of Truth.
940 - Eugeniusz Wojciechowski (PL), A System of Natural Deduction with Wittgenstein's Operator N.
1005 - Marek Lechniak, Andrzej Stefańczyk (PL), Philosophical Theories and Their Logical Applications on the Example of the Logic
          of Agency of Anselm of Canterbury

1030 - Przerwa (Coffee Break)

1100 - Paweł Klimasara, Krzysztof Bielas, Jerzy Król, Torsten Asselmeyer-Maluga (EN), Forcing, Exotic Smoothness, and
1140 - Szymon Chlebowski, Andrzej Gajda (EN), Haskell Implementation of Abductive Question-Answer System (AQAS).
1205 - Szymon Chlebowski, Maciej Komosiński, Adam Kupś (EN), Automated Generation of Erotetic Search Scenarios:
          Classification, Optimisation and Knowledge Extraction
1230 - Marcin Łazarz (EN), Characterization of Modularity by Means of Cover-Preserving Sublattices.

        Zamknięcie konferencji

Second Announcement

We are pleased to announce that the 21st Conference Applications of Logic in Philosophy and Foundations of Mathematics will be held in Szklarska Poręba from May 9 to May 13, 2016. Traditionally, the organizers of the conference are Chair of Logic, University of Wrocław, Institute of Mathematics and Informatics, University of Opole and Institute of Mathematics, University of Silesia. The event is being held under the patronage of Polish Association for Logic and Philosophy of Science. For further information about this edition of the conference and the previous ones please visit the conference's website http://www.klmn.uni.wroc.pl/conference.html.

We are pleased to announce that the invited speakers of the upcoming meeting are
  • Henrich Wansing, Ruhr-Universitat Bochum,
  • Jan Woleński, University of Information Technology and Management in Rzeszów.
We encourage everyone interested in logic to participate in our event. Contributions related to logic, logical philosophy, pragmatics, foundations of mathematics and related areas are welcome. The abstracts of 30-40 minutes talks, not extending one page, should be submitted via the registration form on the conference website. The deadline for submissions is April 4, 2016 and the notification of acceptance will be sent until April 12, 2016.

The conference venue is situated in the Sudety Mountains on the Polish-Czech border at Olimp Hotel in Szklarska Poręba. The full accommodation covers four-day stay in the hotel (from Monday afternoon till Friday noon) and meals. The cost of accommodation (including meals) is from 646 PLN in a double room to 686 PLN in a single room. The conference fee is 200 PLN.

For the payment details, please visit the conference website http://www.klmn.uni.wroc.pl/conference.html. For registration and the hotel reservation, please fill out the registration form on the conference website. The deadline for registration and the hotel reservation is April 21, 2016.

For additional information, please contact the organizers, Marcin Selinger marcisel@uni.wroc.pl or Tomasz Połacik polacik@math.us.edu.pl.

We are looking forward to seeing you at the conference.

Janusz Czelakowski
Tomasz Połacik
Marcin Selinger