coq-club AT inria.fr
Subject: The Coq mailing list
List archive
- From: FORMED2008 workshop organizer <formed2008 AT inf.elte.hu>
- To: rseba AT dit.unitn.it, alachhab AT lifc.univ-fcomte.fr, alpuente AT dsic.upv.es, andrea.struck AT cs.uni-dortmund.de, june.andronick AT gemalto.com, markus.bajohr AT cs.uni-dortmund.de, bakera AT cs.uni-potsdam.de, paolo AT dcs.gla.ac.uk, demis AT dimi.uniud.it, banach AT cs.man.ac.uk, bernat AT cs.york.ac.uk, ptb AT inv.it.uc3m.es, jeremy.bryans AT newcastle.ac.uk, buckl AT in.turn.de, bultan AT cs.ucsb.edu, rachel AT csse.uwa.edu.au, danielt AT coventry.ac.uk, Akim.Demaille AT irde.epita.fr, edenney AT email.arc.nasa.gov, markus.doedt AT uni-dortmund.de, dongjs AT comp.nus.edu.sg, dong.wei AT 263.net, dilic AT abo.fi, dustdar AT infosys.tuwien.ac.at, sescobar AT dsic.upv.es, etien_je AT auditeur.cnam.fr, falaschi AT dimi.uniud.it, farchi AT il.ibm.com, john.fitzgerald AT ncl.ac.uk, garetto AT di.unito.it, jens.schoenherr AT eas.iis.fhg.de, cstef AT diku.dk, steffen AT cs.uni-dortmund.de, strnadel AT fit.vutbr.cz, anders.wall AT se.abb.com, wandeler AT tik.ee.ethz.ch, ute.wappler AT mail.inf.tu-dresden.de, L.F.Wolf AT lumc.nl, zimmer AT informatik.uni-halle.de, lenore AT cs.uic.edu, yamine AT ensma.fr, all AT risc.uni-linz.ac.at, academic-info AT info.uvt.ro, secretariat AT icsoft.org, cscs16 AT ics.pub.ro, secretariat AT iceis.org, calculemus-ig AT ags.uni-sb.de, manolios AT cc.gatech.edu, marion.schimpl AT sfb013.uni-linz.ac.at, M.Kerber AT cs.bham.ac.uk, mkm07 AT cs.bham.ac.uk, jjb AT microsoft.com, msagiv AT acm.org, jv AT imm.dtu.dk, torben AT ruc.dk, Dongming.Wang AT lip6.fr, chris AT ags.uni-sb.de, tiwari AT csl.sri.com, afelty AT site.uottawa.ca, FACS AT JISCMAIL.AC.UK, m.kohlhase AT iu-bremen.de, geoff AT cs.miami.edu, jose AT FIADEIRO.ORG, Paul.Boca AT VIRGIN.NET, K.Bogdanov AT DCS.SHEF.AC.UK, m.stannett AT DCS.SHEF.AC.UK, szeredi AT cs.bme.hu, bjorner AT gmail.com, eroanes AT mat.ucm.es, wester AT math.unm.edu, ZSOK Viktoria <zsv AT inf.elte.hu>, HORVATH Zoltan <hz AT inf.elte.hu>, andrei AT voronkov.com, johnh AT ichips.intel.com, rd AT dcs.st-and.ac.uk, watt AT scl.csd.uwo.ca, szibolya AT ektf.hu, kapur AT cs.unm.edu, tah AT epfl.ch, erodri AT lsi.upc.edu, knoop AT complang.tuwien.ac.at, seidl AT in.tum.de, nbjorner AT windows.microsoft.com, Tetsuo.Ida AT acm.org, marmircea AT gmail.com, antonio.montes AT upc.edu, finichiu AT auto.bme.hu, lkovacs AT iit.bme.hu, klevi77 AT yahoo.com, florina.piroi AT oeaw.ac.at, martin.giese AT oeaw.ac.at, marco.discacciati AT gmail.com, lamport AT microsoft.com, tarmo AT cs.ioc.ee, petter AT in.tum.de, V.Sorge AT cs.bham.ac.uk, filali AT irit.fr, andrey.rybalchenko AT epfl.ch, Radu.Iosif AT imag.fr, mrukhaia AT yandex.ru, rukhaia AT viam.hepi.edu.ge, jeantidze AT yahoo.com, krupski222 AT mail.ru, plisko AT ttk.ru, forlav AT mail.ru, forlav AT bigmir.net, lav AT unicyb.kiev.ua, let AT iss.org.ua, let AT cyfra.net, hago AT dcs.qmul.ac.uk, juergen.grossmann AT daimlerchrysler.com, guedemann AT informatik.uni-augsburg.de, jan.gustafsson AT mdh.se, ali.haidar AT lsbu.ac.uk, hatcliff AT cis.ksu.edu, niklas.holsti AT iki.fi, jakob.rehof AT cs.uni-dortmund.de, thomas.jensen AT irisa.fr, sven.joerges AT uni-dortmund.de, joubert AT lcc.uma.es, kamkin AT ispras.ru, martin.karusseit AT cs.uni-dortmund.de, kiniry AT ucd.ie, joost AT liacs.nl, bernd.kraemer AT fernuni-hagen.de, krinke AT acm.org, christian.kubczak AT cs.uni-dortmund.de, cesar.Kunz AT sophia.inria.fr, anna-lena.lamprecht AT web.de, kirsten.schwentick AT cs.uni-dortmund.de, bjorn.lisper AT mdh.se, z.liu AT iist.unu.edu, ul AT informatik.uni-rostock.de, vlc AT it.uc3m.es, tiziana.margaria AT cs.uni-potsdam.de, carole.schoen AT absint.com, anabel AT ics.mq.edu.au, pedro AT lcc.uma.es, mike.hinchey AT usa.net, ll AT l.l, alice AT dcs.gla.ac.uk, pascal.Montag AT daimlerchrysler.com, mutilin AT ispras.ru, nafz AT informatik.uni-augsburg.de, ralf.nagel AT uni-dortmund.de, alvarez AT lcc.uma.es, petrenko AT ispras.ru, emicp AT dsi.uclm.es, ggpu AT sei.ecnu.edu.cn, herald.raffelt AT cs.uni-dortmund.de, reif AT informatik.uni-augsburg.de, reisig AT informatik.hu-berlin.de, renner AT cs.uni-potsdam.de, richter AT symtavision.com, robby AT cis.ksu.edu, dromero AT dsic.upv.es, abhik AT comp.nus.edu.sg, oliver.ructhing AT udo.edu, schlich AT informatik.rwth-aachen.de, schmeck AT aifb.uni-karlsruhe.de, c.schmidt AT tu-bs.de, schubert AT cs.uni-potsdam.de, sebastien.labbe AT cea.fr, seebach AT informatik.uni-ausburg.de, silakov AT ispras.ru, jans AT ida.ing.tu-bs.de, bernhard.steffen AT cs.uni-dortmund.de, stein AT ida.ing.tu-bs.de, r.sterritt AT ulster.ac.uk, R.G.Stone AT lboro.ac.uk, martin.sugioarto AT cs.uni-dortmund.de, clt AT csl.sri.com, carola.schoen AT absint.com, David.von.oheimb AT siemens.com, christian.wagner AT dnw-germany.aero, ji.wang AT 263.net, thomas.wilk AT cs.uni-dortmund.de, holger.willebrandt AT cs.uni-dotmund.de, winkler AT cs.uni-potsdam.de, liangyun AT comp.nus.edu.sg, zhaojh AT nju.edu.cn, parosh AT it.uu.se, aoaj AT ezpetri.com, johan.x.andersson AT mdh.se, jespera AT diku.dk, baron AT ensma.fr, philippe.baufreton AT hispano-suiza-sa.com, becker AT i.uni-muenster.de, nbh AT docs.uu.se, peter.buchholz AT udo.edu, carcenac AT cert.fr, dave AT cwi.nl, mirko.conrad AT daimlerchrysler.com, bycook AT microsoft.com, susi AT di.unito.it, duflot AT univ-paris12.fr, ef1 AT inf.tu-dresden.de, aizen AT il.ibm.com, limor.fix AT intel.com, vossen AT uni-muenster.de, grosu AT cs.sunysb.edu, M.Hendrinks AT cs.ru.nl, hermanns AT cs.uni-sb.de, Jens.Huendling AT hpi.uni-potsdam.de, ah701 AT doc.ic.ac.uk, ivancic AT nec-labs.com, jacob AT cwi.nl, erwan.jahier AT imag.fr, jianli.xu AT nokia.com, johann.deneux AT it.uu.se, jbj AT daimi.au.dk, jose.fernandez-villacanas AT cec.eu.int, dim AT dk12687.spb.edu, kuliamin AT ispras.ru, anna-lena AT nlamprecht.de, marcel.verhoef AT chess.nl, margaria AT cs.uni-goettingen.de, o.florescu AT tue.nl, oberweis AT alfb.unl-karlsruhe.de, dxp AT cs.bham.ac.uk, pascal.raymond AT imag.fr, doron AT dcs.warwick.ac.uk, mn7 AT inf.tu-dresden.de, dquinlan AT llnl.gov, ramesh AT itd.nrl.navy.mil, rehof AT microsoft.com, kostis AT it.uu.se, fabian.schmied AT gmx.at, brezzi AT imati.cnr.it, deuflhard AT zib.de, rolf.jeltsch AT sam.math.ethz.ch, neunzert AT mathematik.uni-kl.de, pironneau AT ann.jussieu.fr, ambos AT math.uni-heidelberg.de, heuer AT informatik.uni-rostock.de, oandrisano AT deis.unibo.it, appelrath AT informatik.uni-oldenburg.de, baldoni AT mat.uniroma2.it, baratell AT science.unitn.it, bernardo AT sti.uniurb.it, silvia.biffignandi AT unibg.it, gordon AT comp.lancs.ac.uk, blum AT informatik.uni-bonn.de, boccardo AT mat.uniroma1.it, michael.boehlen AT unibz.it, borghoff AT informatik.unibw-muenchen.de, bossi AT dsi.unive.it, kbcsl AT uni-paderborn.de, Michael.CameronJones AT utas.edu.au, dekan AT uni-osnabrueck.de, coletti AT dipmat.unipg.it, costantini AT unisi.it, dassow AT iws.cs.uni-magdeburg.de, dipartimento.matematica AT unicam.it, dezani AT di.unito.it, stephan.diehl AT ku-eichstaett.de, volker.diekert AT informatik.uni-stuttgart.de, B.Du-Boulay AT sussex.ac.uk, ccl AT ps.uni-sb.de, clp AT comp.nus.edu.sg, colibri AT let.uu.nl, compulognet-parimp AT dia.fi.upm.es, isabelle-users AT cl.cam.ac.uk, prolog-vendors AT sics.se, mercury-users AT cs.mu.oz.au, theorem-provers AT ai.mit.edu, theory-logic AT CS.CMU.EDU, softtech AT cs.uu.nl, coq-club AT pauillac.inria.fr, elan-users AT loria.fr, curry AT informatik.rwth-aachen.de, ALP-request AT NIC.SURFNET.NL, rewriting AT ens-lyon.fr, sicstus-users AT sics.se, meta-announce AT cwi.nl, cbs AT cbs.dtu.dk, ben AT vub.ac.be, reiner AT cs.chalmers.se, mmo AT ls5.cs.uni-dortmund.de, ratiu AT mathematik.uni-muenchen.de, hhong AT math.ncsu.edu, necula AT cs.berkeley.edu, srirams AT theory.stanford.edu, angelaw AT cs.chalmers.se, mikolas.janota AT gmail.com, sipma AT cs.stanford.edu, manna AT cs.stanford.edu, Saddek.Bensalem AT imag.fr, Yassine.Lakhnech AT imag.fr, saidi AT sdl.sri.com, Patrick.Cousot AT ens.fr, podelski AT informatik.uni-freiburg.de, daniel.kroening AT inf.ethz.ch, natasha.sharygina AT unisi.ch, mernst AT csail.mit.edu, jhp AT csail.mit.edu, carette AT mcmaster.ca, marius AT cs.utt.ro, bagnara AT cs.unipr.it, gabriel AT info.uaic.ro, vigano AT inf.ethz.ch, jabrial AT inf.ethz.ch, bruno AT csl.sri.com, katoen AT cs.rwth-aachen.de, a.ireland AT hw.ac.uk, kreitz AT cs.cornell.edu, srossi AT dsi.unive.it, Stephan.Merz AT loria.fr, julianr AT email.arc.nasa.gov, barbara.sprick AT udo.edu, chr.walther AT informatik.tu-darmstadt.de, Rushby AT csl.sri.com, mantel AT cs.rwth-aachen.de, mirko.conrad AT mathworks.de, academicinfo AT info.uvt.ro, petcu AT info.uvt.ro, vnegru AT info.uvt.ro, dzaharie AT info.uvt.ro, cosbonchis AT yahoo.com, jonathan.bowen AT lsbu.ac.uk, J.Derrick AT DCS.SHEF.AC.UK, eleni.berki AT cs.uta.fi, eleftherakis AT city.academic.gr, EAPLS AT JISCMAIL.AC.UK, easst-members AT informatik.uni-goettingen.de, seworld AT cs.colorado.edu, ecoop-info AT ecoop.org, gi-fg214 AT informatik.uni-kiel.de, Quoc-Nam.Tran AT rice.edu, Nicolas.Halbwachs AT imag.fr, Oded.Maler AT imag.fr, Joseph.Sifakis AT imag.fr, Marius.Bozga AT imag.fr, Adam.Rogalewicz AT imag.fr, Laure.Gonnord AT imag.fr, simon.kramer AT a3.epfl.ch, vkuncak AT mit.edu, lili AT cs.uni-sb.de, Istenes Zolt�n <istenes AT inf.elte.hu>
- Subject: [Coq-Club] FORMED2008 workshop CFP
- Date: Wed, 21 Nov 2007 09:05:34 +0100
- List-archive: <http://pauillac.inria.fr/pipermail/coq-club/>
***************************************************************
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
***************************************************************
Attachment:
cfp_v6.pdf
Description: Adobe PDF document
- [Coq-Club] FORMED2008 workshop CFP, FORMED2008 workshop organizer
Archive powered by MhonArc 2.6.16.