From: "Ricardo Jorge Silvério Magalhães Machado" <rmac@dsi.uminho.pt>
To: <types@cis.upenn.edu>, <codesign@ifi.unizh.ch>,
<puml-list@cs.york.ac.uk>, <hwcomp@mailbase.ac.uk>,
<softverf@nist.gov>, <lotos-world@site.uottawa.ca>,
<concurrency@cwi.nl>, <cat-dist@mta.ca>,
<petrinet@informatik.uni-hamburg.de>,
<system-safety@listserv.gsfc.nasa.gov>,
<formal-methods@cs.uidaho.edu>, <bug@estas1.inrets.fr>,
<seworld@cs.colorado.edu>, <pdcemail@ee.uwa.edu.au>,
<isworld@lyris.isworld.org>, <ieee-tcrts-request@cs.bu.edu>,
<eapls@jiscmail.ac.uk>, <eatcs-it@cs.unibo.it>,
<amast@cs.utwente.nl>, <tfm-list@doc.ic.ac.uk>,
<appsem@cs.chalmers.se>, <theory@brics.dk>, <prog-lang@brics.dk>,
<theory@cl.cam.ac.uk>, <focs@comlab.ox.ac.uk>,
<prog-lang@diku.dk>, <eacsl@dimi.uniud.it>,
<mailinglist@fmeurope.org>, <softtech@cs.uu.nl>,
<palist@win.tue.nl>, <ag-list@uni-mb.si>, <relmics-l@mcmaster.ca>,
<ecoop-info@ecoop.org>, <coq-club@pauillac.inria.fr>,
<theorem-provers@ai.mit.edu>, <isabelle-users@cl.cam.ac.uk>,
<info-hol@ultimate.cs.byu.edu>, <calculemus-ig@mathweb.org>,
<lprolog@cs.umn.edu>, <lics-request@dcs.ed.ac.uk>,
<pvs@csl.sri.com>, <logic@CS.Cornell.EDU>,
<logic@theory.lcs.mit.edu>, <procos@mailbase.ac.uk>,
<webmaster@eatcs.org>, <gulp@di.unipi.it>, <clean-list@cs.kun.nl>,
<church-announce@types.bu.edu>, <tucsnews@cs.utu.fi>,
<morphware@rhrk.uni-kl.de>,
<reliable_computing@interval.louisiana.edu>,
<components@artist-embedded.org>, <agents@cs.umbc.edu>,
<behavior@cs.ucsd.edu>, <cafeobj@sran419.sra.co.jp>,
<caml-list@inria.fr>, <comlab@comlab.ox.ac.uk>,
<cs-logic@cs.indiana.edu>, <csl@dbai.tuwien.ac.at>,
<dbworld@cs.wisc.edu>, <generic-haskell@cs.uu.nl>,
<ifip@ifip.or.at>, <logic-announce@uclink4.berkeley.edu>,
<logic-list@cs.rice.edu>, <reus@informatik.uni-muenchen.de>,
<rewriting@ens-lyon.fr>, <isda02@softcomputing.net>,
<lfcs-interest@dcs.ed.ac.uk>, <theory@cs.bham.ac.uk>,
<acl2@cs.utexas.edu>, <events@fmeurope.org>, <pure@di.uminho.pt>,
<lernet@di.uminho.pt>, <cctc-all@di.uminho.pt>,
<sefm2005@uni-koblenz.de>, <fortia@fmeurope.org>,
<members@fmeurope.org>, <info@fmeurope.org>, <appsem@appsem.org>,
<coalgebras@iti.cs.tu-bs.de>, <categories@mta.ca>,
<haskell@haskell.org>, <evolution@joint.org>,
<formal-methods@imit.kth.se>, <fme03@isti.cnr.it>,
<appiar@liacc.up.pt>, <action-semantics@brics.dk>,
<THEORYNT@listserv.nodak.edu>, <com1204@lists.ccs.neu.edu>,
<dsi@dsi.uminho.pt>
Subject: CfP: MOMPES 2008 (published by IEEE CS Press)
Date: Tue, 18 Sep 2007 14:30:29 +0100 [thread overview]
Message-ID: <1200D8BEDB3DD54DBA528E210F372BF33A5A14@BEFUNCIONARIOS.uminho.pt> (raw)
[-- Attachment #1: Type: text/plain, Size: 4355 bytes --]
******************************************************************
CALL FOR PAPERS
5th International Workshop on Model-based Methodologies for
Pervasive and Embedded Software (MOMPES 2008)
http://www.di.uminho.pt/mompes
within the
11th European Joint Conferences on Theory and Practice of Software
(ETAPS 2008)
Budapest - Hungary
April 5, 2008
******************************************************************
SCOPE
Model Based Development (MBD) comprises approaches to software
development, which rely on modelling and the systematic transition
from models to executable code. This workshop focuses on the
theoretical and practical aspects related with the adoption of MBD
methodologies (notation, process, methods, and tools) for supporting
the construction of software for pervasive and embedded systems.
Suggested areas of interest in the workshop include, but are not
restricted to:
- Meta-modelling and Tools
- Feature Modelling
- Modelling of Non-Functional Requirements
- Model-based Architectures
- Model Transformation and Code Generation
- Software Process, Product Lines and Frameworks
- Model-based Analysis, Testing and Verification
- Model-Based Optimization, Design Spaces and Design Rules
- Models for Adaptable and Predictable System Quality
- Models for Adaptive System Infrastructure
- Models for Ultra-Large Scale Systems
- Issues In Socio-Technical Ecosystems
- Case Studies and Demonstration Cases
******************************************************************
PAPER SUBMISSION
Authors are requested to submit a 10-page PDF English version
(including figures, references, and appendices) of their papers in
IEEE Computer Society Press 2-column format available from
ftp://pubftp.computer.org/Press/Outgoing/proceedings/instruct.pdf.
Submitted papers will be reviewed by at least 3 PC members. Authors
of accepted papers must sign the IEEE copyright form. Full papers
exceeding 10 pages will be charged for pages in excess.
At least one author of each accepted submission must register and
present the paper at the workshop.
Submissions by email to mompes@di.uminho.pt.
******************************************************************
PROCEEDINGS
Proceedings containing accepted regular papers and invited papers
are planned to be published by IEEE Computer Society Press.
Best papers of MOMPES 2008 will be considered for publication in
extended and revised form in a special issue of the Springer's
journal of Innovations in Systems and Software Engineering.
******************************************************************
SPONSORING
MOMPES 2008 is technically co-sponsored by IFIP WG10.2 (Embedded
Systems).
******************************************************************
IMPORTANT DATES
- Submission of full papers: 29.Oct.2007
- Notification of acceptance: 03.Dec.2007
- Camera-ready paper version: 04.Jan.2008
- Workshop at ETAPS 2008: 05.Apr.2008
******************************************************************
ORGANIZING COMMITTEE
- Ricardo J. Machado U Minho (PT)
- Joao M. Fernandes U Minho (PT)
- Rick Kazman SEI CMU (US)
- Flavio Wagner UFRGS (BR)
PROGRAM COMMITTEE
- Len Bass SEI CMU (US)
- Jean Bezivin U Nantes (FR)
- Gaelle Calvary U Joseph Fourier (FR)
- Hong-Mei Chen U Hawaii Manoa (US)
- Sophie Dupuy-Chessa U Joseph Fourier (FR)
- Joao M. Fernandes U Minho (PT)
- Lidia Fuentes U Malaga (ES)
- Susanne Graf VERIMAG (FR)
- Luis Gomes UN Lisboa (PT)
- Nick Graham Queen’s U (CA)
- Mike Hinchey NASA (US)
- Jean-Marc Jezequel U Rennes & INRIA (FR)
- Rick Kazman SEI CMU (US)
- Ridha Khedri McMaster U (CA)
- Hillel Kugler Microsoft Research (UK)
- Ricardo J. Machado U Minho (PT)
- Stephen J. Mellor Mentor Graphics (US)
- Dirk Muthig IESE (DE)
- Franz Rammig U Paderborn (DE)
- Wolfgang Rosenstiel U Tuebingen (DE)
- Bran Selic IBM Rational Software (CA)
- Joao P. Sousa GMU (US)
- Janos Sztipanovits Vanderbilt U (US)
- Arie van Deursen CWI (NL)
- Yves Vanderperren U Leuven (BE)
- Flavio Wagner UFRGS (BR)
******************************************************************
[-- Attachment #2: Type: text/html, Size: 7473 bytes --]
reply other threads:[~2007-09-18 13:29 UTC|newest]
Thread overview: [no followups] expand[flat|nested] mbox.gz Atom feed
Reply instructions:
You may reply publicly to this message via plain-text email
using any one of the following methods:
* Save the following mbox file, import it into your mail client,
and reply-to-all from there: mbox
Avoid top-posting and favor interleaved quoting:
https://en.wikipedia.org/wiki/Posting_style#Interleaved_style
* Reply using the --to, --cc, and --in-reply-to
switches of git-send-email(1):
git send-email \
--in-reply-to=1200D8BEDB3DD54DBA528E210F372BF33A5A14@BEFUNCIONARIOS.uminho.pt \
--to=rmac@dsi.uminho.pt \
--cc=THEORYNT@listserv.nodak.edu \
--cc=acl2@cs.utexas.edu \
--cc=action-semantics@brics.dk \
--cc=ag-list@uni-mb.si \
--cc=agents@cs.umbc.edu \
--cc=amast@cs.utwente.nl \
--cc=appiar@liacc.up.pt \
--cc=appsem@appsem.org \
--cc=appsem@cs.chalmers.se \
--cc=behavior@cs.ucsd.edu \
--cc=bug@estas1.inrets.fr \
--cc=cafeobj@sran419.sra.co.jp \
--cc=calculemus-ig@mathweb.org \
--cc=caml-list@inria.fr \
--cc=cat-dist@mta.ca \
--cc=categories@mta.ca \
--cc=cctc-all@di.uminho.pt \
--cc=church-announce@types.bu.edu \
--cc=clean-list@cs.kun.nl \
--cc=coalgebras@iti.cs.tu-bs.de \
--cc=codesign@ifi.unizh.ch \
--cc=com1204@lists.ccs.neu.edu \
--cc=comlab@comlab.ox.ac.uk \
--cc=components@artist-embedded.org \
--cc=concurrency@cwi.nl \
--cc=coq-club@pauillac.inria.fr \
--cc=cs-logic@cs.indiana.edu \
--cc=csl@dbai.tuwien.ac.at \
--cc=dbworld@cs.wisc.edu \
--cc=dsi@dsi.uminho.pt \
--cc=eacsl@dimi.uniud.it \
--cc=eapls@jiscmail.ac.uk \
--cc=eatcs-it@cs.unibo.it \
--cc=ecoop-info@ecoop.org \
--cc=events@fmeurope.org \
--cc=evolution@joint.org \
--cc=fme03@isti.cnr.it \
--cc=focs@comlab.ox.ac.uk \
--cc=formal-methods@cs.uidaho.edu \
--cc=formal-methods@imit.kth.se \
--cc=fortia@fmeurope.org \
--cc=generic-haskell@cs.uu.nl \
--cc=gulp@di.unipi.it \
--cc=haskell@haskell.org \
--cc=hwcomp@mailbase.ac.uk \
--cc=ieee-tcrts-request@cs.bu.edu \
--cc=ifip@ifip.or.at \
--cc=info-hol@ultimate.cs.byu.edu \
--cc=info@fmeurope.org \
--cc=isabelle-users@cl.cam.ac.uk \
--cc=isda02@softcomputing.net \
--cc=isworld@lyris.isworld.org \
--cc=lernet@di.uminho.pt \
--cc=lfcs-interest@dcs.ed.ac.uk \
--cc=lics-request@dcs.ed.ac.uk \
--cc=logic-announce@uclink4.berkeley.edu \
--cc=logic-list@cs.rice.edu \
--cc=logic@CS.Cornell.EDU \
--cc=logic@theory.lcs.mit.edu \
--cc=lotos-world@site.uottawa.ca \
--cc=lprolog@cs.umn.edu \
--cc=mailinglist@fmeurope.org \
--cc=members@fmeurope.org \
--cc=morphware@rhrk.uni-kl.de \
--cc=palist@win.tue.nl \
--cc=pdcemail@ee.uwa.edu.au \
--cc=petrinet@informatik.uni-hamburg.de \
--cc=procos@mailbase.ac.uk \
--cc=prog-lang@brics.dk \
--cc=prog-lang@diku.dk \
--cc=puml-list@cs.york.ac.uk \
--cc=pure@di.uminho.pt \
--cc=pvs@csl.sri.com \
--cc=reliable_computing@interval.louisiana.edu \
--cc=relmics-l@mcmaster.ca \
--cc=reus@informatik.uni-muenchen.de \
--cc=rewriting@ens-lyon.fr \
--cc=sefm2005@uni-koblenz.de \
--cc=seworld@cs.colorado.edu \
--cc=softtech@cs.uu.nl \
--cc=softverf@nist.gov \
--cc=system-safety@listserv.gsfc.nasa.gov \
--cc=tfm-list@doc.ic.ac.uk \
--cc=theorem-provers@ai.mit.edu \
--cc=theory@brics.dk \
--cc=theory@cl.cam.ac.uk \
--cc=theory@cs.bham.ac.uk \
--cc=tucsnews@cs.utu.fi \
--cc=types@cis.upenn.edu \
--cc=webmaster@eatcs.org \
/path/to/YOUR_REPLY
https://kernel.org/pub/software/scm/git/docs/git-send-email.html
* If your mail client supports setting the In-Reply-To header
via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line
before the message body.
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox