Computational Logic and Applications
| Kraj | Francja |
|---|---|
| Miasto | Lyon |
| Organizator | Marek Zaionc (Jagiellonian University) and Pierre Lescanne (ENS de Lyon) |
| Data rozpoczęcia | 2015-03-23 |
| Data zakończenia | 2015-03-24 |
Uczestnicy konferencji:
Katarzyna Grygiel - referaty:- Tytuł: Counting Terms in the Binary Lambda Calculus - Rodzaj: W sesji. Płatność: Grant - projekt naukowy (NCN, ministerialny itp).
- Tytuł: Asymptotic properties of combinatory logic - Rodzaj: Plenarny. Płatność: Grant.