Tootfinder

200 million lines of code on Airbus 350
#etaps #etaps2024

Collision free trajectories in automated driving. Franziska Henze from Cariad / Volkswagen.
Cariad is the software house in VW group. They do software for most car brands in the group.
#etaps industry day
#etaps2024

We are opening the ETAPS 24 conference. One of the best scientific venues on theory and foundations on software! The 27th edition. We're being welcomed by the president Marieke Huisman and the general chairs.
#etaps2024

Lars Birkedal has updated us with all the greatest and newest in iris/separation logics for proving correspondence and almost sure termination of probabilistic programs.
I promise to spam you less after this keynote. Want to keep some of my attention on the conference.
#etaps #etaps2024

Joost Pieter Katoen presenting an obituary for the late Rance Cleaveland, one of the early fathers of #TACAS and #etaps. Rance passed away suddenly only 2 weeks ago, and most of us did not know.
#etaps2024

@… is on fedi. The proceedings are open access available at #etaps apparently.
#etaps2024

Uli Fahrenberg talking about theory and practice of distributed robotics.
#remaro workshop #etaps2024 @…

Mahya Kashani presents 'Reliable Plan Selection with Quantified Risk-Sensitivity' in #remaro workshop at #etaps2024

#remaro 's very own Tobias John presents "Combining Ontologies and Family-Based Modelling for Formal Analysis of Configurable Robots"
#etaps2024

Can we get to reliability with more data, more computational power, more tuning, more refinement? Jan Lemeire is skeptical.
#remaro workshop at #etaps2024

Knowledge Distillation in YOLOX-ViT for Side-Scan Sonar Object Detection
Martin Aubard, Lšszló Antal, Ana Madureira and Erika Ábrahšm
Presented by Laszlo in #remaro workshop
@… #etaps2024

Muhammad Mousavi from King's College talks about doping; this seems to be about Control system doping, no sports. It is mostly an excuse to study formal characterizations and testing of deviations of systems from expected control trajectories under small perturbations.
#remaro #etaps2024 @…

Together with Joost-Pieter Katoen and Raul Pardo we have put together a fantastic PhD school in Copenhagen in October.
The school targets computer science and maths students broadly. The topic is different uses of probability theory in different areas of computer science. The lineup of speakers is amazing, and I will be spamming you about it regularly over the next few months, to secure some boosts :)
The registration is now open:
#pics #fopps #etaps2024

**Prof. Marta Kwiatkowska** of Oxford will talk about _Probabilistic verification for neural networks_ at the PICS Autumn School in Copenhagen.
This course will provide an overview of formal verification for neural networks, which can be used to certify that the networks are robust to adversarial perturbations.
The registrations are now open at: #pics2024 #etaps2024 @ETAPSconf @ACM @sigplan #boost #repost

I made a simple slide.
**Probability in Computer Science**
_PICS: The best PhD School of the Century_
October 14-18, 2024, #pics #PhDschool #sigplan #siglog #etaps2024 #etaps @… @…

Probabilistic Numerics—Computation as Inference
We will discover that elementary numerical algorithms are extracting information—learning—about mathematical quantities from computations, and that it is possible to quantify uncertainty about this process along the way in a tractable fashion, as probability measures...
Register and find out what @… presents in PICS PhD School in Oct'24 in Copenhagen: #pics2024 #etaps2024 @… @… @…

Causality, Explanation, and Harm
What does it mean that an event C “actually caused” event E? The philosophy literature has been struggling with the problem of defining causality since the days of Hume, in the 1700s. ...
See here for more on what Joe Halpern from Cornell will present in the PICS PhD school in Oct'24 in Copenhagen: #pics2024 #etaps2024 @… @… @…