Submitted by noronen on November 3, 2009 - 16:25
Hash: SHA1
Place: Tuesday 3.11 14-17 at HIIT Spektri, 3rd floor
SHA Hash Functions: History & Current State
Sergey Panasenko, independent information security consultant, Moscow, Russia.
Abstract
Submitted by noronen on November 2, 2009 - 16:05
FT Antti Leino Kotimaisten kielten tutkimuskeskuksesta pitää dosentin opetusnäytteen maanantaina 2.11. klo 16:15-16:45 otsikkonaan "Miten tietokone näkee suomen murteet?".
Alana on suomen kieli ja sovellettu tietojenkäsittelytiede.
Opetusnäyte on suunniteltu siten, että se sopisi osaksi aiemmin tällä lukukaudella pidettyä Murteiden matkassa -kurssia.
Luento pidetään Castrenianumin seminaarihuoneessa (päärakennuksen 4. kerroksen sali 17).
The Computational Logic Group develops automated reasoning techniques for solving challenging computational problems in engineering and science. The current focus is on efficient computational methods for solving large constraint satisfaction problems including SAT, SMT and rule-based constraints and on their applications in areas such as computer aided verification, automated testing, product configuration, planning, combinatorial problems, and logical cryptanalysis.
Pages