Re: Reminder: BoF in IETF 68 in Prague

Frank Ellermann <nobody@xyzzy.claranet.de> Sat, 17 March 2007 11:37 UTC

Return-path: <cosmogol-bounces@ietf.org>
Received: from [127.0.0.1] (helo=stiedprmman1.va.neustar.com) by megatron.ietf.org with esmtp (Exim 4.43) id 1HSXEI-0002ya-7C; Sat, 17 Mar 2007 07:37:46 -0400
Received: from [10.90.34.44] (helo=chiedprmail1.ietf.org) by megatron.ietf.org with esmtp (Exim 4.43) id 1HSXEH-0002yV-IG for cosmogol@ietf.org; Sat, 17 Mar 2007 07:37:45 -0400
Received: from main.gmane.org ([80.91.229.2] helo=ciao.gmane.org) by chiedprmail1.ietf.org with esmtp (Exim 4.43) id 1HSXEF-0005Wc-4e for cosmogol@ietf.org; Sat, 17 Mar 2007 07:37:45 -0400
Received: from list by ciao.gmane.org with local (Exim 4.43) id 1HSXE0-0000wk-2Y for cosmogol@ietf.org; Sat, 17 Mar 2007 12:37:28 +0100
Received: from d252012.dialin.hansenet.de ([80.171.252.12]) by main.gmane.org with esmtp (Gmexim 0.1 (Debian)) id 1AlnuQ-0007hv-00 for <cosmogol@ietf.org>; Sat, 17 Mar 2007 12:37:28 +0100
Received: from nobody by d252012.dialin.hansenet.de with local (Gmexim 0.1 (Debian)) id 1AlnuQ-0007hv-00 for <cosmogol@ietf.org>; Sat, 17 Mar 2007 12:37:28 +0100
X-Injected-Via-Gmane: http://gmane.org/
To: cosmogol@ietf.org
From: Frank Ellermann <nobody@xyzzy.claranet.de>
Date: Sat, 17 Mar 2007 12:36:31 +0100
Organization: <URL:http://purl.net/xyzzy>
Lines: 20
Message-ID: <45FBD2BF.212C@xyzzy.claranet.de>
References: <20070314220733.GA28426@sources.org>
Mime-Version: 1.0
Content-Type: text/plain; charset=us-ascii
Content-Transfer-Encoding: 7bit
X-Complaints-To: usenet@sea.gmane.org
X-Gmane-NNTP-Posting-Host: d252012.dialin.hansenet.de
X-Mailer: Mozilla 3.0 (OS/2; U)
X-Spam-Score: 0.0 (/)
X-Scan-Signature: 7d33c50f3756db14428398e2bdedd581
Subject: Re: Reminder: BoF in IETF 68 in Prague
X-BeenThere: cosmogol@ietf.org
X-Mailman-Version: 2.1.5
Precedence: list
List-Id: DIscussion on state machine specification in IETF protocols <cosmogol.ietf.org>
List-Unsubscribe: <https://www1.ietf.org/mailman/listinfo/cosmogol>, <mailto:cosmogol-request@ietf.org?subject=unsubscribe>
List-Archive: <http://www1.ietf.org/pipermail/cosmogol>
List-Post: <mailto:cosmogol@ietf.org>
List-Help: <mailto:cosmogol-request@ietf.org?subject=help>
List-Subscribe: <https://www1.ietf.org/mailman/listinfo/cosmogol>, <mailto:cosmogol-request@ietf.org?subject=subscribe>
Errors-To: cosmogol-bounces@ietf.org

Stephane Bortzmeyer wrote:
 
> TUESDAY, March 20, 2007
> 1740-1840 Afternoon Session III
> Karlin I        APP     fsm     Formal State Machines BOF

Oops, so that's "FSM", I wondered why the name of the Jabber
room is "fsm"... :-)  BTW, I stumbled about an article which
might be interesting for some kind of "FSM motivation":

<http://permalink.gmane.org/gmane.ietf.gen-art/1658>
Subject: Gen-ART LC Review of draft-ietf-pim-sm-bsr-10.txt
[...]
| Essentially, we convinced ourselves (and the WG), that the
| state machine does indeed cover all cases, although not in
| a formal manner.
[...]

Frank



_______________________________________________
Cosmogol mailing list
Cosmogol@ietf.org
https://www1.ietf.org/mailman/listinfo/cosmogol