Computational Logic and Applications

KrajFrancja
MiastoLyon
OrganizatorMarek Zaionc (Jagiellonian University) and Pierre Lescanne (ENS de Lyon)
Data rozpoczęcia2015-03-23
Data zakończenia2015-03-24

Uczestnicy konferencji:

Katarzyna Grygiel - referaty:
  1. Tytuł: Counting Terms in the Binary Lambda Calculus - Rodzaj: W sesji. Płatność: Grant - projekt naukowy (NCN, ministerialny itp).
Maciej Bendkowski - referaty:
  1. Tytuł: Asymptotic properties of combinatory logic - Rodzaj: Plenarny. Płatność: Grant.