Groups
Conversations
All groups and messages
Send feedback to Google
Help
Training
Sign in
Groups
comp.specification.misc
Conversations
About
info
Google Groups no longer supports new Usenet posts or subscriptions. Historical content remains viewable.
Dismiss
Learn more
comp.specification.misc
Contact owners and managers
1–30 of 2015
Mark all as read
Report group
0 selected
Alvaro Miyazawa
5/18/22
[Final CFP - Extended Deadline] Special Issue "Software Engineering for Robotics" (Robotics and Autonomous Systems Journal)
*Apologies for multiple copies of this CFP* # Final Call for Papers - Extended Deadline ## Special
unread,
[Final CFP - Extended Deadline] Special Issue "Software Engineering for Robotics" (Robotics and Autonomous Systems Journal)
*Apologies for multiple copies of this CFP* # Final Call for Papers - Extended Deadline ## Special
5/18/22
Alvaro Miyazawa
4/7/22
[CFP] Special Issue "Software Engineering for Robotics" (Robotics and Autonomous Systems Journal)
# Special Issue: Software Engineering for Robotics # Robotics and Autonomous Systems Journal,
unread,
[CFP] Special Issue "Software Engineering for Robotics" (Robotics and Autonomous Systems Journal)
# Special Issue: Software Engineering for Robotics # Robotics and Autonomous Systems Journal,
4/7/22
Alvaro Miyazawa
12/13/21
[CFP] Special Issue "Software Engineering for Robotics" (Robotics and Autonomous Systems Journal)
# Special Issue: Software Engineering for Robotics # Robotics and Autonomous Systems Journal,
unread,
[CFP] Special Issue "Software Engineering for Robotics" (Robotics and Autonomous Systems Journal)
# Special Issue: Software Engineering for Robotics # Robotics and Autonomous Systems Journal,
12/13/21
Alexandra Traxler
3/23/21
Call for Nominations: VCLA International Student Awards 2021
The Vienna Center for Logic and Algorithms of TU Wien (Vienna University of Technology), calls for
unread,
Call for Nominations: VCLA International Student Awards 2021
The Vienna Center for Logic and Algorithms of TU Wien (Vienna University of Technology), calls for
3/23/21
Bernhard Aichernig
9/4/20
Postdoc position on Formal Methods and Testing @ TU Graz, Austria
I am looking for a University Assistant (postdoc) to join my research group at Graz University of
unread,
Postdoc position on Formal Methods and Testing @ TU Graz, Austria
I am looking for a University Assistant (postdoc) to join my research group at Graz University of
9/4/20
Vienna Center for Logic and Algorithms
6/2/20
12 PhD Positions in the Doctoral Program Logical Methods in Computer Science (LogiCS) - fully funded - Vienna, Austria - Deadline: 12 June 2020
========================================================== ==========================================
unread,
12 PhD Positions in the Doctoral Program Logical Methods in Computer Science (LogiCS) - fully funded - Vienna, Austria - Deadline: 12 June 2020
========================================================== ==========================================
6/2/20
kill...@coronavirus.com
4/18/20
coronavirus COVID-19
coronavirus COVID-19 http://www.grex.org/~henced/coronavirus.html
unread,
coronavirus COVID-19
coronavirus COVID-19 http://www.grex.org/~henced/coronavirus.html
4/18/20
xyz9...@gmail.com
3/28/20
Fight the coronavirus 100% and save LOTS of CASH -- Combattez le coronavirus 100% et économisez BEAUCOUP d'ARGENT
Protect yourself and your loved ones ! KILL the coronavirus right now ! And save LOTS OF CASH New
unread,
Fight the coronavirus 100% and save LOTS of CASH -- Combattez le coronavirus 100% et économisez BEAUCOUP d'ARGENT
Protect yourself and your loved ones ! KILL the coronavirus right now ! And save LOTS OF CASH New
3/28/20
Marcello M. Bersani
7/5/18
InfQ 2018 – New Frontiers in Quantitative Methods in Informatics
InfQ 2018 – New Frontiers in Quantitative Methods in Informatics ------------------------------------
unread,
InfQ 2018 – New Frontiers in Quantitative Methods in Informatics
InfQ 2018 – New Frontiers in Quantitative Methods in Informatics ------------------------------------
7/5/18
Vienna Center for Logic and Algorithms
3/21/18
VCLA International Student Awards 2018 - Deadline March 25 AoE
Dear members, and friends of comuptation! I am approaching you to inquire, if you could pass on the
unread,
VCLA International Student Awards 2018 - Deadline March 25 AoE
Dear members, and friends of comuptation! I am approaching you to inquire, if you could pass on the
3/21/18
Ma...@getfucked.com
11/10/17
Uploads - What is wrong with Easynews
Looking for Star Trek Discovery season 1 Episodes 6 onwards in english. Why does it seem there are no
unread,
Uploads - What is wrong with Easynews
Looking for Star Trek Discovery season 1 Episodes 6 onwards in english. Why does it seem there are no
11/10/17
Nicholas Randall Forystek
2
7/12/16
.
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
unread,
.
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
7/12/16
Jonathan Bowen
11/16/15
CFP: UTP 2016 - 6th International Symposium on Unifying Theories of Programming, June 4-5, 2016, Reykjavík, Iceland
Call for Papers UTP 2016 6th International Symposium on Unifying Theories of Programming June 4-5,
unread,
CFP: UTP 2016 - 6th International Symposium on Unifying Theories of Programming, June 4-5, 2016, Reykjavík, Iceland
Call for Papers UTP 2016 6th International Symposium on Unifying Theories of Programming June 4-5,
11/16/15
Jonathan Bowen
6/14/15
Final Call for Papers SETTA 2015, Nov, Nanjing, China
SETTA 2015 Symposium on Dependable Software Engineering: Theories, Tools and Applications Nanjing
unread,
Final Call for Papers SETTA 2015, Nov, Nanjing, China
SETTA 2015 Symposium on Dependable Software Engineering: Theories, Tools and Applications Nanjing
6/14/15
brinkley.chris
, …
noki...@gmail.com
3
5/21/15
Formal Methods job opening - Palo Alto, California
On Wednesday, June 29, 2011 at 2:14:43 PM UTC-4, brinkley.chris wrote: > I recently convinced my
unread,
Formal Methods job opening - Palo Alto, California
On Wednesday, June 29, 2011 at 2:14:43 PM UTC-4, brinkley.chris wrote: > I recently convinced my
5/21/15
sonagil...@gmail.com
5/7/15
Turbocharge YOUR Career
In the age of globalization, where everything from grocery shopping to learning happens on the world
unread,
Turbocharge YOUR Career
In the age of globalization, where everything from grocery shopping to learning happens on the world
5/7/15
Jonathan Bowen
1/10/15
Call for Papers: SEFM 2015 - 13th International Conference on Software Engineering and Formal Methods, York, UK, 7-11 September 2015
CALL FOR PAPERS --------------- 13th International Conference on Software Engineering and Formal
unread,
Call for Papers: SEFM 2015 - 13th International Conference on Software Engineering and Formal Methods, York, UK, 7-11 September 2015
CALL FOR PAPERS --------------- 13th International Conference on Software Engineering and Formal
1/10/15
Jonathan Bowen
1/10/15
Call for Papers: SETTA - Symposium on Dependable Software Engineering: Theories, Tools and Applications, Nanjing, China, November 4-6, 2015
Call for Papers SETTA 2015 Symposium on Dependable Software Engineering: Theories, Tools and
unread,
Call for Papers: SETTA - Symposium on Dependable Software Engineering: Theories, Tools and Applications, Nanjing, China, November 4-6, 2015
Call for Papers SETTA 2015 Symposium on Dependable Software Engineering: Theories, Tools and
1/10/15
Jonathan Bowen
1/10/15
BCS-FACS ProCoS Workshop on Provably Correct Systems, London, UK, 9-10 March 2015
BCS-FACS - Formal Aspects of Computing Systems ProCoS Workshop - Provably Correct Systems BCS offices
unread,
BCS-FACS ProCoS Workshop on Provably Correct Systems, London, UK, 9-10 March 2015
BCS-FACS - Formal Aspects of Computing Systems ProCoS Workshop - Provably Correct Systems BCS offices
1/10/15
Hossam Kiwan
12/15/14
Cfp: Call for Papers for Special Issue on Digital Vehicular Safety
Cfp: Call for Papers for Special Issue on Digital Vehicular Safety ** Apologizes if you receive
unread,
Cfp: Call for Papers for Special Issue on Digital Vehicular Safety
Cfp: Call for Papers for Special Issue on Digital Vehicular Safety ** Apologizes if you receive
12/15/14
Rafael Anschau
,
Albert Y. C. Lai
3
9/3/14
Finding loop invariants for programs that exist entirely inside loops
Em segunda-feira, 1 de setembro de 2014 14h40min19s UTC-3, Albert YC Lai escreveu: > The pre/post-
unread,
Finding loop invariants for programs that exist entirely inside loops
Em segunda-feira, 1 de setembro de 2014 14h40min19s UTC-3, Albert YC Lai escreveu: > The pre/post-
9/3/14
Jonathan Bowen
6/30/14
Call for Applications for PhD Student Positions (Software Engineering)
Call for Applications for PhD Student Positions Centre for Software Engineering School of Computing,
unread,
Call for Applications for PhD Student Positions (Software Engineering)
Call for Applications for PhD Student Positions Centre for Software Engineering School of Computing,
6/30/14
Martin Steffen
6/24/14
CFP: FM2015 (20th International Symposium on Formal Methods); 22-26. June, 2015, Oslo
--------------------------=== FM 2015 ===---------------------------- 20th International Symposium on
unread,
CFP: FM2015 (20th International Symposium on Formal Methods); 22-26. June, 2015, Oslo
--------------------------=== FM 2015 ===---------------------------- 20th International Symposium on
6/24/14
khai...@gmail.com
4/30/14
Call for Industry Track Presentations: The 25th IEEE International Symposium on Software Reliability Engineering (ISSRE 2014)
(Apologies if you receive multiple copies of this message) ------------------------------------------
unread,
Call for Industry Track Presentations: The 25th IEEE International Symposium on Software Reliability Engineering (ISSRE 2014)
(Apologies if you receive multiple copies of this message) ------------------------------------------
4/30/14
Jonathan Bowen
4/18/14
Lectureship in Software Engineering - Birmingham City University, UK
Lectureship in Software Engineering Faculty of Technology, Engineering and the Environment Birmingham
unread,
Lectureship in Software Engineering - Birmingham City University, UK
Lectureship in Software Engineering Faculty of Technology, Engineering and the Environment Birmingham
4/18/14
Jonathan Bowen
4/18/14
PhD Student Positions in Software Engineering - Birmingham City University, UK
Call for Applications for PhD Student Positions Centre for Software Engineering http://www.bcu.ac.uk/
unread,
PhD Student Positions in Software Engineering - Birmingham City University, UK
Call for Applications for PhD Student Positions Centre for Software Engineering http://www.bcu.ac.uk/
4/18/14
026...@dit.ie
4/14/14
Equational Logic and First Order Predicate Logic
" Hi, I am interested in using Equational Theories together with Equational Logic (EL) found in
unread,
Equational Logic and First Order Predicate Logic
" Hi, I am interested in using Equational Theories together with Equational Logic (EL) found in
4/14/14
Jonathan Bowen
3/30/14
Call for Participation: Formal Methods 2014 (FM 2014), Singapore, May 12-16, 2014
Call for Participation: Formal Methods 2014 (FM 2014), Singapore, May 12-16, 2014 FM 2014 received a
unread,
Call for Participation: Formal Methods 2014 (FM 2014), Singapore, May 12-16, 2014
Call for Participation: Formal Methods 2014 (FM 2014), Singapore, May 12-16, 2014 FM 2014 received a
3/30/14
Jonathan Bowen
12/31/13
Final Call for Papers: 3rd International Workshop on Cyberpatterns, Oxford, UK, April 2014
Call For Papers: CyberPatterns 2014 The 3rd International Workshop on Cyberpatterns: From Big Data to
unread,
Final Call for Papers: 3rd International Workshop on Cyberpatterns, Oxford, UK, April 2014
Call For Papers: CyberPatterns 2014 The 3rd International Workshop on Cyberpatterns: From Big Data to
12/31/13
Jonathan Bowen
11/14/13
CfP: SETTA 2014 Symposium on Dependable Software Engineering, Nanjing, China, 14-17 August 2014
SETTA 2014 Symposium on Dependable Software Engineering: Theories, Tools and Applications Nanjing
unread,
CfP: SETTA 2014 Symposium on Dependable Software Engineering, Nanjing, China, 14-17 August 2014
SETTA 2014 Symposium on Dependable Software Engineering: Theories, Tools and Applications Nanjing
11/14/13