The Scottish Theorem Proving Event

Date(s) - 12/12/2019
12:00 am - 5:00 pm

International Centre for Mathematical Sciences (ICMS)

SICSA is pleased to be sponsoring the next Scottish Theorem Proving (STP) Event which will take place on Thursday 12th December at the International Centre for Mathematical Sciences (ICMS), Bayes Centre Edinburgh

The STP will be an informal seminar  event for Scottish researchers working on representation, reasoning, verification and theorem proving. It will be under the STP banner, albeit under a new name that will be announced on 12th December. STP has been a long-standing seminar series in Scotland and have greatly benefited from SICSA support. This event would be the 1st STP event in 12 months

The provisional schedule is as follows:

12:00–13:00: Lunch and networking
13:00–14:30: Talks ( Speakers to be confirmed)
14:30–15:00: Break with refreshments
15:00–17:00: Talks (Speakers to be confirmed)

If you would like to attend please complete this Doodle poll by Thursday 21st November:  This will help us arrange catering.
The organiser of the STP is Rob Stewart
This entry was posted in .