The Foundations of Computer Science Research Group

FoCS at OUCL

Members

Seminars

Our events

Q-day II

CKC in OXFORD

1st_Call

Where_to_go

Where_to_stay

CKC_Location

COQL

RESEARCH

FP6 STREP QICS

Our events

• [QUOXIC]: Quantum Computing at Oxford and Imperial College one-day Workshops.

Our conferences and workshops

• Q-day II in Paris in co-org with Vincent Danos at the Institut Henri Poincare - December 8 & 9, 2005.
• [Cats, Kets and Cloisters], July 17-23, 2006, Oxford University, UK.
• [Quantum Programing Languages IV], July 17-19, 2006, Oxford University, UK.

Our (recent) past conferences and workshops

• [Logic from Quantales] on January 21, 2005 (special [OASIS] session).
• [Computer Science Logic 2005], Oxford, 22-25 August 2005.