COMS

Meetings/Workshops on Information Theory, Foundations of Computer Science in the United Kingdom

Conference-Service.com offers, as part of our business activities, a directory of upcoming scientific and technical meetings. The calendar is published for the convenience of conference participants and we strive to support conference organisers who need to publish their upcoming events. Although great care is being taken to ensure the correctness of all entries, we cannot accept any liability that may arise from the presence, absence or incorrectness of any particular information on this website. Always check with the meeting organiser before making arrangements to participate in an event!

Meeting organisers can submit meetings free of charge for inclusion into the listing.

Select a location:
Belgium (1) - China (1) - Greece (1) - Hungary (1) - Israel (1) - Italy (1) - Peru (1) - Philippines (1) - Singapore (1) - Spain (1) - Thailand (1) - United Kingdom (6) - United States (2) - Vietnam (1) - ALL COUNTRIES (20)

1.Semantics and Syntax: A Legacy of Alan Turing
Dates	09 Jan 2012 → 06 Jul 2012	[ID=422397]
Location	Isaac Newton Institute for Mathematical Sciences, , United Kingdom
Abstract	In several mathematical areas of Theoretical Computer Science, we perceive a distinction between research focusing on symbolic manipulation of language and structures (independent of meaning) and research dealing with interpreted computational meaning of structures. In mathematical logic, the distinction is known as syntax (symbolic manipulation) versus semantics (interpreted structures). This distinction recurs in many research areas, often under different (and sometimes incompatible) names. For research in these fields, both views are important and fundamental for gaining full understanding of the formal issues involved. This programme will bring together researchers from both sides of the syntax-semantics divide. We shall focus on four mathematical areas bordering computer science: logic, complexity, cryptography, and randomness.
Weblink	http://www.newton.ac.uk/programmes/SAS/

2.'The Incomputable' - A workshop of the 6-month Isaac Newton Institute programme - 'Semantics and Syntax: A Legacy of Alan Turing' (SAS)
Dates	12 Jun 2012 → 15 Jun 2012	[ID=422024]
Location	Newport Pagnell, United Kingdom
Abstract	The Incomputable is one of a series of special events, running throughout the Alan Turing Year, celebrating Turing's unique impact on mathematics, computing, computer science, informatics, morphogenesis, philosophy and the wider scientific world. It is held in association with the Turing Centenary Conference (CiE 2012) in Cambridge the following week, which will run up to the June 23rd centenary of Turing's birth, and will culminate with a birthday celebration at Turing's old college, King's College, Cambridge. The Incomputable is unique in its focus on the mathematical theory of incomputability, and its relevance for the real world. This is a core aspect of Turing's scientific legacy - and this meeting for the first time reunites (in)computability theory and 'big science' in a way not attempted since Turing's premature passing. In 2012, the annual Workshop on Computability Theory is being held in conjunction with The Incomputable.
Weblink	http://www.mathcomp.leeds.ac.uk/turing2012/inc/

3.Turing Centenary Workshop on The Incomputable'
Dates	12 Jun 2012 → 17 Jun 2012	[ID=447772]
Location	Chicheley Hall, England, United Kingdom
Weblink	http://www.mathcomp.leeds.ac.uk/turing2012/inc/
4.Turing Centenary Conference (CiE 2012): How the World Computes
Dates	18 Jun 2012 → 23 Jun 2012	[ID=421986]
Location	University of Cambridge, Cambridge, United Kingdom
Abstract	CiE 2012 is one of a series of special events, running throughout the Alan Turing Year, celebrating Turing's unique impact on mathematics, computing, computer science, informatics, morphogenesis, philosophy and the wider scientific world. Its central theme is the computability-theoretic concerns underlying the broad spectrum of Turing's interests, and the contemporary research areas founded upon and animated by them. In this sense, CiE 2012, held in Cambridge in the week running up to the centenary of Turing's birthday, deals with the essential core of what made Turing's contribution so influential and long-lasting. CiE 2012 promises to be an event worthy of the remarkable scientific career it commemorates.
Weblink	http://www.cie2012.eu
5.CiE 2012 — Turing Centenary Conference: Computability in Europe 2012
Dates	18 Jun 2012 → 23 Jun 2012	[ID=425831]
Location	Cambridge, United Kingdom
Weblink	http://www.cie2012.eu
6.ICALP 2012 — 39th International Colloquium on Automata, Languages and Programming
Dates	09 Jul 2012 → 13 Jul 2012	[ID=447821]
Location	Warwick, United Kingdom
Weblink	http://www2.warwick.ac.uk/fac/cross_fac/dimap/icalp2012/
Related subject(s)	Algorithms

View all listed conferences in the United Kingdom.

Last updated: 22 November 2011