ASM mailing list (asmforum-l@mtu.edu) By Thread
- About asmforum-l@mtu.edu Charles Wallace (Thu Mar 03 2005 - 17:11:13 EST)
- ASM Steering Committee Charles Wallace (Mon Mar 28 2005 - 12:33:30 EST)
- MBT 2006: Model based Testing Charles Wallace (Tue May 31 2005 - 11:08:27 EDT)
- ASM for SDL & UML Y.Zheng (Wed Jun 29 2005 - 15:48:28 EDT)
- [Fwd: Info on Special ASM Issue in TCS] Charles Wallace (Thu Jul 28 2005 - 14:27:47 EDT)
- Aspect x ASM salazar@dcc.ufmg.br (Wed Aug 31 2005 - 11:07:44 EDT)
- APPROVE asmforum-l majordomo@mtu.edu (Thu Sep 08 2005 - 12:15:36 EDT)
- SUBSCRIBE asmforum-l Christoph.Beierle@FernUni-Hagen.de majordomo@mtu.edu (Thu Sep 08 2005 - 12:28:21 EDT)
- Simultaneous updates in an environment of sequencial execution fabiola@dcc.ufmg.br (Fri Sep 09 2005 - 09:25:06 EDT)
- MBT 2006 Model based Testing Yuri Gurevich (Thu Sep 15 2005 - 11:24:40 EDT)
- CFP: MBT 2006 Model based Testing Yuri Gurevich (Fri Sep 30 2005 - 09:42:52 EDT)
- Some case study salazar@dcc.ufmg.br (Wed Oct 19 2005 - 16:23:31 EDT)
- More on: Some case study Egon Börger (Sat Oct 22 2005 - 05:30:11 EDT)
- Final CFP: MBT 2006 Model based Testing Yuri Gurevich (Tue Nov 08 2005 - 09:05:31 EST)
- Module Systems for Abstract State Machines Joel Howard Willis Weinberger (Thu Jun 22 2006 - 13:42:03 EDT)
- Tests and Proofs (TAP) CfP Yuri Gurevich (Sun Jul 02 2006 - 13:51:56 EDT)
- [Fwd: FW: CoreASM Engine: release 0.9.1-beta] Charles Wallace (Mon Oct 02 2006 - 08:31:57 EDT)
- Spec Explorer Yuri Gurevich (Thu Oct 05 2006 - 17:10:11 EDT)
- The ASM Workbench italost@dcc.ufmg.br (Mon Oct 09 2006 - 18:32:20 EDT)
- 14th International ASM Workshop: Call for Papers Charles Wallace (Thu Nov 02 2006 - 09:27:06 EST)
- FI special ASM'05 issue Charles Wallace (Tue Dec 12 2006 - 17:52:37 EST)
- Sad news Yuri Gurevich (Tue Jan 09 2007 - 19:46:54 EST)
- [Fwd: Tribute to Dean Rosenzweig] Charles Wallace (Tue Jan 16 2007 - 17:38:54 EST)
- Re: [Fwd: Re: [Fwd: Tribute to Dean Rosenzweig]] Charles Wallace (Thu Jan 18 2007 - 11:14:02 EST)
- Re: Tribute to Dean Rosenzweig Yuri Gurevich (Thu Jan 18 2007 - 17:39:38 EST)
- ASMs for software architecture Daniel Klünder (Tue Jan 23 2007 - 09:15:43 EST)
- [Fwd: Re: ASMs for software architecture] Charles Wallace (Tue Feb 13 2007 - 15:12:53 EST)
- ASM'07: Final call for papers wallace@mtu.edu (Wed Mar 14 2007 - 10:54:43 EDT)
- Call for Participation: 14th International ASM Workshop Charles Wallace (Wed May 16 2007 - 10:46:57 EDT)
- ABZ 2008 Conference, London, UK, 16-18 September 2008 Charles Wallace (Thu May 31 2007 - 10:07:43 EDT)
- Proceedings of ASM'07 available online Charles Wallace (Tue Jun 26 2007 - 17:23:25 EDT)
- Call for Book Chapters: Process Algebra/Algebraic Languages/Specification-based AD Michael Alexander (Wed Aug 01 2007 - 15:05:01 EDT)
- ABZ 2008 Conference, London, UK, 16-18 September 2008 Charles Wallace (Fri Aug 03 2007 - 10:55:44 EDT)
- [Fwd: Case Study for ABZ 2008 Conference, London, UK, 16-18 September 2008] Charles Wallace (Fri Aug 03 2007 - 10:57:01 EDT)
- FW: TAP 2008: Dates and Call for Papers Yuri Gurevich (Tue Aug 21 2007 - 15:59:39 EDT)
- FW: MBT 2008 Fourth Workshop on Model-Based Testing at ETAPS 2008 Yuri Gurevich (Tue Oct 16 2007 - 12:26:08 EDT)
- FW: Postdoc Position at Queen's University in Foundations of MDD Yuri Gurevich (Tue Oct 30 2007 - 21:14:47 EDT)
- CfP: Workshop on Domain-specific modeling languages (DSML'08) Dirk Fahland (Wed Nov 07 2007 - 11:52:24 EST)
- 2nd CfP Domain Specific Modeling Languages (DSML'08): extended deadline (17.01.2008) Dirk Fahland (Thu Jan 03 2008 - 08:50:33 EST)
- [URL CORRECTED] RFP Announcement: Safe And Scalable Multicore Computing 2008 Yuri Gurevich (Wed Jan 23 2008 - 19:35:45 EST)
- FYI: Subject: Survey of Usage of Formal Methods Yuri Gurevich (Wed Feb 20 2008 - 22:59:39 EST)
- Deadline Extension for ABZ 2008 Conference, London, UK, 16-18 September 2008 Charles Wallace (Sat Mar 01 2008 - 21:33:56 EST)
- ABZ 2008 Conference: Call for short presentations Charles Wallace (Mon Mar 17 2008 - 09:59:24 EDT)
- Call for participation: VSR-net workshop, 15 September 2008, London Charles Wallace (Mon Jun 02 2008 - 10:17:50 EDT)
- ABZ 2008: Program and registration wallace@mtu.edu (Sat Jun 21 2008 - 12:28:05 EDT)
- 2nd CALL FOR PARTICIPATION: ABZ 2008 CONFERENCE Charles Wallace (Tue Aug 12 2008 - 12:44:16 EDT)
- ABZ Proceedings online Charles Wallace (Thu Sep 25 2008 - 08:50:41 EDT)
- JUCS ASM issue Charles Wallace (Tue Oct 14 2008 - 09:25:13 EDT)
- FW: Persistent Queries Yuri Gurevich (Fri Oct 17 2008 - 16:53:45 EDT)
- ASM Invited Workshop or Colloquium 2009? Matko Botincan (Sat Nov 29 2008 - 17:27:51 EST)
- ABZ 2010 CFP Charles Wallace (Mon Nov 24 2008 - 10:51:06 EST)
- Last message date: Tue Dec 02 2008 - 12:29:57 EST
- Archived on: Tue Dec 02 2008 - 12:30:27 EST