Synthesizing Concurrent Relational Data Structures

Speaker:: Roman Manevich
Date:: Tuesday, 14.2.2012, 14:30
Place:: Room 337-8 Taub Bld.
Link:: http://www.cs.technion.ac.il/~colloq/20120214_14_30_Manevich.html

Back to the index of events