
Zgłoszenia prosimy nadsyłać w formatce na adres ptlifn.sekretarz@gmail.com. W przypadku zgłoszeń na warsztaty prosimy o wpisanie nazwy warsztatu w nagłówku wiadomości. W przypadku regularnych zgłoszeń prosimy o dopasowanie następujących tagów (co najwyżej trzech) do swojego referatu:
- automatyczne rozumowanie i automatyczne dowodzenie twierdzeń,
- filozofia logiki,
- filozofia nauki,
- formalne teorie prawdy,
- historia logiki,
- historia logiki polskiej,
- logika i podstawy informatyki,
- logika i sztuczna inteligencja,
- logika algebraiczna,
- logika deontyczna i logika działania,
- logika epistemiczna,
- logika filozoficzna,
- logika infinitarna,
- logika intuicjonistyczna,
- logika kontrklasyczna,
- logika modalna,
- logika parakonsystentna,
- logika podstrukturalna,
- logika pytań,
- logika temporalna,
- logika wielowartościowa,
- logiki nieklasyczne,
- semantyka logik modalnych,
- teoria deskrypcji,
- teoria dowodu,
- teoria mnogości i podstawy matematyki,
- teoria modeli,
- teoria rekursji,
- inne: (proszę wpisać).