[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[PVS] events post from jno@di.uminho.pt requires approval

Title: events post from jno@di.uminho.pt requires approval
As list administrator, your authorization is requested for the
following mailing list posting:
    List:    events@fmeurope.org
    From:    jno@di.uminho.pt
    Subject: TFM09: Last CFP (FMWeek, Eindhoven, November  6th 2009)
    Reason:  Post to moderated list

At your convenience, visit:

to approve or deny the request.

Return-path: <jno@di.uminho.pt>
Received: from oostc.West.NL (oostc.West.NL [])
      by kruisbes.hosting.west.nl (Postfix) with ESMTP id DD2C3465B9  for
 <events@fmeurope.org>; Mon, 18 May 2009 10:32:39 +0200 (CEST)
Received: from localhost (localhost [])       by oostc.West.NL (Postfix)
 with ESMTP id C7ACD6F585     for <events@fmeurope.org>; Mon,
 18 May 2009 10:32:39 +0200 (CEST)
Received: from oostc.West.NL ([])
     by localhost (oostc.west.nl []) (amavisd-new, port 10024)
      with ESMTP id Oy5KcoISmODU for <events@fmeurope.org>;   Mon,
 18 May 2009 10:32:38 +0200 (CEST)
Received: from mx1.di.uminho.pt (mx1.di.uminho.pt [])
        by oostc.West.NL (Postfix) with ESMTP   for <events@fmeurope.org>; Mon,
 18 May 2009 10:32:38 +0200 (CEST)
Received: (qmail 4632 invoked from network); 18 May 2009 08:31:36 -0000
Received: from localhost (HELO []) ([])
 (envelope-sender <jno@di.uminho.pt>) by mx1.di.uminho.pt (qmail-ldap-1.03)
 with SMTP for <events@fmeurope.org>; 18 May 2009 08:31:36 -0000
Date: Mon, 18 May 2009 09:31:39 +0100
From: "J.N. Oliveira" <jno@di.uminho.pt>
Subject: TFM09: Last CFP (FMWeek, Eindhoven, November  6th 2009)
In-reply-to: <F2589B7B-34F6-4239-9001-CD90603D99E2@di.uminho.pt>
To: events@fmeurope.org
Message-id: <215BFC1C-188E-4670-9735-8A993F9CD7C2@di.uminho.pt>
MIME-version: 1.0 (Apple Message framework v753.1)
X-Mailer: Apple Mail (2.753.1)
Content-type: multipart/alternative;
X-Quarantine-ID: <Oy5KcoISmODU>
X-Scanned: by amavis-bq at mailhost.west.nl
X-Amavis-Alert: BAD HEADER Header line longer than 998 characters: References:
X-Spam-Score: -
X-Spam-Status: No, score=x tagged_above=-100 required=8 tests=[]
X-Virus-Scanned: ClamAV 0.94.2/9366/Mon May 18 08:02:23 2009 on
X-Virus-Status: Clean
References: <BC9F1042-4B7A-47F4-930E-872C74D14C61@di.uminho.pt><6C84A9A8-448
 6B-11CAD163DA3D@di.uminho.pt><A75E0DCD-498D-44BD-8557-1974ED182050@di.uminh o
 9DCDE0484@di.uminho.pt><A3983C52-A404-4496-B2A2-1A3C40AE63E1@di.uminho.pt>< 6A
 E0- 59FF-485D-B4B8-AD4D7C559424@di.uminho.pt><4F764709-722D-4A3D-8EBE-6E0754
 <BD0F9964-3CA5-4E FF-B3CC-245C4506C8EA@di.uminho.pt>

                 2nd Int. FME Conference on Teaching Formal Methods
                        "Widening Access to Formal Methods"

                           Friday, November 6th 2009, co-located with
             FM2009 : 16th International Symposium on Formal Methods
            Eindhoven, the Netherlands, November 2 - November 6, 2009

                               CALL FOR PAPERS

                    (URL: http://www.di.uminho.pt/tfm09)

1. About the conference
Ten years after the First World Formal Methods Congress (FM'99) in Toulouse,
formal methods communities from all over the world will once again have an
opportunity to come together.  As part of the First Formal Methods Week event
surrounding the FM2009 conference in Eindhoven, Formal Methods Europe will
be organizing TFM2009, the Second International Conference on Teaching Formal

The conference will serve as a forum to explore the successes and failures
of Formal Methods (FM) education, and to promote cooperative projects to
further education and training in FMs. We would like to provide a forum for
lecturers, teachers, and industrial partners to discuss their experience,
present their pedagogical methodologies, and explore best practices.

TFM2009 follows in a series of recent events on teaching formal methods,
including: two BCS-FACS TFM workshops (Oxford in 2003, and London in 2006),
the TFM 2004 conference in Ghent (with proceedings published as Springer
LNCS Volume 3294), the FM-Ed 2006 workshop (Hamilton, co-located with FM'06),
FORMED (Budapest, at ETAPS 2008), FMET 2008 (Kitakyushu 2008, co-located
with ICFEM), etc.

2. Topics of interest
Formal methods (FM) have an important role to play in the development of
complex computing systems - a role acknowledged in industrial standards such
as IEC 61508 and ISO/IEC 15408, and in the increasing use of precise modeling
notations, semantic markup languages, and model-driven techniques. There
is a growing need for software engineers who can work effectively with simple,
mathematical abstractions, and with practical notions of inference and proof.
However, there is little clear guidance ? for educators, for managers, or
for the engineers themselves ? as to what might comprise a basic education
in FM. Neither the present IEEE/ACM Software Engineering Body of Knowledge
(SWEBOK) nor the forthcoming Graduate Software Engineering Reference Curriculum
(GSWERC) provide the kind of specific information that teachers and practitioners
need to establish an adequate, balanced programme of learning in FM.

Original contributions are solicited that provide insight, opinions, and
suggestions for courses of action regarding the teaching FMs, including but
not limited to the following aspects:

    * experiences of teaching FMs, both successful and unsuccessful;
    * educational resources including the use of books, case studies and the internet;
    * the education of weak and mathphobic students;
    * the integration, or otherwise, of FMs into the curriculum, including
      contributions to the definition of a Formal Methods Body of Knowledge (FMBOK);
    * the advantages of FM-trained graduates in the workplace;
    * changing attitudes towards FMs in students, academic staff and practitioners;
    * the necessary mathematical background.

The conference proceedings will be published by Springer-Verlag in the LNCS series.
Submissions may be up to 20 pages long using Springer's LNCS format.

3. Important dates
Please put the following dates in your diary:

Submission deadline     May 25, 2009
Notification of acceptance      July 6, 2009
Final version   August 3, 2009

4. How to submit
Papers for TFM2009 will be processed through the EasyChair conference management
system. To submit your paper, please visit:


5. Invited speakers
To be announced

6. Programme Committee
Izzat Alsmadi   (North Dakota State University, USA)
Dines Bjorner   (IIMM Institute, Denmark)
Eerke Boiten    (University of Kent, UK)
Raymond Boute   (Universiteit Gent, Belgium)
Andrew Butterfield      (Trinity College, Dublin)
Jim Davies      (University of Oxford, UK)
David Duce      (Oxford Brookes University, UK)
John Fitzgerald (University of Newcastle upon Tyne, UK)
Jeremy Gibbons  (University of Oxford, UK)
Randolph Johnson        (National Security Agency, USA)
Michael Mac an Airchinnigh      (Trinity College, Dublin)
Dino Mandrioli  (Politecnico di Milano, Italy)
Jose Oliveira   (Universidade do Minho, Portugal)
Kees Pronk      (Technische Universiteit Delft, NL)
Bernhard Schaetz        (Tecnical University of Munique, Germany)
Wolfgang Schreiner      (Johannes Kepler University Linz, Austria)
Simao Melo de Sousa     (Universidade da Beira Interior, Portugal)
Kenji Taguchi   (National Institute of Informatics, Japan)
Jeannette Wing  (Carnegie-Mellon University, USA)

7. Sponsorship
TFM2009 is supported by FME, the Formal Methods Europe Association

From: events-request@fmeurope.org
Subject: confirm 8b4d4a8e8c399f4989ccbe4ecc4d4c93050ba64a
Sender: events-request@fmeurope.org
MIME-version: 1.0
Content-type: text/plain; charset="us-ascii"
Content-transfer-encoding: 7bit

If you reply to this message, keeping the Subject: header intact,
Mailman will discard the held message.  Do this if the message is
spam.  If you reply to this message and include an Approved: header
with the list password in it, the message will be approved for posting
to the list.  The Approved: header can also appear in the first line
of the body of the reply.
events mailing list