May 2020 - cbc - software.imdea.org

Anonymous Doodle created and sent
by Manuel Carro 27 May '20

27 May '20

Dear all, you should have received three emails from no_reply(a)doodle.org with a link to vote for the presentations made by each other group -- please check your 'spam' folder in case they have been stored there. The deadline to vote is until tomorrow afternoon. The poll results cannot be observed until then. Thanks for your collaboration! Best, -- Manuel Carro : manuel.carro(a){imdea.org,upm.es} Director, IMDEA Software Institute : http://software.imdea.org Associate Professor, School of CS, UPM : http://www.fi.upm.es EIT Digital Spain : http://www.eitdigital.eu Madrid, Spain : +34-91-101-2202 ext. 4140

1 0

Today's session
by Manuel Carro 27 May '20

27 May '20

Hi. I think I had not sent you the links for today's session: https://zoom.us/j/7911012202 Passwd: 26404152 Again, from 3pm to 6pm. See you! -- Manuel Carro : manuel.carro(a){imdea.org,upm.es} Director, IMDEA Software Institute : http://software.imdea.org Associate Professor, School of CS, UPM : http://www.fi.upm.es EIT Digital Spain : http://www.eitdigital.eu Madrid, Spain : +34-91-101-2202 ext. 4140

1 0

Today's (Wed. 20) lecture
by Manuel Carro 20 May '20

20 May '20

Hi. Since today's lecture did not cover material but question, I think it ought not to go online on the web. You can, however, access it here: https://software.imdea.org/cloud/index.php/s/aaS3ZRg32w2GXig I am afraid I did not record the first question; sorry about that... Best regards, -- Manuel Carro : manuel.carro(a){imdea.org,upm.es} Director, IMDEA Software Institute : http://software.imdea.org Associate Professor, School of CS, UPM : http://www.fi.upm.es EIT Digital Spain : http://www.eitdigital.eu Madrid, Spain : +34-91-101-2202 ext. 4140

1 0

Today's session & model checking
by Manuel Carro 20 May '20

20 May '20

I've had a quick look @ the model checking options. What I understand it does with the constants is: - It makes them range according to the values set for MAXINT and MININT. So, to explore more states, just increase these values. Note: checking time is likely to grow exponentially. - By default, these are enumerated orderly, starting at one. Since it stops when a problem is found, these are usually with a small value. If you want them to be explored in another order, you can check the box "Randomise enumeration of variables". But then, counterexamples won't use small values, which are often easier to deal with. Best, -- Manuel Carro : manuel.carro(a){imdea.org,upm.es} Director, IMDEA Software Institute : http://software.imdea.org Associate Professor, School of CS, UPM : http://www.fi.upm.es EIT Digital Spain : http://www.eitdigital.eu Madrid, Spain : +34-91-101-2202 ext. 4140

1 0

Session tomorrow?
by Manuel Carro 20 May '20

20 May '20

Hi, everyone. I have not received any request to have a session tomorrow. Please let me know if (any) of you would like to have one. Cheers, Manuel -- Manuel Carro : manuel.carro(a){imdea.org,upm.es} Director, IMDEA Software Institute : http://software.imdea.org Associate Professor, School of CS, UPM : http://www.fi.upm.es EIT Digital Spain : http://www.eitdigital.eu Madrid, Spain : +34-91-101-2202 ext. 4140

1 1

Collaborate in Linux
by Manuel 17 May '20

17 May '20

Hi. Has any of you used Collaborate in Linux? I have seen instructions on the web, but they involved installing lots of components, including specific web browsers I had never heard about before. Best, Manuel

1 0

today's course
by Manuel Carro 11 May '20

11 May '20

Sorry I had forgotten to send the link for today: https://us02web.zoom.us/j/9911012202?pwd=NHRoOE1HcVhKYXkwS1NtNzdCZTBUQT09 It should take you stright to the meeting room. Otherwise: https://us02web.zoom.us/j/9911012202 Password: 25241661 -- Manuel Carro : manuel.carro(a){imdea.org,upm.es} Director, IMDEA Software Institute : http://software.imdea.org Associate Professor, School of CS, UPM : http://www.fi.upm.es EIT Digital Spain : http://www.eitdigital.eu Madrid, Spain : +34-91-101-2202 ext. 4140

1 0

Comments to lecture of May 6, 2020
by Manuel Carro 06 May '20

06 May '20

You can get some information on contact tracing applications at - Out of curiosity, I tried Lucy's suggestion to use (mod 2) instead of the definition of parity(·). It didn't work for me: all theorem provers / SMT solvers stop trying to prove s ∈ ℕ ⊢ 1 - (s mod 2) = (s + 1) mod 2 which is precisely thee definition of parity I introduced as an axiom :-) This does not mean that theorem provers / SMT solvers are incredibly stupid. They have many compile-time configuration and invocation options and different theory modules that evolve and are improved continuously. It is possible that the matter is finding the right ones. - A good, recent summary to learn about the status of contact tracing applications is https://apnews.com/eb37b9ada939dfaff40925533c977b5c (but if you do a Google search, many hits will appear) The documents describing the DP3T proposal are at https://github.com/DP-3T/documents/blob/master/ , and the repositories under https://github.com/DP-3T have the source code. Best, -- Manuel Carro : manuel.carro(a){imdea.org,upm.es} Director, IMDEA Software Institute : http://software.imdea.org Associate Professor, School of CS, UPM : http://www.fi.upm.es EIT Digital Spain : http://www.eitdigital.eu Madrid, Spain : +34-91-101-2202 ext. 4140

1 0

Internet problems
by Manuel Carro 06 May '20

06 May '20

I am experiencing problems with my internet connection. Please hold on for some moments! ⁣Sent from phone. Please excuse brevity. Manuel Carro IMDEA Software Institute, director software.imdea.org Assoc. professor, Tech. Univ. of Madrid - UPM www.upm.es Sent from TypeApp

1 0

Today's lecture + next week's lecture
by Manuel Carro 06 May '20

06 May '20

Hi. For today's lecture from 3pm to 6pm, please the URL https://zoom.us/j/7911012202 Password: 10353613 For today's lecture, please have Rodin ready. We will build a small distributed system together. Most of you (one person did not answer the doodle yet) chose to have next week's lecture on Monday, 4pm to 7pm. Cheers, -- Manuel Carro : manuel.carro(a){imdea.org,upm.es} Director, IMDEA Software Institute : http://software.imdea.org Associate Professor, School of CS, UPM : http://www.fi.upm.es EIT Digital Spain : http://www.eitdigital.eu Madrid, Spain : +34-91-101-2202 ext. 4140

1 0

2025

2024

2023

2022

2021

2020

cbc May 2020