Nadsyłanie zgłoszeń

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ć).