Groups | Search | Server Info | Login | Register
359 articles (numbers 38 – 407) — threaded view
| Advanced| Subject | Author | Date [asc] |
|---|---|---|
| Call for participation: FM 2011 International Symposium on Formal Methods, 20-24 June 2011, Limerick, Ireland | Jonathan Bowen <jpbowen@gmail.com> | 2011-05-18 07:54 -0700 |
| Call for participation: FM 2011 International Symposium on Formal | events@fmeurope.org (Announcements of FME events) | 2011-05-19 03:48 +0200 |
| specifying randomness | dtopham <dtopham@gmail.com> | 2011-05-25 21:43 -0700 |
| Re: specifying randomness | RJB <rbotting@csusb.edu> | 2011-05-26 08:15 -0700 |
| Re: specifying randomness | m.m.west@hud.ac.uk (Margaret West) | 2011-05-26 16:42 +0100 |
| Re: specifying randomness | David Lamb <dalamb@cs.queensu.ca> | 2011-05-26 11:55 -0400 |
| Re: specifying randomness | rbotting@csusb.edu (RBotting) | 2011-05-26 10:25 -0700 |
| Re: specifying randomness | m.m.west@hud.ac.uk (Margaret West) | 2011-05-26 18:52 +0100 |
| Re: specifying randomness | dtopham <dtopham@gmail.com> | 2011-05-26 11:38 -0700 |
| Re: specifying randomness | M.M.West@hud.ac.uk (Margaret West) | 2011-05-26 22:04 +0100 |
| Re: specifying randomness | dtopham <dtopham@gmail.com> | 2011-05-28 20:52 -0700 |
| Re: specifying randomness | rda@lemma-one.com (Rob Arthan) | 2011-05-29 10:51 +0100 |
| Re: Call for participation: FM 2011 International Symposium on Formal | jpbowen@gmail.com (Jonathan Bowen) | 2011-05-29 18:57 +0100 |
| Re: specifying randomness | Phil Clayton <phil.clayton@lineone.net> | 2011-05-31 11:42 -0700 |
| Re: specifying randomness | dtopham <dtopham@gmail.com> | 2011-05-31 12:46 -0700 |
| Re: specifying randomness | rda@lemma-one.com (Rob Arthan) | 2011-05-31 22:16 +0100 |
| Re: specifying randomness | M.M.West@hud.ac.uk (Margaret West) | 2011-05-31 22:41 +0100 |
| FM 2011 International Symposium on Formal Methods: Limericks Competition | jpbowen@gmail.com (Jonathan Bowen) | 2011-05-31 23:39 +0100 |
| Re: specifying randomness | RJB <rbotting@csusb.edu> | 2011-06-01 06:57 -0700 |
| Re: specifying randomness | rda@lemma-one.com (Rob Arthan) | 2011-06-01 15:10 +0100 |
| SBMF 2011 - Deadline Extended to June 12 (Abstract should be | sbmf2011@gmail.com (SMBF 2011) | 2011-06-02 10:22 -0300 |
| CADE 23: Call for participation | carsten@itu.dk (carsten) | 2011-06-02 18:54 +0200 |
| Re: specifying randomness | dtopham <dtopham@gmail.com> | 2011-06-02 14:11 -0700 |
| Re: specifying randomness | rda@lemma-one.com (Rob Arthan) | 2011-06-04 15:27 +0100 |
| Re: specifying randomness | m.m.west@hud.ac.uk (Margaret West) | 2011-06-06 23:46 +0100 |
| Re: specifying randomness | M.M.West@hud.ac.uk (Margaret West) | 2011-06-06 23:48 +0100 |
| Re: specifying randomness | RJB <rbotting@csusb.edu> | 2011-06-08 13:43 -0700 |
| Provisioning and Management of Service Oriented Architecture and | Riadh.BenHalima@enis.rnu.tn (Riadh BEN HALIMA) | 2011-06-16 19:04 +0100 |
| Announcement: Z User Group AGM, Wednesday 22 June 2011, at FM 2011 | jpbowen@gmail.com (Jonathan Bowen) | 2011-06-18 22:20 +0100 |
| [CfP] AlMoDEP - 1st International Workshop on Algorithms and Models for Distributed Event Processing | querzoni@dis.uniroma1.it ("Leonardo Querzoni") | 2011-06-30 13:17 +0200 |
| call for participation: FCT 2011 in Oslo | cristi@ifi.uio.no (Cristian Prisacariu) | 2011-06-30 13:48 +0200 |
| [DEADLINE EXTENDED] CFP - IEEE GLOBECOM 2011 Workshop - SCPA 2011 | auri<jlloret@dcom.upv.es (Jaime Lloret) | 2011-07-09 01:57 +0200 |
| Deadline July 17 - IEEE Globecom Workshop: SCPA 2011 | auri<jlloret@dcom.upv.es (Jaime Lloret) | 2011-07-15 02:07 +0200 |
| Logical operator ambiguity considered harmful | rda@lemma-one.com (Rob Arthan) | 2011-07-17 12:14 +0100 |
| Re: Logical operator ambiguity considered harmful | Phil Clayton <phil.clayton@lineone.net> | 2011-07-17 07:23 -0700 |
| Status of Z standard and Draft Technical Corrigendum 1? | Phil Clayton <phil.clayton@lineone.net> | 2011-07-17 07:58 -0700 |
| Re: Logical operator ambiguity considered harmful | rda@lemma-one.com (Rob Arthan) | 2011-07-17 17:01 +0100 |
| 2nd CfP: ICDS 2012 || January 30 - February 4, 2012 - Valencia, Spain | auri<jlloret@dcom.upv.es (Jaime Lloret) | 2011-07-23 15:03 +0200 |
| 2nd CfP: eTELEMED 2012 || January 30 - February 4, 2012 - Valencia, Spain | ascual<cris.pascual.gonzalez@gmail.com (Cristina) | 2011-07-23 15:53 +0200 |
| 2nd CfP: ACHI 2012 || January 30 - February 4, 2012 - Valencia, Spain | olbes<alcasol@upvnet.upv.es (Alejandro Canovas) | 2011-07-24 00:57 +0200 |
| 2nd CfP: eL&mL 2012 || January 30 - February 4, 2012 - Valencia, Spain | ascual<cris.pascual.gonzalez@gmail.com (Cristina) | 2011-07-24 04:23 +0200 |
| 2nd CfP: eKNOW 2012 || January 30 - February 4, 2012 - Valencia, Spain | auri<jlloret@dcom.upv.es (Jaime Lloret) | 2011-07-24 04:37 +0200 |
| CSL call for participation | geoff@cs.miami.edu (Geoff Sutcliffe) | 2011-07-25 08:33 -0400 |
| CFP: PETRI NETS 2012, 33rd International Conference on Application | PetriNets2012@informatik.uni-hamburg.de (Petri Nets 2012) | 2011-07-26 16:03 +0200 |
| Early registration deadline approaching for FCT 2011 - Fundamentals of Computation Theory in Oslo | cristi@ifi.uio.no (Cristian Prisacariu) | 2011-07-27 14:05 +0200 |
« Previous 1 2 3 4 5 6 7 8 Next »
csiph-web