[ecoop-info] FORMED2008 workshop CFP

[FORMED2008 workshop organizer]

***************************************************************

                     SECOND CALL FOR PAPERS

                       First Workshop on
         Formal Methods in Computer Science Education
                          FORMED 2008
                 http://formed2008.inf.elte.hu
                   a satellite event of the
              11th European Joint Conferences on
                Theory and Practice of Software
                         (ETAPS 2008)
                      Budapest - Hungary
                        March 29, 2008

***************************************************************

IMPORTANT DATES

- Submission of full paper: December 3, 2007
- Author notification: January 10, 2008
- Final version due: January 25, 2008

***************************************************************

Nowadays  formal methods have an important role in the computer
science curricula of higher education. Given the wide variation
in  students' motivation and background knowledge in this area,
formal  methods  certainly  represent  a  challenge  for   both
students  and  teachers.  Difficulties  arise  in  choosing  an
appropriate formal method and finding its most opportune  place
in   the  curricula.  Deciding  the  formal  method  with   its
underlying  specification language and its supporting  software
tool  is a complex task. The development of rigorous and  high-
level   abstraction  skills  is  undisputedly  a  crucial   and
essential objective of modern computing curricula. These skills
have  a  wider  area  of  applicability, even  beyond  software
engineering.  On the other hand, developing abstraction  skills
thru  formal  methods is more challenging than the  traditional
education  of  programming. The purpose of the workshop  is  to
provide a forum for teachers and industrial partners to discuss
pedagogical  methodologies and share  experiences  of  teaching
formal methods.

Suggested areas of interest in the workshop include, but are
not limited to:
  - Teaching formal and semi-formal methods
  - Relation of formal and semi-formal methods
  - Formal specification languages
  - Formal methods in the computer science curricula
  - Methodologies for teaching formal methods
  - Best practices
  - Tools used in teaching formal methods
  - Experience with industrial FM software tools in education
  - Software support specifically designed for FM education
  - Teaching mathematics as a background for FM
  - Integrating mathematical modelling in all courses of the CS
curriculum
  - Student psychology issues in teaching FM: expectations,
attitudes, etc.
  - Evaluating effectiveness of educational methods in teaching
FM
  - Evaluating impact of FM education on skills of students

***************************************************************

INVITED SPEAKER

- Jean-Raymond Abrial

***************************************************************

PAPER SUBMISSION

Research papers (full papers, 8-10 pages) should be submitted
to the FORMED 2008 organizers in ENTCS format
(http://www.entcs.org).
Submissions should be sent by e-mail to formed2008 at inf.elte.hu
Further information will be available at the FORMED 2008 home
page (http://formed2008.inf.elte.hu).
At least one author of each accepted submission must register
and present the paper at the workshop.

***************************************************************

PROCEEDINGS

After  revision, final copies of the accepted  papers  will  be
published  in Electronic Notes in Theoretical Computer  Science
(ENTCS), Elsevier Science (http://www.entcs.org).

***************************************************************

PROGRAM COMMITTEE

- Christian Attiogbe   University of Nantes, France
- Andras Benczur       Eotvos Lorand University, Hungary
- Raymond Boute        University of Ghent, Belgium
- Steve Dunne          University of Teesside, U.K.
- Akos Fothi           Eotvos Lorand University, Hungary
- Henri Habrias        University of Nantes, France
- Zoltan Horvath       Eotvos Lorand University, Hungary
- Zoltan Istenes       Eotvos Lorand University, Hungary
- David Lightfoot      Oxford Brookes University, UK
- Ken Robinson         University of New South Wales, Australia
- Andrew Simpson       Oxford University, UK

***************************************************************

CONTACT PERSON

- Zoltan Istenes        formed2008 at inf.elte.hu

***************************************************************



-------------- next part --------------
A non-text attachment was scrubbed...
Name: cfp_v6.pdf
Type: application/pdf
Size: 61727 bytes
Desc: not available
Url : http://www.aito.org/pipermail/ecoop-info/attachments/20071121/119695b8/attachment-0001.pdf