Theory

Swansea, Department of Computer Science

Skip to content

Home
About
People
Projects
- Current projects
- Past projects
Seminars
- Seminars Calendar
- PCV seminar series
Publications
Members Area

Seminars Calendar

Subscribe to this calendar.

Search for:

Recent Posts

Prawf: an interactive proof assistant for program extraction (CIE 2020 talk)
BCTCS 2020 going ahead
25th International Workshop on Algebraic Development Techniques 2020
Seminar series on Computability Theory and its Applications
Yoruki Yamagata’s talk on Falsification of Cyber-Physical Systems Using Deep Reinforcement Learning

Archives

Categories

Break through result
Conference
Event
Invited talk
New project
PhD Viva
Research
Research trip
Research visit
school
Workshop

Meta

Log in
Entries RSS
Comments RSS
WordPress.org

Proudly powered by WordPress

Translate »