| Subject |
Author |
Date |
|
[Final CFP - Extended Deadline] Special Issue "Software Engineering for Robotics" (Robotics and Autonomous Systems Journal)
|
Alvaro Miyazawa <alvaro.miyazawa@york.ac.uk> |
2022-05-18 06:10 -0700 |
| |
|
[CFP] Special Issue "Software Engineering for Robotics" (Robotics and Autonomous Systems Journal)
|
Alvaro Miyazawa <alvaro.miyazawa@york.ac.uk> |
2022-04-07 03:08 -0700 |
| |
|
[CFP] Special Issue "Software Engineering for Robotics" (Robotics and Autonomous Systems Journal)
|
Alvaro Miyazawa <alvaro.miyazawa@york.ac.uk> |
2021-12-13 04:21 -0800 |
| |
|
Call for Nominations: VCLA International Student Awards 2021
|
Alexandra Traxler <vcla.alexandra@gmail.com> |
2021-03-23 05:28 -0700 |
| |
|
Postdoc position on Formal Methods and Testing @ TU Graz, Austria
|
Bernhard Aichernig <aichernig@ist.tugraz.at> |
2020-09-04 06:03 -0700 |
| |
|
12 PhD Positions in the Doctoral Program Logical Methods in Computer Science (LogiCS) - fully funded - Vienna, Austria - Deadline: 12 June 2020
|
Vienna Center for Logic and Algorithms <vcla.tuwien@gmail.com> |
2020-06-02 05:43 -0700 |
| |
|
InfQ 2018 – New Frontiers in Quantitative Methods in Informatics
|
"Marcello M. Bersani" <marcellomaria.bersani@gmail.com> |
2018-07-05 10:13 -0700 |
| |
|
VCLA International Student Awards 2018 - Deadline March 25 AoE
|
Vienna Center for Logic and Algorithms <vcla.tuwien@gmail.com> |
2018-03-21 12:45 -0700 |
| |
|
CFP: UTP 2016 - 6th International Symposium on Unifying Theories of Programming, June 4-5, 2016, Reykjavík, Iceland
|
Jonathan Bowen <jpbowen@gmail.com> |
2015-11-16 04:03 -0800 |
| |
|
Final Call for Papers SETTA 2015, Nov, Nanjing, China
|
Jonathan Bowen <jpbowen@gmail.com> |
2015-06-14 14:27 -0700 |
| |
|
Formal Methods job opening - Palo Alto, California
(2 replies)
|
"brinkley.chris" <brinkley.chris@ssd.loral.com> |
2011-06-29 11:14 -0700 |
|
→
Re: Formal Methods job opening - Palo Alto, California
|
dragan.stosic@gmail.com |
2015-01-21 12:14 -0800 |
|
→
Re: Formal Methods job opening - Palo Alto, California
|
nokib.ece@gmail.com |
2015-05-21 05:39 -0700 |
| |
|
Turbocharge YOUR Career
|
sonagilbert123@gmail.com |
2015-05-07 02:35 -0700 |
| |
|
Call for Papers: SEFM 2015 - 13th International Conference on Software Engineering and Formal Methods, York, UK, 7-11 September 2015
|
Jonathan Bowen <jpbowen@gmail.com> |
2015-01-10 16:04 -0800 |
| |
|
Call for Papers: SETTA - Symposium on Dependable Software Engineering: Theories, Tools and Applications, Nanjing, China, November 4-6, 2015
|
Jonathan Bowen <jpbowen@gmail.com> |
2015-01-10 16:00 -0800 |
| |
|
BCS-FACS ProCoS Workshop on Provably Correct Systems, London, UK, 9-10 March 2015
|
Jonathan Bowen <jpbowen@gmail.com> |
2015-01-10 15:59 -0800 |
| |
|
Cfp: Call for Papers for Special Issue on Digital Vehicular Safety
|
Hossam Kiwan <eng.hossamkiwan@gmail.com> |
2014-12-15 14:26 -0800 |
| |
|
Finding loop invariants for programs that exist entirely inside loops
(2 replies)
|
Rafael Anschau <rafael.anschau@gmail.com> |
2014-08-17 11:05 -0700 |
|
→
Re: Finding loop invariants for programs that exist entirely inside loops
|
"Albert Y. C. Lai" <trebla@vex.net> |
2014-09-01 13:40 -0400 |
|
→
Re: Finding loop invariants for programs that exist entirely inside loops
|
Rafael Anschau <rafael.anschau@gmail.com> |
2014-09-03 17:07 -0700 |
| |
|
Call for Applications for PhD Student Positions (Software Engineering)
|
Jonathan Bowen <jpbowen@gmail.com> |
2014-06-30 10:26 -0700 |
| |
|
CFP: FM2015 (20th International Symposium on Formal Methods); 22-26. June, 2015, Oslo
|
Martin Steffen <martin.sputnik@gmail.com> |
2014-06-24 02:36 -0700 |
| |
|
Call for Industry Track Presentations: The 25th IEEE International Symposium on Software Reliability Engineering (ISSRE 2014)
|
khain2007@gmail.com |
2014-04-30 06:31 -0700 |