Paulius Stankaitis
@pastankaitis
Followers
34
Following
413
Statuses
38
Lecturer at University of Stirling @StirUni. Interested in Formal Methods and safe CPS/AI
Joined November 2022
RT @RishadShafik: We are looking for a Machine Learning Researcher to join our SONNETs programme team. You will collaborate with top-tier r…
0
2
0
RT @l4dc_conf: 8 more weeks to the submission deadline for #L4DC 2025 in Ann Arbor, MI! Please help to widely circulate this CFP and encou…
0
13
0
RT @davidad: If you’re an applied mathematician or theoretical computer scientist interested in Safeguarded AI, you can apply to join our T…
0
12
0
RT @FmasWorkshop: We have extended the deadline for #FMAS2024 to the 23rd of August 2024 (still Anywhere on Earth)! This gives you all a l…
0
7
0
@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...
0
0
0
@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.
1
0
0
@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.
0
0
0
@levelsio @dimiboeckaerts Heads of EU countries (all elected) nominate EC members, then European Parliament has to approve (all elected)...
1
0
2
0
0
1
For anyone interested in formal methods and AI, consider submitting your papers at SAIV 2024 (co-located with CAV, full paper deadline 11th April).
0
0
1
RT @FmasWorkshop: Now the deadline is *this* week. Funny how time works. 😏 Remember, the deadline is the 31st of August 2023 (Anywhere on…
0
3
0
RT @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 track…
0
4
0
RT @NclFitz: Do #digitaltwins create cyber vulnerabilities or improve robustness - or both? Join our workshop (Newcastle, 27 June) to help…
0
3
0