Paulius Stankaitis

Lecturer at University of Stirling @StirUni. Interested in Formal Methods and safe CPS/AI

[EU_Eurostat @EU_Eurostat]

Euro area government #debt at 88.8% of GDP in Q2 2026 (compared with 88.4% in Q1 2026) https://t.co/cTO8DggCK1

[Lars Lindemann @LarsLindemann2]

We’re excited to host the 8th Learning for Dynamics & Control (L4DC) Conference at the University of Southern California from June 17–19, 2026 ☀️🌴

Consider submitting your latest research at the interface between learning, optimization, and control, see https://t.co/L5IF5Nrx0y

[FMASWorkshop @FmasWorkshop]

FMAS is back for 2025!

We are interested in work that applies Formal Methods to almost any kind of autonomous system

Deadline: 22nd Aug 2025 (Anywhere on Earth)
Notification: 6th Oct 2025
Workshop: 17th-19th of Nov 2025 (@iFMconf)
Details: https://t.co/oAdEgQ09qZ

#FMAS2025

[Rishad Shafik @RishadShafik]

We are looking for a Machine Learning Researcher to join our SONNETs programme team. You will collaborate with top-tier researchers to develop an event-triggered, large-scale, and distributed #ML framework for tackling national-scale challenges.

URL: https://t.co/jKQCeszG30

[Paulius Stankaitis @pastankaitis]

@MLamparth Thank you, this is great!!

[Paulius Stankaitis @pastankaitis]

@FmasWorkshop @taylorjohnson congrats!

[L4DC Conference @l4dc_conf]

8 more weeks to the submission deadline for #L4DC 2025 in Ann Arbor, MI!
Please help to widely circulate this CFP and encourage your colleagues, students, and friends to submit their best work!
Further information at https://t.co/pMIGidOCZn or contact us at [email protected]

[davidad 🎇 @davidad]

If you’re an applied mathematician or theoretical computer scientist interested in Safeguarded AI, you can apply to join our TA1.1 workshop, October 1-2 in Manchester, UK.

https://t.co/M3HYlSFSME

[FMASWorkshop @FmasWorkshop]

We have extended the deadline for #FMAS2024 to the 23rd of August 2024 (still Anywhere on Earth)!

This gives you all a little more time to polish your papers, if you're intending to send us some of your work.

Details https://t.co/rxVcrZWH7S

[Paulius Stankaitis @pastankaitis]

@Maryammjd @RoyalHolloway Congrats!

[Paulius Stankaitis @pastankaitis]

@boomerkent @levelsio @dimiboeckaerts I didn't say he was elected... just that OP was incomplete (missing parliament role) and it's common practice in all democratic countries. Nor I'm saying that EU system is perfect, but shown me an ideal one...

[Paulius Stankaitis @pastankaitis]

@boomerkent @levelsio @dimiboeckaerts He is unelected for a reason, so he works for the whole EU and not just France. But he can only be appointed if elected people from EU selected him and approve him. This is a typical process for many positions (e.g., Judge on Supreme Court in US) in many democratic countries.

[Paulius Stankaitis @pastankaitis]

@boomerkent @levelsio @dimiboeckaerts This is also not too different to US system, where you have Secretaries of State (e.g., for transport) that are not elected but confirmed and can issue regulations.

[Paulius Stankaitis @pastankaitis]

@levelsio @dimiboeckaerts Heads of EU countries (all elected) nominate EC members, then European Parliament has to approve (all elected)...

[Paulius Stankaitis @pastankaitis]

@joebeatzhoven @TU_Muenchen @TUM_MIRMI @A2RLeague Congrats!

[Paulius Stankaitis @pastankaitis]

For anyone interested in formal methods and AI, consider submitting your papers at SAIV 2024 (co-located with CAV, full paper deadline 11th April).
https://t.co/AyxxidHvWy

[Paulius Stankaitis @pastankaitis]

@FmasWorkshop Great programme, looking forward!

[FMASWorkshop @FmasWorkshop]

Now the deadline is *this* week. Funny how time works. 😏

Remember, the deadline is the 31st of August 2023 (Anywhere on Earth).

Get your papers ready for submission. All the details are on our website: https://t.co/wIAOV9BhQs

#ifm23 #ifm2023 #formalMethods

[Intl' Conference on Cyber-Physical Systems (ICCPS) @iccps_conf]

#ICCPS2024 website is up and the call for papers is out! This year, we are inviting papers to be submitted to two new tracks: (i) Safe Learning-Enabled CPS, and (ii) Deployments and Industrial Applications! https://t.co/GAqSYJ5C8p