View:
Show Author | Hide Author
LISTSERV Archives
PROCOS Home
Subscribe or Unsubscribe
Log In
Get Password
SEFM 2020: Registration is open
Jacopo Mauro
Fri, 28 Aug 2020 17:25:59 +0200
174 lines
Formal Methods 2021 -- 2nd Call for Papers
Jun PANG
Fri, 28 Aug 2020 09:50:04 +0200
258 lines
[CFP] 1st Workshop on Cyber Forensics &Threat Investigations Challenges in Emerging Infrastructures
Chilean Scholar
Fri, 21 Aug 2020 18:12:38 +0100
112 lines
I will get back to you when I return
Mihaela Rozman
Mon, 10 Aug 2020 09:45:15 +0200
60 lines
[Online][September 26 ~ 27, 2020, Copenhagen, Denmark]International Conference on Data Mining and Software Engineering (DMSE 2020) CFP
SUBSCRIBE PROCOS ranulf
Fri, 7 Aug 2020 14:52:16 +0100
125 lines
CfP: Second Workshop on Formal Methods for Autonomous Systems
Matt Luckcuck
Fri, 7 Aug 2020 12:37:16 +0100
171 lines
Advanced Options
For help and support help@jisc.ac.uk