Date/Time
Date(s) - 12/12/2019
12:00 am - 5:00 pm
Location
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)