BoF session in Prague "Formal State Machines"
Stephane Bortzmeyer <bortzmeyer@nic.fr> Mon, 05 February 2007 20:51 UTC
Received: from [127.0.0.1] (helo=stiedprmman1.va.neustar.com) by megatron.ietf.org with esmtp (Exim 4.43) id 1HEAnv-0006dD-55; Mon, 05 Feb 2007 15:51:11 -0500
Received: from [10.91.34.44] (helo=ietf-mx.ietf.org) by megatron.ietf.org with esmtp (Exim 4.43) id 1HEAnu-0006d6-Hn for cosmogol@ietf.org; Mon, 05 Feb 2007 15:51:10 -0500
Received: from bortzmeyer.netaktiv.com ([80.67.170.53] helo=mail.bortzmeyer.org) by ietf-mx.ietf.org with esmtp (Exim 4.43) id 1HEAQw-0001ZQ-Fk for cosmogol@ietf.org; Mon, 05 Feb 2007 15:27:27 -0500
Received: by mail.bortzmeyer.org (Postfix, from userid 10) id C0321240817; Mon, 5 Feb 2007 21:27:08 +0100 (CET)
Received: by mail.sources.org (Postfix, from userid 1000) id 3E3B112354; Mon, 5 Feb 2007 21:27:03 +0100 (CET)
Date: Mon, 05 Feb 2007 21:27:03 +0100
From: Stephane Bortzmeyer <bortzmeyer@nic.fr>
To: cosmogol@ietf.org
Message-ID: <20070205202703.GB1731@sources.org>
Mime-Version: 1.0
Content-Type: text/plain; charset="us-ascii"
Content-Disposition: inline
X-Transport: UUCP rules
X-Operating-System: Debian GNU/Linux 3.1
User-Agent: Mutt/1.5.9i
X-Spam-Score: 0.1 (/)
X-Scan-Signature: 08e48e05374109708c00c6208b534009
Subject: BoF session in Prague "Formal State Machines"
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
The AD just approved the BoF session in IETF 68 in Prague: "Formal State Machines" http://www1.tools.ietf.org/bof/trac/wiki See you in Prague to discuss requirments, specifications, and Unicode characters in identifiers :-) _______________________________________________ Cosmogol mailing list Cosmogol@ietf.org https://www1.ietf.org/mailman/listinfo/cosmogol
- BoF session in Prague "Formal State Machines" Stephane Bortzmeyer
- Re: BoF session in Prague "Formal State Machines" Hannes Tschofenig
- Re: BoF session in Prague "Formal State Machines" Stephane Bortzmeyer
- Re: BoF session in Prague "Formal State Machines" Hannes Tschofenig
- Re: BoF session in Prague "Formal State Machines" Fred Baker
- Re: BoF session in Prague "Formal State Machines" Frank Ellermann
- Re: BoF session in Prague "Formal State Machines" Stephane Bortzmeyer
- Re: BoF session in Prague "Formal State Machines" Fred Baker