-A A +A

Latest News

Talks at FLoC 2018

Talks being given as part of #FLoC2018 from #OxCaV group sorted by date:

Wednesday 11th:

14:00, CS Lecture Theatre A : Benchmarks for Cyber-Physical Systems, Nathalie Cauchi, Alessandro Abate , (ADHS)

14:00, CS Lecture Theatre B : Temporal Logic Control of General Markov Decision Processes by Approximate Policy Refinement, Sofie Haesaert, Sadegh Soudjani, Alessandro Abate,  (ADHS)

15:15, CS Lecture Theatre B :Approximate Abstractions of Markov Chains with Interval Decision Processes, Yuriy Zacchia Lun, Jack Wheatley, Alessandro D'Innocenzo, Alessandro Abate,  (ADHS)


Friday, 13th:

11:20, CS Lecture Theatre B: Results of ARCH Friendly Competition: Stochastic Models Group, (ARCH)

16:45, CS Lecture Theatre B: A modular library of stochastic models from building automation systems, Nathalie Cauchi, Alessandro Abate (ARCH)

17:00, Maths Seminar C5: Logically-constrained reinforcement learning, Mohammadhosein Hasanbeig, Alessandro Abate, Daniel Kroening (MoRe)


Saturday, 14th:

16:15,  Maths LT1 : Synthesis Modulor Theories, Alessandro Abate, Cristina David, Pascal Kesseli, Daniel Kroening, Elizabeth Polgreen (CAV)


Wednesday, 18th:

12:12, Maths LT3: Safe, Automated and Formal Synthesis of Digital Controllers for Continuous Plants, Alessandro Abate, Iury Bessa, Dario Cattaruzza, Lucas Cordiero, Cristina David, Pascal Kesseli, Daniel Kroening, Elizabeth Polgreen (SYNT)


Thursday, 19th:

15:00, Maths LT6: Bayesian Verification of Chemical Reaction Networks, Gareth Molyneux, Viraj Brian Wijesuriya, Alessandro Abate (VEMDP)




ADHS 2018 Conference July 11 - 13 2018 Oxford UK

The IFAC Conference on Analysis and Design of Hybrid Systems brings together researchers and practitioners in the area of hybrid systems, with backgrounds in control, computer science, and operations research, to provide a forum for discussing and presenting recent results in the fields of hybrid and cyber-physical systems.

ADHS 2018 will be held at the Department of Computer Science, University of Oxford.
ADHS will be hosted within FLOC 2018, and will precede CAV 2018.


ADHS has already a long and rich history. The previous ADHS were held in St Malo, France (2003), Alghero, Italy (2006), Zaragoza, Spain (2009), Eindhoven, The Netherlands (2012), and Atlanta, GA, USA (2015). In addition, the ADHS series was preceded by the successful conference series on Automation Of Mixed Processes: ADPM 92 in Paris (France), ADPM 94 in Brussels (Belgium), ADPM 98 in Reims (France) and  ADPM 2000 in Dortmund (Germany). 

Contributions are invited in all areas pertaining to the engineering of hybrid systems including: modelling, specification, verification, analysis, control synthesis, simulation, validation, and implementation. We solicit theoretical as well as applied research papers in the area, both as regular papers, and as tools papers, and case studies. We welcome articles connecting the cognate fields of control theory and formal verification. 

Contributions are encouraged on applications of hybrid methods in various fields, such as automotive, avionics, energy and power, mobile and autonomous robotics, the process and manufacture industry, transportation and infrastructure networks, communication networks and networked control systems, cyber-physical systems, safety-critical systems, systems and synthetic biology.

Tropical Abstractions of Max-Plus-Linear Systems

Paper titled: Tropical Abstractions of Max-Plus-Linear Systems accepted in the 16th International Conference on Formal Modeling and Analysis of Timed Systems (FORMATS 2018). Authored by Muhammad Syifa'ul Mufid, Dieky Adzkiya, Alessandro Abateo 

Best Talk (2nd Prize)

The Oxford Computer Science Conference is an annual conference that celebrates student projects, research by Masters and PhD studens, and work by postdoctoral fellows. This year the event was held on 1st of June 2018 and our group member, Gareth Molyneux won the Best Talk (2nd Prize) for presenting his work. The presentation was titled; "Bayesian verification of chemical reaction networks" . 


 Alessandro Abate will be presenting the key note talk within TRENDS 2018 - a workshop on the trends in concurrency theory. It will be part of CONFESTA 2018. More details to follow soon.

BOOM! Big data meets formal methods 2018

Alessandro Abate will be presenting the keynote session within BOOM!  Big data meets formal methods workshop. This workshop will be held within CONFESTA 2018, taking place on the 8th Septemeber 2018, Beijing China. 

Paper accepted to CAV 2018

CounterExample Guided Inductive Synthesis Modulo Theories  - Alessandro Abate, Cristina David, Pascal Kesseli, Daniel Kroening, Elizabeth Polgreen

ADHS 2018

Registration is open at www.floc2018.org/register/.

There are two main categories, Student and Regular. Whilst you might also register for other events (conferences, workshops, or public events) at FLOC in Oxford, please make sure you follow these instructions: 

— The registration to ADHS18 is under ‘Workshops’. Workshops are charged per day, and ADHS18 is a 3-day workshop. 
— Upon selecting the relevant event at FLOC (third page of registration form), please tick three 1-day passes for July 11, 12, and 13 (and select ADHS18 on the following page). 
— We hope you’ll also consider attending the special ADHS18 banquet at Balliol College, held on July 12: please make sure to select the relevant field on the same page.

Further details on the conference can be found  $\rightarrow$ here.

FLoC 2018 registration

During the past forty years there has been extensive, continuous, and growing interaction between logic and computer science. In many respects, logic provides computer science with both a unifying foundational framework and a tool for modeling. In fact, logic has been called “the calculus of computer science”, playing a crucial role in diverse areas such as artificial intelligence, computational complexity, distributed computing, database systems, hardware design, programming languages, and software engineering.

The Federated Logic Conference brings together several international conferences related to mathematical logic and computer science. One can now register for attending FLoC 2018! See here for more details.

A list of FAQ questions related to registration can also be found here.




The FLoC Volunteer programme
Registration for 'The FLoC Volunteer programme' has now opened.  FLoC’18 volunteers will be able to interact with speakers and participants, network with other researchers and meet graduate students from all over the world.
Application details for the FLoC’18 Volunteer Programme are available here.  For questions, please write [email protected].
Further details on FLoC'18 can be found here




Oxford Control and Verification (OXCAV) Group

C/O Department of Computer Science

Wolfson Building, Parks Rd, Oxford OX1 3QD

T: +44 (0) 18656 10767

Education - This is a contributing Drupal Theme
Design by WeebPal.