|
Subject
|
Author
|
Date [asc]
|
|
FM2011 Doctoral Symposium
|
Jonathan Bowen <jpbowen@gmail.com> |
2011-01-27 14:05 -0800 |
|
CORCS'11 - Call for papers
|
adavid@cs.aau.dk (Alexandre David) |
2011-02-02 16:55 +0100 |
|
Second CFP: FMICS 2011, Trento, Italy
|
joblech@googlemail.com (Jan Olaf Blech) |
2011-02-04 11:16 +0100 |
|
Extended deadlines: DisCoTec 2011, Reykjavik, Iceland (COORDINATION + DAIS + FMOODS/FORTE)
|
DisCoTec2011@publicizing.org |
2011-02-04 16:24 +0100 |
|
Extended deadlines: DisCoTec 2011, Reykjavik, Iceland (COORDINATION + DAIS + FMOODS/FORTE)
|
DisCoTec2011@publicizing.org |
2011-02-04 16:28 +0100 |
|
[FLACOS 2011] CFP: Workshop on Formal Languages and Analysis of Contract-Oriented Software (Málaga, Spain)
|
info.flacos2011@lcc.uma.es ("info.flacos2011@lcc.uma.es") |
2011-02-06 18:04 +0100 |
|
Re: How can I define a user-defined infix function?
|
phil.clayton@lineone.net |
2012-10-14 06:30 -0700 |
|
*** Peter Landin Annual Semantics Seminar, 3 December, BCS London: Unifying Theories of programming, Professor Sir Tony Hoare
|
paul.boca@googlemail.com |
2012-11-13 13:51 -0800 |
|
algorithm
|
Martin Musatov <marty.musatov@gmail.com> |
2012-12-09 20:03 -0800 |
|
Re: Christian algorithm
|
Martin Musatov <marty.musatov@gmail.com> |
2012-12-09 20:06 -0800 |
|
Did you check the new volume of the Journal of International Students? All articles are now FREE http://jistudents.org/volume-3-1/
|
"Journal of International Students (JIS)" <center.asu@gmail.com> |
2013-02-01 12:06 -0800 |
|
Call for Papers: 15th International Conference on Formal Engineering Methods (ICFEM 2013)
|
Jonathan Bowen <jpbowen@gmail.com> |
2013-02-13 03:27 -0800 |
|
Re: Z Word Tools Release 3.2
|
Jonathan Bowen <jpbowen@gmail.com> |
2013-02-13 03:29 -0800 |
|
assertions about parts of schema
|
David Lamb <dalamb@cs.queensu.ca> |
2013-03-30 16:02 -0400 |
|
Re: assertions about parts of schema
|
phil.clayton@lineone.net |
2013-04-02 14:01 -0700 |
|
Re: assertions about parts of schema
|
David Lamb <dalamb@cs.queensu.ca> |
2013-04-02 21:17 -0400 |
|
Re: assertions about parts of schema
|
phil.clayton@lineone.net |
2013-04-03 14:29 -0700 |
|
Re: assertions about parts of schema
|
phil.clayton@lineone.net |
2013-04-03 15:34 -0700 |
|
Re: assertions about parts of schema
|
phil.clayton@lineone.net |
2013-04-03 23:41 -0700 |
|
Re: assertions about parts of schema
|
David Lamb <dalamb@cs.queensu.ca> |
2013-04-04 17:08 -0400 |
|
Re: assertions about parts of schema
|
phil.clayton@lineone.net |
2013-04-04 15:01 -0700 |
|
Re: assertions about parts of schema
|
David Lamb <dalamb@cs.queensu.ca> |
2013-04-04 20:37 -0400 |
|
Call for Participation: 15th International Conference on Formal Engineering Methods (ICFEM 2013)
|
Jonathan Bowen <jpbowen@gmail.com> |
2013-08-15 03:16 -0700 |
|
Call for Papers: Formal Methods 2014 (FM 2014), Singapore, May 14-16, 2014
|
Jonathan Bowen <jpbowen@gmail.com> |
2013-08-15 03:48 -0700 |
|
Annual Peter Landin Semantics Seminar: Rationalism v Hardware, Prof. Richard Bornat, 2 December 2013, 6pm, London
|
paul.boca@googlemail.com |
2013-09-30 15:57 -0700 |
|
CfP: SETTA 2014 Symposium on Dependable Software Engineering, Nanjing, China, 14-17 August 2014
|
Jonathan Bowen <jpbowen@gmail.com> |
2013-11-14 03:54 -0800 |
|
Journal of International Students, 2014 spring edition, published its online edition: http://jistudents.org/fall2014vol41/
|
"Journal of International Students (JIS)" <center.asu@gmail.com> |
2013-12-11 10:22 -0800 |
|
CFP: FM2015 (20th International Symposium on Formal Methods); 22-26. June, 2015, Oslo
|
Martin Steffen <msteffen@ifi.uio.no> |
2014-06-24 02:42 -0700 |
|
Call for Applications for PhD Student Positions (Software Engineering and Formal Methods)
|
Jonathan Bowen <jpbowen@gmail.com> |
2014-06-30 10:27 -0700 |
|
ICST 2015 - CALL FOR PAPERS
|
Bernhard Aichernig <aichernig@ist.tugraz.at> |
2014-07-05 08:56 -0700 |
|
icse books
|
raghucbsc@gmail.com |
2014-08-09 04:34 -0700 |
|
icse books
|
raghucbsc@gmail.com |
2014-08-13 02:57 -0700 |
|
Does Z assume the axiom of choice?
|
Richard Botting <rjbotting03@gmail.com> |
2015-01-28 11:33 -0800 |
|
Re: Does Z assume the axiom of choice?
|
phil.clayton@lineone.net |
2015-02-01 23:53 -0800 |
|
Re: Does Z assume the axiom of choice?
|
Richard Botting <rjbotting03@gmail.com> |
2015-02-02 10:54 -0800 |
|
Re: Does Z assume the axiom of choice?
|
Richard Botting <rjbotting03@gmail.com> |
2015-02-03 15:10 -0800 |
|
New volumes on international students in higher education published
|
"Journal of International Students (JIS)" <center.asu@gmail.com> |
2015-03-03 18:17 -0800 |
|
Special Issue on International Student Success | Call For Contributions
|
"Journal of International Students (JIS)" <center.asu@gmail.com> |
2015-10-03 18:02 -0700 |
|
Special Issue on International Student Success | Call For Contributions
|
"Journal of International Students (JIS)" <center.asu@gmail.com> |
2015-10-03 18:03 -0700 |
|
Re: Fastest: a new tool for the Z notation
|
sanjana1260 <sandyn.sanju9@gmail.com> |
2015-11-25 03:53 -0600 |
|
March/April 2016 Edition of the Journal of International Students Published: http://jistudents.org/6-2/
|
"Journal of International Students (JIS)" <center.asu@gmail.com> |
2016-03-27 16:55 -0700 |
|
Annual Peter Landin Semantics Seminar: Building Trustworthy Refactoring Tools, 12th December, 6pm, London. Speaker: Prof. Simon Thompson
|
paul.boca@googlemail.com |
2016-07-30 13:07 -0700 |
|
Webinar: Academic Services: Best Practices and Gaps 2016 November 17th at 2 pm CST
|
"Journal of International Students (JIS)" <center.asu@gmail.com> |
2016-11-16 06:51 -0800 |
|
[PDF]Linear Algebra, 4th Ed, ( Solutions Manual ) by Stephen H. Friedberg , Arnold J. Insel , Lawrence E. Spence
|
akashprasad1100@gmail.com |
2019-02-17 08:51 -0800 |
|
Us congress hearing of maan alsaan Money laundry قضية الكونغجرس لغسيل الأموال للمليادير معن الصانع
|
fayez joell <fayze.joell@gmail.com> |
2019-02-23 00:13 -0800 |
|
[CFP] Special Issue "Software Engineering for Robotics" (Robotics and Autonomous Systems Journal)
|
Alvaro Miyazawa <alvaro.miyazawa@york.ac.uk> |
2021-12-13 04:20 -0800 |
|
[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 |
|
[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:11 -0700 |
|
Where would someone go to hire an architect with experience in formal notation?
|
Justin Scott <justin.james.scott@gmail.com> |
2022-10-25 18:21 -0700 |