Madhavan Mukund madhavan at cmi.ac.in
Sat Feb 2 15:27:58 IST 2013

 From: ETAPS 2014 <etaps2014.organization at imag.fr>
 To: ligtous at imag.fr, "gdr.gpl at imag.fr" <gdr.gpl at imag.fr>,
         "gdr-im at gdr-im.fr" <gdr-im at gdr-im.fr>, rv at cs.uiuc.edu,
         fmics at inrialpes.fr, concurrency at tue.nl, seworld at cs.colorado.edu,
         theorynt at listserv.nodak.edu, eapls at jiscmail.ac.uk,
         PetriNets at daimi.au.dk, easst-members at mail.cs.uni-potsdam.de,
         types-announce at lists.seas.upenn.edu,
         petrinet at informatik.uni-hamburg.de, nvti-list at cwi.nl,
         ipalist at listserver.tue.nl, lics at research.bell-labs.com,
         papm at informatics.ed.ac.uk, announcements at lists.artist-embedded.org,
         fm-announcements-bounces at lists.nasa.gov, nwpt-info at lists.ioc.ee,
         gi-fg214 at informatik.uni-kiel.de, PROCOS at jiscmail.ac.uk,
         fmindia at cmi.ac.in, EAPLS at jiscmail.ac.uk, events at fmeurope.org,
         rewriting at ens-lyon.fr, pvs at csl.sri.com, ccl at ps.uni-sb.de,
         theorem-provers at ai.mit.edu, lprolog at cs.umn.edu, lics at comlab.ox.ac.uk,
         META-HEURISTICS at jiscmail.ac.uk, MODERN-HEURISTICS at jiscmail.ac.uk,
         EVOLUTIONARY-COMPUTING at jiscmail.ac.uk, aco-list at iridia.ulb.ac.be,
         emo-list at dei.uc.pt, ro at poleia.lip6.fr, sma at loria.fr,
         asr-forum at cines.fr, gotha at cines.fr, ec-digest-l at metis3.gmu.edu,
         lnv at mat.uc.pt, jet at inria.fr, bull-i3 at irit.fr
 Date: Sat, 2 Feb 2013 08:42:14 +0100
 Reply-To: "etaps2014.organization at imag.fr" <etaps2014.organization at imag.fr>
 [We apologise for duplicates.]
             ETAPS 2014
 European Joint Conferences on Theory And Practice of Software
 April 5th – 13th, 2014
 Grenoble, France
 The European Joint Conferences on Theory and Practice of Software
 (ETAPS) is the primary European forum for academic and industrial
 researchers working on topics relating to Software Science. ETAPS is
 an annual event which takes place in Europe each spring since
 1998. The seventeenth conference, ETAPS 2014, takes place between
 April 5th and 13th, 2014 in Grenoble, France. Grenoble is the capital
 of the Alps; its history spans over two thousand years. Grenoble is
 located in an exceptional natural environment, surrounded by three
 mountain masses Vercors, Chartreuse, and Belledonne.
 ETAPS main conferences take place on April 7th-11th, 2014. They are:
 -  CC: International Conference on Compiler Construction
 -  ESOP: European Symposium on Programming
 -  FASE: Fundamental Approaches to Software Engineering
 -  FOSSACS: Foundations of Software Science and Computation Structures
 -  POST: Principles of Security and Trust
 -  TACAS: Tools and Algorithms for the Construction and Analysis of Systems
 The ETAPS 2014 Organizing Committee invites proposals for Satellite
 Events (workshops, tutorials, etc.) that will complement the main
 conferences. They should fall within the scope of ETAPS. This
 encompasses all aspects of the system development process, including
 specification, design, implementation, analysis and improvement, as
 well as the languages, methodologies and tools which support these
 activities, covering a spectrum from practically-motivated theory to
 soundly-based practice. Satellite Events provide an opportunity to
 discuss and report on emerging research approaches and practical
 experience relevant to theory and practice of software.
 ETAPS 2014 Satellite Events will be held immediately before and after
 the main conferences, on April 5th-6th and April 12th-13th, 2014.
 Researchers and practitioners wishing to organize Satellite Events
 are invited to submit proposals in ASCII, PDF or Postscript format by
 e-mail to etaps2014.satellites at imag.fr.
 A proposal should not exceed two pages and should include:
 •    Satellite Event name / acronym
 •    names and contact information of the organizers
 •    preferred period: April 5th-6th or April 12th-13th
 •    duration of the workshop: one-day or two-day event
 •    120-word description of the workshop topic for later use in
      publicity material 
 •    a brief explanation of the workshop topic and its relevance to ETAPS
 •    a schedule for paper submission, notification of acceptance and
      final versions 
 •    expected number of participants
 •    any other relevant information, like event format, invited speakers,
 •    publication policy, demo sessions, special space requirements, etc.
 The proposals will be evaluated by the ETAPS 2014 organizing
 committee on the basis of their assessed benefit for prospective
 participants to ETAPS 2014. The titles and brief information about
 accepted Satellite Events will be included in the ETAPS 2014 web
 site, call for papers and call for participation.
 Satellite Events organizers will be responsible for:
 - producing the event's call for papers and call for participations 
 - advertising the event through specialist mailing lists etc. to
   complement publicity for ETAPS as a whole hosting and maintaining a
   web site for the event 
 - reviewing and making acceptance decisions on submitted papers
   producing the event proceedings, if any; facilities for printing will
   be made available by the ETAPS organizers 
 - scheduling workshop activities in consultation with the local organizers.
 Prospective organizers may wish to consult the web pages of previous
 satellite events as examples:
 ETAPS 2013: http://www.etaps.org/2013/workshops13
 ETAPS 2012: http://www.etaps.org/2012/workshops
 ETAPS 2011: http://www.etaps.org/2011/workshops
 ETAPS 2010: http://www.etaps10.cs.ucy.ac.cy/
 ETAPS 2009: http://www.cs.york.ac.uk/etaps09/
 ETAPS 2008: http://etaps08.mit.bme.hu/
 ETAPS 2007: http://www.di.uminho.pt/etaps07/
 ETAPS 2006: http://www.complang.tuwien.ac.at/etaps06/
 ETAPS 2005: http://www.etaps05.inf.ed.ac.uk/
 ETAPS 2004: http://www.lsi.upc.es/etaps04/
 ETAPS 2003: http://www.mimuw.edu.pl/etaps03/
 Satellite Event Proposals Deadline: March 4th, 2013
 Notification of acceptance: April 4th, 2013
 Please contact Axel Legay:
 axel.legay at inria.fr
 etaps14.satellites at imag.fr

More information about the FMIndia mailing list