XXI Konferencja

Zastosowania Logiki w Filozofii i Podstawach Matematyki

9-13 maja 2016

Szklarska Poręba


Komunikat trzeci


Szanowni Państwo,

Uprzejmie przypominamy, że tegoroczne spotkanie odbędzie się ponownie w Szklarskiej Porębie w Ośrodku „Olimp”. Podajemy dane adresowe ośrodka:
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

strona internetowa: www.olimp-rzemieslnik.pl
e- mail: iwona.bialas@olimp-rzemieslnik.pl
Ośrodek będzie przyjmował uczestników w poniedziałek 9 maja od wczesnych godzin popołudniowych; wieczorem przewidziana jest kolacja. Konferencja kończy się w piątek 13 maja po obiedzie.

W celu zapoznania się ze szczegółowym programem prosimy o odwiedzenie strony konferencji http://www.klmn.uni.wroc.pl/program2016.html. Szczegółowe dane i mapka dojazdu do ośrodka znajdują się na stronie http://www.klmn.uni.wroc.pl/miejsce2016.html.

Informujemy, że dla uczestników konferencji istnieje możliwość przejazdu z Opola do Szklarskiej Poręby mini-busem Uniwersytetu Opolskiego. Liczba miejsc jest ograniczona. Zainteresowanych prosimy o zgłoszenia do profesora J. Czelakowskiego na adres jczel@math.uni.opole.pl.

Do zobaczenia w Szklarskiej Porębie!

Janusz Czelakowski
Tomasz Połacik
Marcin Selinger






Program


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
          Logics
(Part I).
940 - Wojciech Dzik, Piotr Wojtylak (EN), Projective Unification and Structural Completeness in Superintuitionistic Predicate
          Logics
(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
          Remarks
.
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
          Physics
.
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





Komunikat drugi


Uprzejmie przypominamy, że w dniach od 9 do 13 maja 2016 odbędzie się XXI konferencja z cyklu Zastosowania Logiki w Filozofii i Podstawach Matematyki. Organizatorami spotkania są, tradycyjnie, Katedra Logiki i Metodologii Nauk Uniwersytetu Wrocławskiego, Instytut Matematyki i Informatyki Uniwersytetu Opolskiego oraz Instytut Matematyki Uniwersytetu Śląskiego. Patronat nad konferencją sprawuje Polskie Towarzystwo Logiki i Filozofii Nauki.

Miło nam również poinformować, że zaproszonymi gośćmi zbliżającej się konferencji będą
  • Henrich Wansing, Ruhr-Universitat Bochum,
  • Jan Woleński, Wyższa Szkoła Informatyki i Zarządzania w Rzeszowie.
Serdecznie zapraszamy do nadsyłania propozycji referatów z zakresu logiki, filozofii logicznej, pragmatyki logicznej i podstaw matematyki. Referaty prosimy zgłaszać wypełniając formularz rejestracyjny i dołączając liczący maksymalnie jedną stronę abstrakt odczytu. Prosimy, aby abstrakt sformułowany był w języku angielskim. Termin zgłaszania referatów upływa 4 kwietnia 2016, a decyzję w sprawie przyjęcia referatu wyślemy do 12 kwietnia 2016.

Opłatę konferencyjną w wysokości 200 zł prosimy wpłacić na konto Uniwersytetu Wrocławskiego:
BZ WBK S.A. 4 O/Wrocław
09 1090 2503 0000 0001 1110 6022
podając w tytule wpłaty imię i nazwisko uczestnika wraz z dopiskiem "Konferencja z logiki 7003/1105/16". Informujemy, że zgodnie z zarządzeniem opłata musi być wniesiona przez Jednostkę Macierzystą uczestnika. W przypadku wpłat na konto Uczelni dokonywanych przez osoby fizyczne Faktura za udział w konferencji zostanie wystawiona na osobę fizyczną/wpłacającego. Jednocześnie uprzejmie prosimy o dołączenie w formularzu rejestracyjnym potwierdzenia dokonania przelewu lub o przesłanie potwierdzenia na adres wns.klmn@uwr.edu.pl.

Tegoroczne spotkanie, odbędzie się ponownie w Szklarskiej Porębie w Ośrodku Konferencyjno-Szkoleniowym MSWiA "Olimp". Zachęcamy do odwiedzenia strony internetowej ośrodka: http://www.olimp-rzemieslnik.pl. Przypominamy również adres:
Zespół Szkoleniowo-Wypoczynkowy MSWiA „Olimp”
ul. 1 Maja 62
58-580 Szklarska Poręba
tel./ fax +48 (75) 717 23 42
tel.(75) 717 20 26, 717 23 96
e- mail: iwona.bialas@olimp-rzemieslnik.pl
Koszt pobytu skalkulowany przez ośrodek "Olimp" obejmujący zakwaterowanie i wyżywienie przez cztery pełne doby wynosi:
  • 686 zł w pokoju jednoosobowym (liczba miejsc jest ograniczona),
  • 646 zł w pokoju dwuosobowym.
Termin rezerwacji pokoju upływa 21 kwietnia 2016.

Opłatę miejscową w wysokości 2,18 zł od osoby za dzień pobytu pobierze ośrodek "Olimp" wraz z opłatą za pobyt.

Rezerwacji prosimy dokonywać wypełniając formularz rejestracyjny. Prosimy, aby dokładnie określić tam dzień i porę przyjazdu oraz dzień i porę wyjazdu. Na podstawie tych zgłoszeń organizatorzy dokonają w imieniu uczestników rezerwacji noclegów i posiłków w ośrodku "Olimp" w Szklarskiej Porębie. Każdy z uczestników będzie płacił za pobyt bezpośrednio ośrodkowi, który obliczy ostateczny koszt pobytu i wystawi fakturę VAT na podstawie danych zadeklarowanych w formularzu zgłoszeniowym. Ewentualne zmiany w rezerwacji prosimy zgłaszać, zawiadamiając zarówno ośrodek "Olimp" (iwona.bialas@olimp-rzemieslnik.pl, tel. 75 7172342), jak i organizatorów (marcisel@uni.wroc.pl) w nieprzekraczalnym terminie do 28 kwietnia 2016.
Janusz Czelakowski
Tomasz Połacik
Marcin Selinger