W3C home > Mailing lists > Public > www-rdf-logic@w3.org > March 2006

FM'06 Doctoral Symposium

From: <event@in.tu-clausthal.de>
Date: Fri, 10 Mar 2006 13:20:19 -0300
Message-ID: <4411A743.3010606@cin.ufpe.br>
To: acl2@cs.utexas.edu, action-semantics@brics.dk, agents@cs.umbc.edu, algprog@comlab.ox.ac.uk, alp-request@nic.surfnet.nl, bforum@matrix.inrets.fr, caml-announce@inria.fr, caml-list@pauillac.inria.fr, categories@mta.ca, church-announce@types.bu.edu, cipher-cfp@ieee-security.org, clean-list@cs.kun.nl, clics@doc.ic.ac.uk, clp@comp.nus.edu.sg, concurrency@cwi.nl, coq-club@pauillac.inria.fr, csl@dbai.tuwien.ac.at, deduktion@intellektik.informatik.tu-darmstadt.de, dgp-project@comlab.ox.ac.uk, dss@cs.auc.dk, eacsl@dimi.uniud.it, easst-members-owner@informatik.uni-goettingen.de, ecoop-info@ecoop.org, erlang-questions@erlang.org, event@in.tu-clausthal.de, events@fmeurope.org, fmacademic@cas.mcmaster.ca, formal-methods@cs.uidaho.edu, fortia@fmeurope.org, generic-haskell@cs.uu.nl, grin@di.unipi.it, haskell@haskell.org, isabelle-users@cl.cam.ac.uk, kgs@logic.tuwien.ac.at, lotos-world@site.uottawa.ca, lprolog@cs.umn.edu, members@fmeurope.org, mercury-ads@cs.mu.oz.au, nuprllist@CS.Cornell.EDU, nvti-list@cwi.nl, oose@uni-paderborn.de, pept@yl.is.s.u-tokyo.ac.jp, petrinet@informatik.uni-hamburg.de, pl-seminar@ccs.neu.edu, plt-scheme@slow.flux.utah.edu, podc@acm.org, procos-request@jiscmail.ac.uk, prog-lang@diku.dk, progtools@comlab.ox.ac.uk, prolog-vendors@sics.se, puml-list@cs.york.ac.uk, pvs@csl.sri.com, relmics-l@McMaster.CA, rewriting@ens-lyon.fr, rrs-authors@zurich.csail.mit.edu, sbc-l@sbc.or.br, seworld@cs.colorado.edu, sicstus-users@sics.se, theorem-provers@ai.mit.edu, theory-logic@cs.cmu.edu, theorynt@listserv.nodak.edu, types-announce@lists.seas.upenn.edu, unification@sics.se, users@mozart-oz.org, zforum@prg.ox.ac.uk

                                    DOCTORAL SYMPOSIUM

                                      22nd of August 2006        
                        McMaster University, Hamilton, Canada



For the first time, FM'06 will feature a Doctoral Symposium.  Students 
are invited to submit short papers describing their work in progress. 
The authors of the accepted papers will present their work to the 
members of the Doctoral Symposium Committee, who will act as "friendly 
examiners", providing detailed feedback.  Participation for students 
whose submissions are accepted will be subsidised. Two prizes will be 

Like the FM´06 conference itself, the Doctoral Symposium welcomes 
submissions on all aspects of formal methods research, both theoretical 
and practical.   The broad topics of interest of the Doctoral Symposium 

* Theoretical foundations
* Specification and modelling
* Refinement
* Static analysis
* Model-checking
* Verification
* Calculation
* Reusable domain theories
* Experience with introducing formal methods in industry
* Case studies
* Formal methods in hardware and system design
* Method integration
* Development process
* Tools and environments

Extended abstracts reporting on the current status of doctoral theses 
should be submitted by e-mail, as a PDF file, to the Doctoral Symposium 
Chair (acas@cin.ufpe.br). Submissions are limited to 3 pages and must 
follow the Springer's Lecture Notes in Computer Science format, which 
can be found in http://www.springeronline.com/lncs.

Submissions will be evaluated by the Committee according to their 
originality, significance, soundness, quality of presentation, and 
relevance with respect to the main topics of the symposium. Since the 
major purpose of the symposium is to provide feedback to doctoral 
students, possibly influencing the direction of their research, work in 
progress with some results, but still with some open issues, is in the 
ideal stage for submission.

The Doctoral Symposium will take a full day,  including around 8 
presentations of 45 minutes each (20-25 minutes for presentation and 
20-25 for discussion and feedback). The participating students and 
committee members will stay together during the entire day, including 
the presentations, discussions, coffee-breaks and lunch, giving plenty 
of opportunity for informal interaction.

The Doctoral Symposium has no registration fees. On the day of the 
Doctoral Symposium, coffee breaks and a free lunch will be served. There 
will also be a limited number of grants for covering the registration 
fees for the FM'06 Technical Symposium.

Two prizes will be awarded in the context of the accepted submissions: a 
QinetiQ Award (for research contributions with strong practical 
applications) and Springer FACJ Award (for fundamental research). Both 
awards will consider the relevance of the work, the written and oral 

Submission deadline: Friday, May 26, 2006
Notification to authors: Friday, June 9, 2006 

Ana Cavalcanti  (University of York, UK)
Augusto Sampaio (UFPE, Brazil) - Chair
Jim Woodcock (University of York, UK)

More members will be invited according to the particular research topics 
of the accepted submissions.
This e-mail was delivered to you by event@in.tu-clausthal.de, what is a
moderated list ran by Computational Intelligence Group of Clausthal University of Technology, Germany. 
All event announcements sent through this list are also listed in our
conference planner at http://cig.in.tu-clausthal.de/index.php?id=planner.
In the case of any requests, questions, or comments, do not hesitate and 
contact event-owner@in.tu-clausthal.de ASAP. 
* CIG does not take any responsibility for validity  * 
* of content of messages sent through this list.     * 

Computational Intelligence Group
Department of Computer Science
Clausthal University of Technology
Received on Sunday, 12 March 2006 10:11:45 UTC

This archive was generated by hypermail 2.3.1 : Wednesday, 2 March 2016 11:10:46 UTC