Groups | Search | Server Info | Login | Register
359 articles (numbers 38 – 407) — threaded view
| Advanced| Subject | Author | Date [asc] |
|---|---|---|
| Second CALL FOR PAPERS FM 2012 | events@fmeurope.org (Announcements of FME events) | 2012-01-18 13:21 +0100 |
| Re: The new Z list | David Lamb <david.alex.lamb@gmail.com> | 2012-01-19 08:19 -0800 |
| Deadline extension | CfP: COLLA 2012 || June 24-29, 2012 - Venice, Italy | ascual<cris.pascual.gonzalez@gmail.com (Cristina) | 2012-01-20 21:13 +0100 |
| IJCAR 2012 - Third and Final Call for Papers | gramlich@logic.at (Bernhard Gramlich) | 2012-01-20 22:01 +0100 |
| Deadline extension | CfP: ICCGI 2012 || June 24-29, 2012 - Venice, Italy | ascual<cris.pascual.gonzalez@gmail.com (Cristina) | 2012-01-21 10:49 +0100 |
| Deadline extension | CfP: INTERNET 2012 || June 24-29, 2012 - Venice, Italy | auri<jlloret@dcom.upv.es (Jaime Lloret) | 2012-01-21 14:29 +0100 |
| Re: LaTeX2e macros | Joe English <jenglish@fdip.bad-monkeys.com> | 2012-01-21 20:43 +0000 |
| Deadline extension | CfP: ICWMC 2012 || June 24-29, 2012 - Venice, Italy | ascual<cris.pascual.gonzalez@gmail.com (Cristina) | 2012-01-23 20:40 +0100 |
| Conversion from first order logic to TPTP | Litha Mokwana <mokwanaml@gmail.com> | 2012-01-23 18:36 -0800 |
| CfP: 9th International Symposium on Formal Aspects of Component | jcmoreno@dei.uc.pt | 2012-01-24 17:19 +0100 |
| Preliminary Call for Papers: The 7th IFIP Conference on | marcello@liacs.nl (M.M. Bonsangue) | 2012-01-24 23:06 +0100 |
| Z Forum | craig.tranfield@cs.ox.ac.uk (Craig Tranfield) | 2012-01-25 10:25 +0000 |
| Where can Prof Ian Toyn be found. | Litha Mokwana <mokwanaml@gmail.com> | 2012-01-25 03:17 -0800 |
| CALL FOR PAPERS : UML&FM 2012 | events@fmeurope.org (Announcements of FME events) | 2012-01-26 01:59 +0100 |
| WADT 2012: First Call for Papers | miguelpt@sip.ucm.es (Miguel Palomino Tarjuelo) | 2012-01-30 12:44 +0100 |
| [simu-conf] DEADLINE APPROACHING - Workshop on Modeling and | vsim-conf@sce.carleton.ca | 2012-01-31 09:45 -0500 |
| FormSERA workshop at ICSE 2012: 2nd CfP | events@fmeurope.org (Announcements of FME events) | 2012-02-01 21:15 +0100 |
| CfP: 9th International Symposium on Formal Aspects of Component | jcmoreno@dei.uc.pt | 2012-02-02 16:54 +0100 |
| CfP: 9th International Symposium on Formal Aspects of Component | jcmoreno@dei.uc.pt | 2012-02-02 16:56 +0100 |
| SAT 2012: Final Call for Papers | rseba@disi.unitn.it (Roberto Sebastiani) | 2012-02-02 20:12 +0100 |
| [fm-announcements] RV 2012 - 1st Call For Papers | klaus.havelund@jpl.nasa.gov (Klaus Havelund) | 2012-02-05 11:35 -0800 |
| AROSA 2012 - WETICE track | "slim.kallel@gmail.com" <slim.kallel@gmail.com> | 2012-02-05 15:05 -0800 |
| 2nd cfp COGNITIVE 2012 July 22-27, 2011 - Nice, France | ascual<cris.pascual.gonzalez@gmail.com (Cristina) | 2012-02-08 16:03 +0100 |
| CALL FOR WORKSHOP PROPOSALS - SEFM 2012 (10th Int. Conf. on Soft. Eng. and Formal Methods) | Panagiotis Katsaros <katsarosp@gmail.com> | 2012-02-09 00:35 -0800 |
| 2nd CfP FUTURE COMPUTING 2012 July 22-27, 2012 - Nice, France | ascual<cris.pascual.gonzalez@gmail.com (Cristina) | 2012-02-09 21:26 +0100 |
| eScan Antivirus Software Products | Web Master <wmaster711@gmail.com> | 2012-02-10 02:00 -0800 |
| 2nd CfP || SERVICE COMPUTATION 2012: July 22-27, 2012 - Nice, France | ascual<cris.pascual.gonzalez@gmail.com (Cristina) | 2012-02-10 15:38 +0100 |
| CfP: European Conference on Service-Oriented and Cloud Computing (ESOCC'12) | ernesto@lcc.uma.es (Ernesto Pimentel Sánchez) | 2012-02-10 17:34 +0100 |
| CFP: IEEE WiMob 2012 - October 8 - 10, 2012, Barcelona, Spain | auri<jlloret@dcom.upv.es (Jaime Lloret) | 2012-02-11 03:57 +0100 |
| SAFECOMP: March 5th - Deadline for papers | Frank.Ortmeier@ovgu.de ("Ortmeier, Frank, Prof.") | 2012-02-11 14:15 +0100 |
| new website: journal of international students | "Journal of International Students (JOIS)" <center.asu@gmail.com> | 2012-02-11 12:54 -0800 |
| CFP: FTfJP 2012 - 14th ECOOP Workshop on Formal Techniques for Java-like Programs | Florin Craciun <craciunf@googlemail.com> | 2012-02-12 07:59 -0800 |
| Final CfP: COORDINATION 2012 (deadlines extended) | coordination2012@publicizing.org | 2012-02-13 09:43 +0100 |
| CFP: ICFEM 2012 - 14th International Conference on Formal Engineering Methods | "t.kitamura" <takashi.kitamura@gmail.com> | 2012-02-13 04:14 -0800 |
| Final CfP: COORDINATION 2012 (deadlines extended) | coordination2012@publicizing.org | 2012-02-14 08:16 +0100 |
| Call for papers - CORCS 2012: The 4th IEEE International Workshop | adavid@cs.aau.dk (Alexandre David) | 2012-02-14 16:31 +0100 |
| CFP: TCS 2012 | michiel.helvensteijn@cwi.nl (Michiel Helvensteijn) | 2012-02-15 13:13 +0100 |
| [fm-announcements] NFM 2012 Call For Participation | suzette.person@nasa.gov ("PERSON, SUZETTE (LARC-D320)") | 2012-02-15 07:15 -0600 |
| CFP: TACPS 2012 - Gwangju, Korea, September 6-8, 2012 | auri<jlloret@dcom.upv.es (Jaime Lloret) | 2012-02-15 18:35 +0100 |
| Announcement: 2nd International SAT/SMT Summer School | griggio@fbk.eu (Alberto Griggio) | 2012-02-16 11:04 +0100 |
| Order of execution of Z schema | Jatin Gupta <jatin.gupta.29@gmail.com> | 2012-02-16 13:47 -0800 |
| FMICS, second call for papers | marielle@cs.utwente.nl (Marielle Stoelinga) | 2012-02-16 23:05 +0100 |
| Re: Order of execution of Z schema | Phil Clayton <phil.clayton@lineone.net> | 2012-02-16 16:40 -0800 |
| Re: Order of execution of Z schema | Jatin Gupta <jatin.gupta.29@gmail.com> | 2012-02-17 13:52 -0800 |
| CFP: 18th International Conference on Principles & Practice of | cp2012a@gmail.com (Association ConstraintProgramming) | 2012-02-19 19:28 +0000 |
| Deadline extension CLOUD COMPUTING 2012 July 22-27, 2012 - Nice, France | ascual<cris.pascual.gonzalez@gmail.com (Cristina) | 2012-02-23 20:28 +0100 |
| Deadline extension COGNITIVE 2012 July 22-27, 2012 - Nice, France | ascual<cris.pascual.gonzalez@gmail.com (Cristina) | 2012-02-23 20:35 +0100 |
| Deadline extension FUTURE COMPUTING 2012 July 22-27, 2012 - Nice, France | ascual<cris.pascual.gonzalez@gmail.com (Cristina) | 2012-02-23 20:45 +0100 |
| Deadline extension || SERVICE COMPUTATION 2012: July 22-27, 2012 - Nice, France | ascual<cris.pascual.gonzalez@gmail.com (Cristina) | 2012-02-23 20:53 +0100 |
| 2nd Call for papers - 28th International Conference on Logic Programming (ICLP 2012) | glukacsy@cisco.com ("Gergely Lukacsy (glukacsy)") | 2012-02-25 17:55 +0100 |
« Previous 1 2 3 4 5 6 7 8 Next »
csiph-web