<html><body style="word-wrap: break-word; -webkit-nbsp-mode: space; -webkit-line-break: after-white-space;"><div style="line-height: 1.15; margin-top: 0pt; margin-bottom: 0pt;"><span style="font-size: 15px; font-family: Arial; vertical-align: baseline; white-space: pre-wrap;">******************************************************************<br class="kix-line-break"><br class="kix-line-break"> CALL FOR PAPERS: ETAPS WORKSHOPS 2014<br class="kix-line-break"><br class="kix-line-break">17th European Joint Conferences on Theory And Practice of Software<br class="kix-line-break"><br class="kix-line-break"> Grenoble, France<br class="kix-line-break"><br class="kix-line-break"> 5-6, 12-13 April 2014<br class="kix-line-break"><br class="kix-line-break"> </span><a href="http://www.etaps.org/2014/workshops/" style="text-decoration: none;"><span style="font-size: 15px; font-family: Arial; color: rgb(17, 85, 204); text-decoration: underline; vertical-align: baseline; white-space: pre-wrap;"> http://www.etaps.org/2014/workshops</span></a><span style="font-size: 15px; font-family: Arial; vertical-align: baseline; white-space: pre-wrap;"><br class="kix-line-break"><br class="kix-line-break">******************************************************************</span></div><br><span style="font-size: 15px; font-family: Arial; vertical-align: baseline; white-space: pre-wrap;"></span><div style="line-height: 1.15; margin-top: 0pt; margin-bottom: 0pt;"><span style="font-size: 15px; font-family: Arial; vertical-align: baseline; white-space: pre-wrap;">-- ABOUT ETAPS --<br class="kix-line-break"><br class="kix-line-break">ETAPS is the primary European forum for academic and industrial<br class="kix-line-break">researchers working on topics relating to software science. ETAPS,<br class="kix-line-break">established in 1998, is a confederation of six main annual<br class="kix-line-break">conferences, accompanied by satellite workshops. ETAPS 2014 is the<br class="kix-line-break">seventeenth event in the series.</span></div><br><span style="font-size: 15px; font-family: Arial; vertical-align: baseline; white-space: pre-wrap;"></span><br><span style="font-size: 15px; font-family: Arial; vertical-align: baseline; white-space: pre-wrap;"></span><div style="line-height: 1.15; margin-top: 0pt; margin-bottom: 0pt;"><span style="font-size: 15px; font-family: Arial; vertical-align: baseline; white-space: pre-wrap;">-- ETAPS WORKSHOPS --</span></div><br><span style="font-size: 15px; font-family: Arial; vertical-align: baseline; white-space: pre-wrap;"></span><div style="line-height: 1.15; margin-top: 0pt; margin-bottom: 0pt;"><span style="font-size: 15px; font-family: Arial; vertical-align: baseline; white-space: pre-wrap;">23 satellite workshops will take place before and after the<br class="kix-line-break">main conferences:</span></div><br><span style="font-size: 15px; font-family: Arial; vertical-align: baseline; white-space: pre-wrap;"></span><ul style="margin-top: 0pt; margin-bottom: 0pt;"><li dir="ltr" style="list-style-type: disc; font-size: 15px; font-family: Arial; vertical-align: baseline;"><div style="line-height: 1.15; margin-top: 0pt; margin-bottom: 0pt;"><span style="vertical-align: baseline; white-space: pre-wrap;">From Programs to Systems - The Systems Perspective in Computing</span></div></li><li dir="ltr" style="list-style-type: disc; font-size: 15px; font-family: Arial; vertical-align: baseline;"><div style="line-height: 1.15; margin-top: 0pt; margin-bottom: 0pt;"><span style="vertical-align: baseline; white-space: pre-wrap;">2nd Workshop on Advances in Systems of Systems (AiSoS)</span></div></li><li dir="ltr" style="list-style-type: disc; font-size: 15px; font-family: Arial; vertical-align: baseline;"><div style="line-height: 1.15; margin-top: 0pt; margin-bottom: 0pt;"><span style="vertical-align: baseline; white-space: pre-wrap;">1st Cassting Workshop (Cassting)</span></div></li><li dir="ltr" style="list-style-type: disc; font-size: 15px; font-family: Arial; vertical-align: baseline;"><div style="line-height: 1.15; margin-top: 0pt; margin-bottom: 0pt;"><span style="vertical-align: baseline; white-space: pre-wrap;">12th International Workshop on Coalgebraic Methods in Computer Science (CMCS)</span></div></li><li dir="ltr" style="list-style-type: disc; font-size: 15px; font-family: Arial; vertical-align: baseline;"><div style="line-height: 1.15; margin-top: 0pt; margin-bottom: 0pt;"><span style="vertical-align: baseline; white-space: pre-wrap;">5th International workshop on Developments in Implicit Computational complExity (DICE)</span></div></li><li dir="ltr" style="list-style-type: disc; font-size: 15px; font-family: Arial; vertical-align: baseline;"><div style="line-height: 1.15; margin-top: 0pt; margin-bottom: 0pt;"><span style="vertical-align: baseline; white-space: pre-wrap;">11th International Workshop on Formal Engineering approaches to Software Components and Architectures (FESCA)</span></div></li><li dir="ltr" style="list-style-type: disc; font-size: 15px; font-family: Arial; vertical-align: baseline;"><div style="line-height: 1.15; margin-top: 0pt; margin-bottom: 0pt;"><span style="vertical-align: baseline; white-space: pre-wrap;">1st Workshop on Formal Integrated Development (F-IDE)</span></div></li><li dir="ltr" style="list-style-type: disc; font-size: 15px; font-family: Arial; vertical-align: baseline;"><div style="line-height: 1.15; margin-top: 0pt; margin-bottom: 0pt;"><span style="vertical-align: baseline; white-space: pre-wrap;">Games for Logic and Programming Languages IX (GALOP)</span></div></li><li dir="ltr" style="list-style-type: disc; font-size: 15px; font-family: Arial; vertical-align: baseline;"><div style="line-height: 1.15; margin-top: 0pt; margin-bottom: 0pt;"><span style="vertical-align: baseline; white-space: pre-wrap;">3rd Workshop on GRAPH Inspection and Traversal Engineering (GRAPHITE)</span></div></li><li dir="ltr" style="list-style-type: disc; font-size: 15px; font-family: Arial; vertical-align: baseline;"><div style="line-height: 1.15; margin-top: 0pt; margin-bottom: 0pt;"><span style="vertical-align: baseline; white-space: pre-wrap;">International Workshop on Graphical Models for Security (GraMSec)</span></div></li><li dir="ltr" style="list-style-type: disc; font-size: 15px; font-family: Arial; vertical-align: baseline;"><div style="line-height: 1.15; margin-top: 0pt; margin-bottom: 0pt;"><span style="vertical-align: baseline; white-space: pre-wrap;">13th International Workshop on Graph Transformation and Visual Modeling Techniques (GT-VMT)</span></div></li><li dir="ltr" style="list-style-type: disc; font-size: 15px; font-family: Arial; vertical-align: baseline;"><div style="line-height: 1.15; margin-top: 0pt; margin-bottom: 0pt;"><span style="vertical-align: baseline; white-space: pre-wrap;">4th Workshop on Hybrid Autonomous Systems (HAS)</span></div></li><li dir="ltr" style="list-style-type: disc; font-size: 15px; font-family: Arial; vertical-align: baseline;"><div style="line-height: 1.15; margin-top: 0pt; margin-bottom: 0pt;"><span style="vertical-align: baseline; white-space: pre-wrap;">2nd Workshop on Hot issues in Security Principles and Trust (Hot-Spot)</span></div></li><li dir="ltr" style="list-style-type: disc; font-size: 15px; font-family: Arial; vertical-align: baseline;"><div style="line-height: 1.15; margin-top: 0pt; margin-bottom: 0pt;"><span style="vertical-align: baseline; white-space: pre-wrap;">9th Workshop on Model-Based Testing (MBT)</span></div></li><li dir="ltr" style="list-style-type: disc; font-size: 15px; font-family: Arial; vertical-align: baseline;"><div style="line-height: 1.15; margin-top: 0pt; margin-bottom: 0pt;"><span style="vertical-align: baseline; white-space: pre-wrap;">MEALS Workshop</span></div></li><li dir="ltr" style="list-style-type: disc; font-size: 15px; font-family: Arial; vertical-align: baseline;"><div style="line-height: 1.15; margin-top: 0pt; margin-bottom: 0pt;"><span style="vertical-align: baseline; white-space: pre-wrap;">5th Workshop on Mathematically Structured Functional Programming (MSFP)</span></div></li><li dir="ltr" style="list-style-type: disc; font-size: 15px; font-family: Arial; vertical-align: baseline;"><div style="line-height: 1.15; margin-top: 0pt; margin-bottom: 0pt;"><span style="vertical-align: baseline; white-space: pre-wrap;">6th Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software (PLACES)</span></div></li><li dir="ltr" style="list-style-type: disc; font-size: 15px; font-family: Arial; vertical-align: baseline;"><div style="line-height: 1.15; margin-top: 0pt; margin-bottom: 0pt;"><span style="vertical-align: baseline; white-space: pre-wrap;">12th Workshop on Quantitative Aspects of Programming Languages (QAPL)</span></div></li><li dir="ltr" style="list-style-type: disc; font-size: 15px; font-family: Arial; vertical-align: baseline;"><div style="line-height: 1.15; margin-top: 0pt; margin-bottom: 0pt;"><span style="vertical-align: baseline; white-space: pre-wrap;">Workshop on Reconciling Performance with Predictability (RePP)</span></div></li><li dir="ltr" style="list-style-type: disc; font-size: 15px; font-family: Arial; vertical-align: baseline;"><div style="line-height: 1.15; margin-top: 0pt; margin-bottom: 0pt;"><span style="vertical-align: baseline; white-space: pre-wrap;">2nd International Workshop on Strategic Reasoning (SR)</span></div></li><li dir="ltr" style="list-style-type: disc; font-size: 15px; font-family: Arial; vertical-align: baseline;"><div style="line-height: 1.15; margin-top: 0pt; margin-bottom: 0pt;"><span style="vertical-align: baseline; white-space: pre-wrap;">1st International Workshop on Synthesis of Continuous Parameters (SynCop)</span></div></li><li dir="ltr" style="list-style-type: disc; font-size: 15px; font-family: Arial; vertical-align: baseline;"><div style="line-height: 1.15; margin-top: 0pt; margin-bottom: 0pt;"><span style="vertical-align: baseline; white-space: pre-wrap;">3rd Workshop on Validation Strategies for Software Evolution (VSSE)</span></div></li><li dir="ltr" style="list-style-type: disc; font-size: 15px; font-family: Arial; vertical-align: baseline;"><div style="line-height: 1.15; margin-top: 0pt; margin-bottom: 0pt;"><span style="vertical-align: baseline; white-space: pre-wrap;">10th International Workshop on Rewriting Logic and Its Applications (WRLA)</span></div></li></ul><br><span style="font-size: 15px; font-family: Arial; vertical-align: baseline; white-space: pre-wrap;"></span><br><span style="font-size: 15px; font-family: Arial; vertical-align: baseline; white-space: pre-wrap;"></span><div style="line-height: 1.15; margin-top: 0pt; margin-bottom: 0pt;"><span style="font-size: 15px; font-family: Arial; vertical-align: baseline; white-space: pre-wrap;">Please consult ETAPS Website at </span><a href="http://www.etaps.org/2014" style="text-decoration: none;"><span style="font-size: 15px; font-family: Arial; color: rgb(0, 0, 0); vertical-align: baseline; white-space: pre-wrap;"> </span></a><a href="http://www.etaps.org/2014/workshops" style="text-decoration: none;"><span style="font-size: 15px; font-family: Arial; color: rgb(17, 85, 204); text-decoration: underline; vertical-align: baseline; white-space: pre-wrap;">http://www.etaps.org/2014/workshops</span></a><span style="font-size: 15px; font-family: Arial; vertical-align: baseline; white-space: pre-wrap;"> to get more details about the workshops.</span></div><br><span style="font-size: 15px; font-family: Arial; vertical-align: baseline; white-space: pre-wrap;"></span><br><span style="font-size: 15px; font-family: Arial; vertical-align: baseline; white-space: pre-wrap;"></span><div style="line-height: 1.15; margin-top: 0pt; margin-bottom: 0pt;"><span style="font-size: 15px; font-family: Arial; vertical-align: baseline; white-space: pre-wrap;">-- HOST CITY --<br class="kix-line-break"><br class="kix-line-break">Located in the southeastern part of France, Grenoble is considered as<br class="kix-line-break">the capital of the Alps. Grenoble is surrounded by nature and high<br class="kix-line-break">mountains: down the Alps, Grenoble is the meeting point of two<br class="kix-line-break">important rivers, Drac and Isere. Grenoble has important historical<br class="kix-line-break">and gastronomic heritages. Leisure activities in breathtaking nature<br class="kix-line-break">are easily organizable and within short-distance. Grenoble is also a<br class="kix-line-break">major scientific center in Europe dedicated to high-tech technologies,<br class="kix-line-break">e.g., nano, micro, bio, and information technologies.<br class="kix-line-break"><br class="kix-line-break"><br class="kix-line-break">-- HOST INSTITUTION --<br class="kix-line-break"><br class="kix-line-break">The event is organized by Universite Joseph Fourier. Located at the<br class="kix-line-break">heart of the Alps, in outstanding scientific and natural surroundings,<br class="kix-line-break">the Universite Joseph Fourier in Grenoble is a leading University of<br class="kix-line-break">Science, Technology and Health.<br class="kix-line-break"><br class="kix-line-break"><br class="kix-line-break">-- ORGANIZERS<br class="kix-line-break"><br class="kix-line-break">* General chair: Saddek Bensalem<br class="kix-line-break">* Conferences chair: Yassine Lakhnech<br class="kix-line-break">* Workshops chair: Axel Legay<br class="kix-line-break">* Publicity chair: Ylies Falcone<br class="kix-line-break">* Finance chair: Nicolas Halbwachs<br class="kix-line-break">* Web site chair: Marius Bozga<br class="kix-line-break"><br class="kix-line-break"><br class="kix-line-break">-- FURTHER INFORMATION --<br class="kix-line-break"><br class="kix-line-break">Please do not hesitate to contact the workshop chair at<br class="kix-line-break"></span><span style="text-decoration: underline; font-size: 15px; font-family: Arial; color: rgb(17, 85, 204); vertical-align: baseline; white-space: pre-wrap;"><a href="mailto:etaps2014.satellites@imag.fr" style="text-decoration: none;">etaps2014.satellites at imag.fr.</a></span></div><div apple-content-edited="true"><br>
</div>
<br></body></html>