16 Feb
2025
16 Feb
'25
11:54 p.m.
Hello, everyone.
Just a clarification: when you submit a proof as answer for one of the exercises, please use sequent calculus, as we did (are doing) in the classroom slides, and follow the scheme for the hypotheses and goals that are needed for the proofs.
Thanks in advance,
Manuel
On Thu, 13 Feb 2025 00:04:17 +0100, Manuel Carro manuel.carro@imdea.org wrote:
Hi, all. The first exercise sheet for Event-B is available at the course website. Please see the announcement at
https://wp.software.imdea.org/cbc/2025/02/13/first-cbc-homework-deadline-tue...
Best,
--
Manuel Carro : manuel.carro@{upm.es,imdea.org}
Associate Professor, School of CS, UPM : http://www.fi.upm.es
Director, IMDEA Software Institute : https://software.imdea.org
Madrid, Spain : +34-91-101-2202 ext. 4140