Federated Logic Conference comes to Oxford in July 2018

Дата публикации: 03-04-2017 11:00:00

We are pleased to announce that the Federated Logic Conference (FLoC'18) will be held in Oxford, 6-19 July 2018, at the Mathematical Institute and the Blavatnik School of Government.

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

A fitting tribute to the city that boasts Logic Lane.

We are pleased to announce that the Federated Logic Conference (FLoC'18) will be held in Oxford, 6-19 July 2018, at the Mathematical Institute and the Blavatnik School of Government.

FLoC 2018 is the seventh Federated Logic Conference in the series that started in 1996 as part of the DIMACS Special Year on Logic and Algorithms. It brings together nine major international conferences that apply logic in computer science:

• International Conference on Computer Aided Verification (CAV)
• IEEE Computer Security Foundations Symposium (CSF)
• International Symposium on Formal Methods (FM)
• International Conference on Formal Structures for Computation and Deduction (FSCD)
• International Conference on Logic Programming (ICLP)
• International Joint Conference on Automated Reasoning (IJCAR)
• International Conference on Interactive Theorem Proving (ITP)
• Annual ACM/IEEE Symposium on Logic in Computer Science (LICS)
• International Conference on Theory and Applications of Satisfiability Testing (SAT)

Plus FLoC workshops (7-8 July, 13 July, and 18-19 July) and the School on Foundations of Programming and Software Systems (FoPSS, 30 June – 6 July).

FLoC 2018 will have an exciting lineup of speakers, including keynotes by Shafi Goldwasser and Georges Gonthier; plenary lectures by Peter O’Hearn and Byron Cook; and a public lecture by Stuart Russell at the Sheldonian Theatre.  There will also be an Oxford Union-style debate on ethics for autonomous robots.  There will be banquets, receptions and other social events in historic venues across the city: see www.floc2018.org/social-events/ for the latest updates.

The FLoC'18 General Chair is Moshe Y. Vardi and Conference Co-chairs are Daniel Kroening and Marta Kwiatkowska.

For more information see www.floc2018.org.

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

#	Наименование новости	Тональность	Информативность	Дата публикации
1	Programme for FloC goes live	0	10.4	16-05-2018
2	Oxford Computer Science Conference - 1st June, 2018	0	8.5	12-04-2018
3	Summer school focuses on logic and learning	0	9.93	29-06-2018
4	Ethical and societal responsibility debated at 2018 conference	0	12.76	12-06-2018
5	Oxbridge CompSci women organise fifth conference	0	12.86	10-01-2018
6	The 22nd International Workshop on Description Logics (DL2009) 27 to 30 July 2009, Oxford	0	10.99	07-07-2009
7	Oxford to hold artificial intelligence expo in March	0	12.68	18-12-2017
8	Student Conference 2017	0	16.69	07-06-2017
9	Strachey Lecture to focus on Bayesian Logic language	0	9.77	28-06-2018
10	Eleven papers accepted for machine learning conference, ICML 2018	0	13.29	22-05-2018

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