Вход на сайт
Просмотр новости

Найдите то, что Вас интересует

Strong showing for Oxford at Logic in Computer Science conference
Дата публикации: 11-04-2012 11:00:00

Four papers accepted to LICS 2012

Основное содержимое страницы с новостью.

Posted: 11th April 2012

Four papers (co)-authored by Oxford computer scientists have been accepted to the Login in Computer Science (LICS 2012) conference.

The twenty-seventh annual ACM/IEEE LICS symposium will be held in June in Dubrovnik, Croatia.   This international forum covers topics that lie at the intersection of computer science and mathematical logic.   Details of the accepted papers are as follows:

  • Daniel Bundala, Joel Ouaknine and James Worrell. On the Magnitude of Completeness Thresholds in Bounded Model Checking
  • Bob Coecke, Ross Duncan, Aleks Kissinger and Quanlong Wang. Strong Complementarity and Non-locality in Categorical Quantum Mechanics
  • Serge Haddad, Sylvain Schmitz and Philippe Schnoebelen. The Ordinal-Recursive Complexity of Timed-Arc Petri Nets, Data Nets, and Other Enriched Nets
  • Jamie Vicary. Higher Semantics of Quantum Protocols

Схожие новости

#Наименование новостиТональностьИнформативностьДата публикации
1Papers accepted to ICALP 2012011.5726-04-2012
2Paper accepted to FOCS 2012013.8925-06-2012
3Papers accepted to TACAS 2012012.6110-01-2012
4Papers accepted to FoSSaCS 2012012.7121-12-2011
5Papers accepted to VLDB 2012011.3830-05-2012
6Papers accepted to IEEE's Logic in Computer Science conference01017-04-2013
7Papers accepted to ESOP 2012015.3110-01-2012
8Oxford Papers for LICS-201508.1914-04-2015
9Four papers accepted to the ACM SIGPLAN International Conference on Functional Programming05.9431-05-2011
10Computational Linguistics Group Success at ACL013.6106-03-2014

Классификация: Пресс-релизы. Схожих патентов: 0. Схожих новостей: 10. Тональность: 0. Информативность: 16.25. Источник: www.cs.ox.ac.uk.