Tag Archives: theory

BCTCS 2022

Just a reminder that BCTCS 2022 is taking place in April in Swansea. The registration is open until 30 March.

BCTCS 2022 - Registration
British Colloquium for Theoretical Computer Science (BCTCS) - 2022

ABOUT THE BCTCS

The BCTCS is an annual event for UK-based researchers in Theoretical Computer Science to present their research and discuss future directions. The meeting aims to provide an environment in which PhD students can gain experience in presenting their work, to broaden their outlook on the subject, and to benefit from contact with established researchers. The scope of the colloquium includes all aspects of Theoretical Computer Science, including Automata Theory, Algorithms, Complexity Theory, Semantics, Formal Methods, Concurrency, Types, Languages and Logics.

SPECIAL SESSIONS AND THEMES – Explainable AI, Security, History of TCS, Teaching of TCS

There will be two Special Sessions during the meeting: one on Explainable AI, the other on Theoretical Aspects of Security.

Four of the Invited Speakers have been chosen based on their lifetime achievements in developing Theoretical Computer Science in the UK and have been invited to present personal histories of their fields of expertise.

At the end of the first day there will be a discussion event led by Barnaby Martin on the Pedagogy of Theoretical Computer Science.

BCTCS will also celebrate two important birthdays, John Tucker, 70 and Faron Moller, 60.

INVITED SPEAKERS

  • Cliff Jones (Newcastle)
  • Alexander Knapp (Augsburg)
  • Mike Paterson (Warwick)
  • Rick Thomas (Leicester)
  • Francesca Toni (Imperial)
  • John Tucker (Swansea)

SPECIAL SESSION SPEAKERS (INVITED)

  • Martin Barrere (Imperial)
  • Arnold Beckmann (Swansea)
  • Pardeep Kumar (Swansea)
  • Hoang Nga Nguyen (Coventry)
  • Hsuan Fu (Université Laval)
  • Adam Wyner (Swansea)

Yoruki Yamagata’s talk on Falsification of Cyber-Physical Systems Using Deep Reinforcement Learning

Due to COVID-19 outbreak across the world, we need to move our theory seminars online to ZOOM. We are staying on track with the schedule and Yoriyuki Yamagata will give his talk tomorrow at 2pm.

Topic: Falsification of Cyber-Physical Systems Using Deep Reinforcement Learning.

Abstract: “Falsification” is a method to find a system input or parameter (counter-example) which causes a behavior violating a given specification (usually given by metric or signal temporal logic). Because the correctness of a complex CPS is difficult to be proven, falsification is more practical approach than full verification.  A counter-example found by falsification can be used for debugging and testing.  Failure of falsification does not generally mean the correctness of the system, but suggests it in some degree. “Robustness guided falsification” is an approach of falsification. “Robustness” is a numerical measure of how robustly a formula holds. If robustness becomes negative, the formula is false.  Therefore, minimizing robustness can lead falsification of a formula.

In this talk, we introduce a method to recast robustness guided falsification to a “reinforcement learning problem”.  Reinforcement learning is a machine learning technique in which an agent finds a law of an interacting environment and maximizes a reward.  We implement our method using “deep reinforcement leaning”, in which deep neural networks are used, and present a case study to explore its effectiveness.  (This work is a collaboration with Shuang Liu, Takumi Akazaki, Yihai Duan, Jianye Hao)

Yoriyuki Yamagata
Senior Researcher, Software Analytics Research Group, Information Technology Reseaerch Institute, AIST

36th British Colloquium for Theoretical Computer Science


GUTE-URLS

Wordpress is loading infos from ac

Please wait for API server guteurls.de to collect data from
cs.swansea.ac.uk/bctcs2020/

Swansea University is looking forward to host BCTCS2020 this April.

Summer School: Day 4

Congratulations to Iris van der Giessen for winning the best poster competition and special thanks to Andreas Weiermann for the beautiful picture of Wales that serves as our main prize.

Big thanks to all the speakers and the participants for joining our Summer School. We hope to see you again during the future events by the Proof Society.

Proof Society Summer School 2019

Photo by Olga Petrovska

Visits and talks this week

This week we are glad to welcome two visitors here at Swansea, namely Hideki Tsuiki from Kyoto University and Kristijonas Čyra from the Imperial College of London.

Hideki will give a talk on “Infinite Adequacy Theorem through Coinductive Definitions” today at 14:00 as a part of our Theory seminar series and Kristijonas will speak on “Argumentation-enabled Explainable AI Applications” this Thursday at 15:00 at the CoFo.

Hideki Tsuiki
Professor (Course of Mathematical Science, Graduate School of Human and Environmental Studies, Kyoto University). Ressearch Interests: Computation over Real numbers and Topological spaces, Domains and their topologies, Fractals and their models, Semantics of Programming Languages, Object Oriented Programming, Mathematical Logic, Lambda Calculus.
Kristijonas Čyras
Postdoctoral Researcher in AI at the Department of Computing, Imperial College London. I manage researchers, enthusiastically supervise and teach students, present my work at top tier international conferences, review and assess the works of others and give highest quality feedback, organise research events, represent and speak on behalf of my colleagues and fellow AI researchers during institutional and public engagement opportunities.