Third International Conference on Formal Structures for Computation and Deduction
Kraj | Wielka Brytania |
---|---|
Miasto | Oxford |
Organizator | ACM SIGLOG oraz ACM SIGPLAN |
Data rozpoczęcia | 2018-07-09 |
Data zakończenia | 2018-07-12 |
Uczestnicy konferencji:
Maciej Bendkowski - referaty:- Tytuł: - Rodzaj: Żaden. Płatność: Grant - projekt naukowy (NCN, ministerialny itp).