Filozofická Fakulta

Katedra logiky

Studentské hodnocení výuky

Aktuality

Department of Theoretical Computer Science, Institute of Computer Science,
...

26. květen 2017

Master program: basic information

TBD

Yuri Gurevich's talk on logic in computer science and engineering

Department of Theoretical Computer Science, Institute of Computer Science,
AV ČR invites you to Yuri Gurevich's talk on logic in computer
science and engineering, June 8, 2pm, seminar room 318 (Pod Vodarenskou vezi 2):

Datum platnosti: 
25.06.2017

TACL 2017 conference and school

Topology, Algebra and Categories in Logic 2017 Summer School (Olomouc June 20-24) and conference (Prague June 26-30) is approaching! Early registration for the school and conference will be open until 20/05/2017. More info on http://www.cs.cas.cz/tacl2017/.

Datum platnosti: 
08.06.2017