Pavel Surynek's Academic Page | List of News

List of News

Hide menu   Show menu   Jump to the bottom   Print page


22nd Nov 2015
New publications are on-line (IJCAI 2015, SoCS 2015). »»
22nd Nov 2015
New topics for a project or a thesis have been posted (Evacuation, Jaeger Kit, and more). »»
19th Nov 2015
7th lecture on Decision Procedures and Verification (NAIL094) posted. »»
12th Nov 2015
6th lecture on Decision Procedures and Verification (NAIL094) posted. »»
10th Nov 2015
Points from Logic (NAIL062) updated. »»
10th Nov 2015
Points from Decision Procedures and Verification (NAIL094) updated. »»
5th Nov 2015
5th lecture on Decision Procedures and Verification (NAIL094) posted. »»
3rd Nov 2015
Points from Logic (NAIL062) updated. »»
3rd Nov 2015
Points from Decision Procedures and Verification (NAIL094) updated. »»
29th Oct 2015
4th lecture on Decision Procedures and Verification (NAIL094) posted. »»
26th Oct 2015
Points from Logic (NAIL062) updated. »»
26th Oct 2015
Points from Decision Procedures and Verification (NAIL094) updated. »»
22nd Oct 2015
3rd lecture on Decision Procedures and Verification (NAIL094) posted. »»
22nd Oct 2015
Points from Logic (NAIL062) updated. »»
15th Oct 2015
2nd lecture on Decision Procedures and Verification (NAIL094) posted. »»
12th Oct 2015
Points from Decision Procedures and Verification (NAIL094) updated. »»
12th Oct 2015
Points from Logic (NAIL062) updated. »»
8th Oct 2015
Seminar on Logic (NAIL062) is on-line. »»
8th Oct 2015
Decision Procedures and Verification (NAIL094) are on-line. »»
8th Oct 2015
Academic year 2015/2016 is here. »»

Hide menu   Show menu   Jump to the top   Print page