|
Subject
|
Author
|
Date [desc]
|
|
[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 |
|
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 |
|
Re: Formal Methods job opening - Palo Alto, California
|
dragan.stosic@gmail.com |
2015-01-21 12:14 -0800 |
|
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 |
|
Re: Finding loop invariants for programs that exist entirely inside loops
|
Rafael Anschau <rafael.anschau@gmail.com> |
2014-09-03 17:07 -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 |
|
Finding loop invariants for programs that exist entirely inside loops
|
Rafael Anschau <rafael.anschau@gmail.com> |
2014-08-17 11:05 -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 |
|
Lectureship in Software Engineering - Birmingham City University, UK
|
Jonathan Bowen <jpbowen@gmail.com> |
2014-04-18 12:57 -0700 |
|
PhD Student Positions in Software Engineering - Birmingham City University, UK
|
Jonathan Bowen <jpbowen@gmail.com> |
2014-04-18 12:43 -0700 |
|
Equational Logic and First Order Predicate Logic
|
026121@dit.ie |
2014-04-14 03:40 -0700 |
|
Call for Participation: Formal Methods 2014 (FM 2014), Singapore, May 12-16, 2014
|
Jonathan Bowen <jpbowen@gmail.com> |
2014-03-30 08:12 -0700 |
|
Final Call for Papers: 3rd International Workshop on Cyberpatterns, Oxford, UK, April 2014
|
Jonathan Bowen <jpbowen@gmail.com> |
2013-12-31 08:32 -0800 |
|
CfP: SETTA 2014 Symposium on Dependable Software Engineering, Nanjing, China, 14-17 August 2014
|
Jonathan Bowen <jpbowen@gmail.com> |
2013-11-14 03:53 -0800 |
|
Call for Workshop Proposals, FM 2014, May 12-16, Singapore
|
sunjunhqq@gmail.com |
2013-09-16 07:59 -0700 |
|
Call for Papers: Formal Methods 2014 (FM 2014), Singapore, May 14-16, 2014
|
Jonathan Bowen <jpbowen@gmail.com> |
2013-08-15 04:00 -0700 |
|
Call for Participation: 15th International Conference on Formal Engineering Methods (ICFEM 2013)
|
Jonathan Bowen <jpbowen@gmail.com> |
2013-08-15 03:14 -0700 |
|
ICTAC 2013: 10th International Colloquium on Theoretical Aspects of Computing - Call for Participation
|
Jonathan Bowen <jpbowen@gmail.com> |
2013-08-04 15:30 -0700 |
|
Call for Papers: 15th International Conference on Formal Engineering Methods (ICFEM 2013)
|
Jonathan Bowen <jpbowen@gmail.com> |
2013-02-13 03:26 -0800 |
|
BCS-FACS/LMS Evening Seminar on Turing by Prof. Jack Copeland, 6 November 2012
|
Jonathan Bowen <jpbowen@gmail.com> |
2012-09-17 13:54 -0700 |
|
Call for Papers: BEAT'13 – 1st International Workshop on Behavioural Types
|
Hans Hüttel <hanshuttel@gmail.com> |
2012-09-07 02:47 -0700 |
|
FM 2012 Call for Participation
|
Jonathan Bowen <jpbowen@gmail.com> |
2012-07-26 11:14 -0700 |
|
Final CfP: SEW-35 - IEEE Software Engineering Workshop, Heraklion, Crete, 12-13 October 2012
|
Jonathan Bowen <jpbowen@gmail.com> |
2012-06-28 08:52 -0700 |
|
CfP [revised deadline]: IEEE Software Engineering Workshop (SEW-35), Heraclion, Crete, 12-13 October 2012
|
Jonathan Bowen <jpbowen@gmail.com> |
2012-06-09 16:55 -0700 |
|
2nd CfP: IEEE Software Engineering Workshop (SEW-35), Heraclion, Crete, 12-13 October 2012
|
Jonathan Bowen <jpbowen@gmail.com> |
2012-05-28 14:35 -0700 |
|
Re: Turing`s Worlds, Oxford, UK, 23-24 June 2012
|
Tom <tkorna@wp.pl> |
2012-05-02 07:31 -0700 |
|
Re: Turing`s Worlds, Oxford, UK, 23-24 June 2012
|
Tom <tkorna@wp.pl> |
2012-05-02 07:29 -0700 |
|
Re: Turing`s Worlds, Oxford, UK, 23-24 June 2012
|
Ben Bacarisse <ben.usenet@bsb.me.uk> |
2012-05-02 14:58 +0100 |
|
Re: Turing`s Worlds, Oxford, UK, 23-24 June 2012
|
mstemper@walkabout.empros.com (Michael Stemper) |
2012-05-02 12:38 +0000 |
|
Re: Turing`s Worlds, Oxford, UK, 23-24 June 2012
|
Tom <tkorna@wp.pl> |
2012-05-01 15:20 -0700 |
|
Call for Papers: The 2011 International Conference on Foundations of Computer Science (FCS'11), USA, July 18-21, 2011
|
"A. M. G. Solo" <amgsolo@yahoo.com> |
2011-02-09 21:53 -0800 |
|
The Great Downsizing of comp.specification.*
|
Big-8 Management Board <board@big-8.org> |
2011-02-09 23:00 +0000 |
|
CFP: The 2011 International Conference on Foundations of Computer Science (FCS'11), USA, July 18-21, 2011
|
"A. M. G. Solo" <amgsolo@yahoo.com> |
2011-01-29 20:59 -0800 |
|
CFP: The 2011 International Conference on Software Engineering Research and Practice (SERP'11), USA, July 18-21, 2011
|
"A. M. G. Solo" <amgsolo@yahoo.com> |
2011-01-29 16:10 -0800 |
|
FM2011 Doctoral Symposium
|
Jonathan Bowen <jpbowen@gmail.com> |
2011-01-27 14:05 -0800 |