<html xmlns:v="urn:schemas-microsoft-com:vml" xmlns:o="urn:schemas-microsoft-com:office:office" xmlns:w="urn:schemas-microsoft-com:office:word" xmlns:m="http://schemas.microsoft.com/office/2004/12/omml" xmlns="http://www.w3.org/TR/REC-html40"><head><META HTTP-EQUIV="Content-Type" CONTENT="text/html; charset=us-ascii"><meta name=Generator content="Microsoft Word 14 (filtered medium)"><style><!--
/* Font Definitions */
@font-face
{font-family:"Cambria Math";
panose-1:2 4 5 3 5 4 6 3 2 4;}
@font-face
{font-family:Calibri;
panose-1:2 15 5 2 2 2 4 3 2 4;}
/* Style Definitions */
p.MsoNormal, li.MsoNormal, div.MsoNormal
{margin:0cm;
margin-bottom:.0001pt;
font-size:11.0pt;
font-family:"Calibri","sans-serif";
mso-fareast-language:EN-US;}
a:link, span.MsoHyperlink
{mso-style-priority:99;
color:blue;
text-decoration:underline;}
a:visited, span.MsoHyperlinkFollowed
{mso-style-priority:99;
color:purple;
text-decoration:underline;}
p
{mso-style-priority:99;
mso-margin-top-alt:auto;
margin-right:0cm;
mso-margin-bottom-alt:auto;
margin-left:0cm;
font-size:12.0pt;
font-family:"Times New Roman","serif";
mso-fareast-language:EN-US;}
span.EmailStyle18
{mso-style-type:personal;
font-family:"Calibri","sans-serif";
color:windowtext;}
span.EmailStyle19
{mso-style-type:personal-reply;
font-family:"Calibri","sans-serif";
color:#1F497D;}
.MsoChpDefault
{mso-style-type:export-only;
font-size:10.0pt;}
@page WordSection1
{size:612.0pt 792.0pt;
margin:72.0pt 72.0pt 72.0pt 72.0pt;}
div.WordSection1
{page:WordSection1;}
--></style><!--[if gte mso 9]><xml>
<o:shapedefaults v:ext="edit" spidmax="1026" />
</xml><![endif]--><!--[if gte mso 9]><xml>
<o:shapelayout v:ext="edit">
<o:idmap v:ext="edit" data="1" />
</o:shapelayout></xml><![endif]--></head><body lang=NL link=blue vlink=purple><div class=WordSection1><p class=MsoNormal><o:p> </o:p></p><p class=MsoNormal><span lang=EN-US style='font-size:12.0pt;font-family:"Times New Roman","serif"'>***** Symposium "Pioneers of Computer Science: From Turing to Harel" *****<o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US style='font-size:12.0pt;font-family:"Times New Roman","serif"'>Eindhoven University of Technology (TU/e), April 26th, 2012, <a href="http://www.win.tue.nl/dharel/">http://www.win.tue.nl/dharel/</a><o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US style='font-size:12.0pt;font-family:"Times New Roman","serif"'><o:p> </o:p></span></p><p class=MsoNormal><span lang=EN-US style='font-size:12.0pt;font-family:"Times New Roman","serif"'><o:p> </o:p></span></p><p class=MsoNormal><b><span lang=EN-US style='font-size:12.0pt;font-family:"Times New Roman","serif"'>Honorary Doctorate for David Harel from TU/e<o:p></o:p></span></b></p><p class=MsoNormal><span lang=EN-US style='font-size:12.0pt;font-family:"Times New Roman","serif"'><o:p> </o:p></span></p><p class=MsoNormal style='text-align:justify'><span lang=EN-US style='font-size:12.0pt;font-family:"Times New Roman","serif"'>David Harel, one of the leading computer scientists in the world, will receive an honorary doctorate from Eindhoven University of Technology (TU/e) on April 27, 2012 during the Dies Natalis of TU/e. Professor Harel has made important contributions to a wide range of topics in computer science. He invented and developed the well-known <i>Statecharts</i> visual formalism. Today, Statecharts are widely used in software and systems engineering. For example, they are one of the core notations of the Unified Modeling Language (UML) used by most software engineers. Statecharts are just one of the many seminal contributions of this remarkable Israeli computer scientist.<o:p></o:p></span></p><p class=MsoNormal style='text-align:justify'><span lang=EN-US style='font-size:12.0pt;font-family:"Times New Roman","serif"'><o:p> </o:p></span></p><p class=MsoNormal style='text-align:justify'><span lang=EN-US style='font-size:12.0pt;font-family:"Times New Roman","serif"'>Professor Harel completed his Master’s thesis in 1976 under the supervision of Turing Award winner Amir Pnueli (Tel-Aviv University). He then obtained a PhD from the Massachusetts Institute of Technology (MIT) in Cambridge in a record time of just 20 months. Since 1980 he has been working at the Weizmann Institute of Science in Rehovot, Israel, where he also served for many years first as Department Head and later as Dean of the Faculty of Mathematics and Computer Science. In the early years of his career he focused on theoretical computer science (computability, logics of programs, automata theory, and database theory). In 1982, he got involved in a project for the Israel Aircraft Industry (IAI) as a one-day-a-week consultant. This was a turning point in his career, as he was able to identify first-hand the problems systems engineers were facing. Systems were specified by producing enormous informal, and often inconsistent, documents, which were then used by programmers and hardware engineers to build the actual system. This led Harel to develop Statecharts. <o:p></o:p></span></p><p class=MsoNormal style='text-align:justify'><span lang=EN-US style='font-size:12.0pt;font-family:"Times New Roman","serif"'><o:p> </o:p></span></p><p class=MsoNormal style='text-align:justify'><span lang=EN-US style='font-size:12.0pt;font-family:"Times New Roman","serif"'>Over the last 30 years he has made various other contributions, addressing the gap between informal requirements and executable programs. He has put forward the grand challenge of liberating system development from the straightjackets of programming. He has pointed out that making specifications and programs separately and then proving their consistency can be counterproductive. This resulted in the development of <i>Live Sequence Charts</i> (LSCs), where the desired behavior is simply “played-in” such that no conventional programming is needed. The recorded behavior can be “played-out” later, i.e., scenarios result in a running system. This approach, which is now being called <i>Behavioral Programming</i>, has matured significantly in recent years, and he has now also developed versions in conventional languages such as Java. <o:p></o:p></span></p><p class=MsoNormal style='text-align:justify'><span lang=EN-US style='font-size:12.0pt;font-family:"Times New Roman","serif"'><o:p> </o:p></span></p><p class=MsoNormal style='text-align:justify'><span lang=EN-US style='font-size:12.0pt;font-family:"Times New Roman","serif"'>It is remarkable to see how Harel has contributed to very different fields of computer science. For example, in addition to the topics mentioned before, he has been working on the layout of diagrams, the modeling of biological systems using tools and ideas from software and systems, and on visual languages in general. He also worked on the synthesis and communication of smell. He was the first to publish a viable scheme for electronically transmitting smell from one location to another. The scheme utilizes an electronic nose (the “sniffer”) that generates a fingerprint of an odor which is then analyzed in a complex manner, producing instructions for an output device (the “whiffer”) to produce a mixture of several tens of odorants that mimic the smell at another location and another time. Much research has been done by Harel and others since then to work out the means for carrying the analysis that would make the scheme implementable. This example illustrates the pioneering role of Harel in different areas.<o:p></o:p></span></p><p class=MsoNormal style='text-align:justify'><span lang=EN-US style='font-size:12.0pt;font-family:"Times New Roman","serif"'><o:p> </o:p></span></p><p class=MsoNormal style='text-align:justify'><span lang=EN-US style='font-size:12.0pt;font-family:"Times New Roman","serif"'>During his career, Professor Harel has put a lot of emphasis on the practical realization of his ideas. He was involved in the development of Statemate, Rhapsody, the Play-Engine, and, more recently, PlayGo. These software tools help to further disseminate and validate his ideas. He was also the co-founder of I-Logix, Inc. in 1984, which is now part of IBM. The link between solid theoretical results and the actual realization of concrete systems fits very well with the engineering spirit of TU/e.<o:p></o:p></span></p><p style='text-align:justify'><span lang=EN-US>David Harel has written eight authoritative books on topics ranging from dynamic logic and algorithmics to scenario-based programming and the boundaries of computing. His work is highly cited and has influenced many computer scientists. He also helped to expose the beauty of computer science to a broader audience. For example, he has presented lectures series on Israeli radio and television. He has received the ACM’s highest awards both in education (1992) and in software systems (2007), as well as the prestigious Israel Prize, and honorary degrees from the University of Rennes, the Open University of Israel, and the University of Milano-Bicocca. He is a Fellow of the ACM, the AAAS and the IEEE, and is a member of the Academia Europaea and the Israel Academy of Sciences and Humanities.<o:p></o:p></span></p><p style='text-align:justify'><span lang=EN-US>The TU/e is delighted that David Harel accepted TU/e’s offer to become the 2012 Doctor Honoris Causa. Professor Wil van der Aalst of the Department of Mathematics and Computer Science of TU/e will be the honorary supervisor.<o:p></o:p></span></p><p style='text-align:justify'><span lang=EN-US><o:p> </o:p></span></p><p style='text-align:justify'><b><span lang=EN-US>About the Symposium "Pioneers of Computer Science: From Turing to Harel" (26-4-2012)<o:p></o:p></span></b></p><p style='text-align:justify'><span lang=EN-US>On April 26<sup>th</sup>, i.e., the day before David Harel receives his honorary doctorate, TU/e will host a symposium to honor professor Harel. The title of the symposium is “Pioneers of Computer Science: From Turing to Harel”. Besides a keynote talk from Harel, there will be invited talks by prof. Grzegorz Rozenberg (Leiden University), prof. Jan Friso Groote (TU/e), and prof. Jan van Leeuwen (Utrecht University). The title of Harel’s keynote is “Standing on the Shoulders of a Giant: One Person’s Experience of Turing’s Impact”. He will link his work to Alan Turing’s pioneering and ingenious inventions. Turing, who was born 100 years ago, is generally seen as the founder of modern computer science. Some of the contributions of David Harel can be seen as continuations of Turing’s work. Like Turing, Harel has done pioneering work in different fields of computer science. This explains the title of the symposium: “Pioneers of Computer Science: From Turing to Harel”. <o:p></o:p></span></p><table class=MsoNormalTable border=0 cellpadding=0><tr><td style='padding:.75pt .75pt .75pt .75pt'><p class=MsoNormal><span style='font-size:12.0pt;font-family:"Times New Roman","serif";mso-fareast-language:NL'>13.50 – 14.00 <o:p></o:p></span></p></td><td style='padding:.75pt .75pt .75pt .75pt'><p class=MsoNormal><span style='font-size:12.0pt;font-family:"Times New Roman","serif";mso-fareast-language:NL'>Welcome by prof. Wil van der Aalst <o:p></o:p></span></p></td></tr><tr><td style='padding:.75pt .75pt .75pt .75pt'><p class=MsoNormal><span style='font-size:12.0pt;font-family:"Times New Roman","serif";mso-fareast-language:NL'>14.00 – 14.40 <o:p></o:p></span></p></td><td style='padding:.75pt .75pt .75pt .75pt'><p class=MsoNormal><span style='font-size:12.0pt;font-family:"Times New Roman","serif";mso-fareast-language:NL'>Invited talk by prof. Jan van Leeuwen (Utrecht University) <o:p></o:p></span></p></td></tr><tr><td style='padding:.75pt .75pt .75pt .75pt'><p class=MsoNormal><span style='font-size:12.0pt;font-family:"Times New Roman","serif";mso-fareast-language:NL'>14.40 – 15.20 <o:p></o:p></span></p></td><td style='padding:.75pt .75pt .75pt .75pt'><p class=MsoNormal><span lang=EN-US style='font-size:12.0pt;font-family:"Times New Roman","serif";mso-fareast-language:NL'>Invited talk by prof. Jan Friso Groote (TU/e) <o:p></o:p></span></p></td></tr><tr><td style='padding:.75pt .75pt .75pt .75pt'><p class=MsoNormal><span style='font-size:12.0pt;font-family:"Times New Roman","serif";mso-fareast-language:NL'>15.20 – 16.00 <o:p></o:p></span></p></td><td style='padding:.75pt .75pt .75pt .75pt'><p class=MsoNormal><span lang=EN-US style='font-size:12.0pt;font-family:"Times New Roman","serif";mso-fareast-language:NL'>Invited talk by prof. Grzegorz Rozenberg (Leiden University and University of Colorado at Boulder) <o:p></o:p></span></p></td></tr><tr><td style='padding:.75pt .75pt .75pt .75pt'><p class=MsoNormal><span style='font-size:12.0pt;font-family:"Times New Roman","serif";mso-fareast-language:NL'>16.00 – 16.30 <o:p></o:p></span></p></td><td style='padding:.75pt .75pt .75pt .75pt'><p class=MsoNormal><span style='font-size:12.0pt;font-family:"Times New Roman","serif";mso-fareast-language:NL'>Break <o:p></o:p></span></p></td></tr><tr><td style='padding:.75pt .75pt .75pt .75pt'><p class=MsoNormal><span style='font-size:12.0pt;font-family:"Times New Roman","serif";mso-fareast-language:NL'>16.30 – 17.30 <o:p></o:p></span></p></td><td style='padding:.75pt .75pt .75pt .75pt'><p class=MsoNormal><span lang=EN-US style='font-size:12.0pt;font-family:"Times New Roman","serif";mso-fareast-language:NL'>Keynote by prof. David Harel (Weizmann Institute of Science): “Standing on the Shoulders of a Giant: One Person’s Experience of Turing’s Impact” <o:p></o:p></span></p></td></tr><tr><td style='padding:.75pt .75pt .75pt .75pt'><p class=MsoNormal><span style='font-size:12.0pt;font-family:"Times New Roman","serif";mso-fareast-language:NL'>17.30 - <o:p></o:p></span></p></td><td style='padding:.75pt .75pt .75pt .75pt'><p class=MsoNormal><span style='font-size:12.0pt;font-family:"Times New Roman","serif";mso-fareast-language:NL'>Reception <o:p></o:p></span></p></td></tr></table><p style='text-align:justify'>Location: Zwarte Doos, Eindhoven University of Technology (TU/e).<o:p></o:p></p><p style='text-align:justify'><span lang=EN-US>For more information, see <a href="http://www.win.tue.nl/dharel/">http://www.win.tue.nl/dharel/</a>.<o:p></o:p></span></p><p style='text-align:justify'><span lang=EN-US><o:p> </o:p></span></p><p style='text-align:justify'><b><span lang=EN-US>Registration<o:p></o:p></span></b></p><p style='text-align:justify'><span lang=EN-US>Attendance is free but you are kindly invited to register for the symposium before April 24th, 2012. Please contact the secretariat of the Information Systems Group (IS), Department of Mathematics and Computer Science, e-mail: <a href="mailto:wsinfsys@tue.nl">wsinfsys@tue.nl</a>.<o:p></o:p></span></p></div></body></html>