[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
CSR 2010 Workshop on High Productivity Computations, June 21-22 2010, Kazan, Russia. http://csr2010.antat.ru/HPC.html Scope: The workshop is intended to organize the discussions about high productivity computing means and models, including but not limited to high performance and quantum information processing. Work in the area of Computer Science Logic is particularly welcome. The workshop proceeds the 5th International Computer Science Symposium in Russia (CSR 2010) which is also held in Kazan, June 16--20. Program committee chairs: Farid Ablayev Bob Coecke Program committee: Rusins Freivalds Aida Gainutdinova Alexander Holevo Richard Jozsa Airat Khasianov Vladimir Korepin Alexander Razborov Alexander Vasiliev Mingsheng Ying Scope: The workshop is intended to organize the discussions about high productivity computing means and models, including but not limited to high performance and quantum information processing. The workshop proceeds the 5th International Computer Science Symposium in Russia (CSR 2010) which is also held in Kazan, June 16--20. http://csr2010.antat.ru/index.html Submissions: Authors are invited to submit an up to 6 pages abstract which provides an essence of results allowing the program committee to evaluate the work. Submissions of works in progress are encouraged but must be more substantial than a research proposal. Submissions of both original and already presented research are welcome. Submissions should be in Postscript or PDF format and should be sent to hpc.csr2...@gmail.com by February 25, 2010, with a subject ``Submission''. We're applying to publish the extended versions of abstracts in Electronic Proceedings in Theoretical Computer Science Further information and contact: http://csr2010.antat.ru/HPC.html hpc.csr2...@gmail.com