Groups | Search | Server Info | Keyboard shortcuts | Login | Register [http] [https] [nntp] [nntps]

Groups > comp.parallel > #315 > unrolled thread

[fdl-2] FDL Conference > Program available! Registration open! > Sept 18-20, Vienna, Austria

Back to article view | Back to comp.parallel

Contents

  [fdl-2] FDL Conference > Program available! Registration open! > Sept 18-20, Vienna, Austria "info@ecsi.org" <info@ecsi.org> - 2012-07-10 02:42 -0500

#315 — [fdl-2] FDL Conference > Program available! Registration open! > Sept 18-20, Vienna, Austria

[http://www.ecsi.org//sites/default/files/images/FDL%20logo%20203x73px.jpg]<
http://www.ecsi.org/fdl>
FDL2012
Forum on specification
& Design Languages
FDL 2012 Program now available<http://www.ecsi.org/fdl/program>
Register now for reduced
rates!<http://www.ecsi.org/event/fdl2012/registration>
Vienna, Austria
September 18-20, 2012
Conference Chair: Jan Haase, TU Vienna

www.ecsi.org/fdl

FDL 2012 is organized with the technical co-sponsorship
of IEEE Austria Section
[http://www.ecsi.org/sites/default/files/images/IEEE.gif]
[http://www.ecsi.org/sites/default/files/images/IEEE_Austria_Logo.png]

Description
FDL is an international forum to exchange experiences and promote new trends
in the application of languages, their associated design methods and tools
for the design of electronic systems. The Forum is organized around four
Thematic Areas (TA) and five Special Sessions and includes working sessions,
poster sessions, embedded tutorials, panels and technical discussions.
Industrial Workshops and Fringe Meetings such as user group or
standardization meetings are also held in conjunction with the Forum.

Program
Tuesday, September 18, 2012

·         Registration & Welcome: FDL General Chair: Jan Haase

·         Keynote ABD:
Towards Design of Embedded Systems with Natural Language Processing
Rolf Drechsler, University of Bremen

·         ABD1: Property-Based Verification

·         Special Session: Modeling and Simulation Challenges Due to Aging
and Reliability of Devices

·         EAMS1: Simulation and Design of Cyber-Physical Systems

·         Special Session: Invasive Programming of Heterogeneous Multi-Core
Systems

·         Tutorial: A Practical Introduction to using Event-B for Complex
Hardware and Embedded System Specification and Design
John Colley, University of Southampton

·         ABD2: Languages and Tools for Probabilistic and Temporal
Specifications

·         European SystemC User's Group
Meeting<http://www.ecsi.org/fdl/escug2012>
 Wednesday, September 19, 2012

·         Keynote UMES: Sebastien Gerard, CEA

·         UMES: Effective exploitation of the UML Profile for MARTE

·         Special Session: Smart Homes

·         Keynote EAMS:
Modeling Cyber-Physical Energy Systems
Peter Palensky, AIT, Austria

·         EAMS2: Verification of Mixed-Signal Systems

·         LBSD1: SystemC Analysis

·         Social Event
Thursday, September 20, 2012

·         Keynote LBSD
Correct-by-Construction System Design: Forever a Dream or Approaching
Reality
Prof. Ingo Sander

·         LBSD2: Architectural Aspects in Models and Languages

·         Special Session: Energy Harvesting and Ultra-Low Power Design

·         LBSD3: System-Level Behavioral Modeling and Simulation

·         Special Session: Model Based Design of Electronic Systems in
Systems

·         Closing Session

Registration

Registration Includes:

·         FDL Conference entry fee

·         S4D Conference<http://www.ecsi.org/s4d> free of charge entry to
all sessions

·         Access to conference proceedings:
   - USB key at the conference
   - Access to FDL web page with papers, presentations, keynotes
   - Access to S4D web page with papers, presentations, keynotes

·         Lunch on Sept. 18, 19 and 20

·         Coffee breaks on Sept. 18, 19, and 20

·         1 ticket to the Social Event

Register now and benefit from the special early registration rates!

FDL 2012 is co-located with S4D!

[http://www.ecsi.org/sites/default/files/images/S4D%20logo%20small2.jpg]<htt
p://www.ecsi.org/s4d>

(FDL registration includes free access to all S4D sessions!)

[http://www.ecsi.org/sites/default/files/images/ESCUG2012_small.png]<http://
www.ecsi.org/fdl/escug2012>
We are pleased to announce the 26. European SystemC Users' Group Meeting,
which will take place co-located with FDL'12 in Vienna/Austria on:
Tuesday, September 18th, 2012
Please mark September 18th, 2012 for our next European SystemC Users' Group
Meeting in your calendar. Detailed information and the invitation will be
sent by email and will also be available on our web site
http://www.ti.uni-tuebingen.de/ESCUG.escug.0.html.
CALL FOR CONTRIBUTION (Users' Forum)
We will traditionally provide possibilities for SystemC users to present and
discuss their experience with SystemC. Participants who are interested in
presenting their work are very welcome and should send title and a short
abstract until August 19th, 2012 to
axel.braun@informatik.uni-tuebingen.de<mailto:axel.braun%40informatik.uni-tu
ebingen.de>.


FDL Books
FDL books and proceedings are for sale.
ECSI Members receive 40% off!
http://www.ecsi.org/list-of-books

-       Proceedings of the 2011 Forum on specification & Design Languages
(FDL)

-       System Specification and Design Languages: Selected Contributions
from FDL 2010

-       Advances in Design Methods from Modeling Languages for Embedded
Systems and SoCs from FDL 2009

-       Languages for Embedded Systems and their Applications Selected
Contributions on Specification, Design, and Verification from FDL 2008

-       Embedded Systems Specification and Design Languages from FDL 2007

-       Advances in Design and Specification Languages for Embedded Systems
(FDL 2006)
And more!

Please, transfer this message to persons interested in this topic!
We apologize if you have received multiple copies of this message!
Please click here<http://www.ecsi.org/remove-mailing-list> if you wish to be
removed from this mailing list.
Please do not reply to this email address. Direct contact information can be
found at www.ecsi.org<http://www.ecsi.org/>.




---------------------------------------------------------------------

------ End of Forwarded Message

[toc] | [standalone]

Back to top | Article view | comp.parallel

csiph-web