Poster session

Ural Federal University, Ekaterinburg, Russia, June 29 - July 01

News subscription

Самыми эффективными и полезными для меня стали доклады, которые кроме теоретической информации содержали и практические примеры.

- / CSEDays. Application 2010

Public qubits versus private coins, Abuzer Yakaryilmaz
Algorithms and complexity aspects in the theory of synchronizing automata, Marina Maslennikova
On Short Heuristic Proof, Dmitry Sokolov
Proving Termination and Computational Complexity of Computer Programs, Anton Dergunov
Solving Multi-index Linear Programs by Reducing to Tree-Like Networks, Alexey Katerov
Levenshtein Algorithm as a Distance Between Chains, Alexey Raskin
Straight-line Programs: A Short Overview, Alexey Khvorost
Weak monotone proofs of the propositional pigeonhole principle, Das Anupam