Abbrevation
TiC
City
IIT-Bangalore
Country
India
Start Date
End Date
Abstract

<span class="Apple&#8211;style&#8211;span" style="border&#8211;collapse: separate; color: rgb(0, 0, 0); font&#8211;family: &#8242;Times New Roman&#8242;; font&#8211;style: normal; font&#8211;variant: normal; font&#8211;weight: normal; letter&#8211;spacing: normal; line&#8211;height: normal; orphans: 2; text&#8211;indent: 0px; text&#8211;transform: none; white&#8211;space: normal; widows: 2; word&#8211;spacing: 0px; font&#8211;size: medium;"><span class="Apple&#8211;style&#8211;span" style="text&#8211;align: left;"><p class="paragraph_style_1" style="color: rgb(0, 0, 0); font&#8211;family: GillSans,&#8242;Gill Sans&#8242;,&#8242;Trebuchet MS&#8242;,sans&#8211;serif; font&#8211;size: 14px; font&#8211;style: normal; font&#8211;variant: normal; font&#8211;weight: 400; letter&#8211;spacing: 0px; line&#8211;height: 18px; margin: 0px; opacity: 1; padding&#8211;bottom: 9px; padding&#8211;top: 0pt; text&#8211;align: justify; text&#8211;decoration: none; text&#8211;indent: 0px; text&#8211;transform: none;">Concurrency is a pervasive and essential characteristic of modern computer systems&#046; Whether it is the design of new hyper&#8211;threading techniques in computer architectures, specification of non&#8211;blocking data structures and algorithms, implementation of scalable computer farms for handling massive data sets, or the design of a robust software architecture for distributed business processes, a deep understanding of mechanisms and foundations for expressing and controlling concurrency is required&#046; Recent architectural advances in multi&#8211;core and many&#8211;core architectures have made this an essential topic for any serious student of computer science&#046;<br></p><p class="paragraph_style_1" style="color: rgb(0, 0, 0); font&#8211;family: GillSans,&#8242;Gill Sans&#8242;,&#8242;Trebuchet MS&#8242;,sans&#8211;serif; font&#8211;size: 14px; font&#8211;style: normal; font&#8211;variant: normal; font&#8211;weight: 400; letter&#8211;spacing: 0px; line&#8211;height: 18px; margin: 0px; opacity: 1; padding&#8211;bottom: 9px; padding&#8211;top: 0px; text&#8211;align: justify; text&#8211;decoration: none; text&#8211;indent: 0px; text&#8211;transform: none;">This summer school will bring together outstanding researchers from academia and industry to discuss current research and future trends in concurrent systems design and implementation&#046; All instructors have had significant impact in the area of concurrency, and play an active role in substantial ongoing research and commercial efforts&#046;<br></p><p class="paragraph_style_1" style="color: rgb(0, 0, 0); font&#8211;family: GillSans,&#8242;Gill Sans&#8242;,&#8242;Trebuchet MS&#8242;,sans&#8211;serif; font&#8211;size: 14px; font&#8211;style: normal; font&#8211;variant: normal; font&#8211;weight: 400; letter&#8211;spacing: 0px; line&#8211;height: 18px; margin: 0px; opacity: 1; padding&#8211;bottom: 9px; padding&#8211;top: 0px; text&#8211;align: justify; text&#8211;decoration: none; text&#8211;indent: 0px; text&#8211;transform: none;">The goal of this school is to expose graduate students and young researchers to new and important ideas in concurrent programming&#046; The school is the third of a series;<span class="Apple&#8211;converted&#8211;space"> </span><a title="http://www&#046;cs&#046;purdue&#046;edu/homes/jv/events/TiC06/&quot; href="http://www&#046;cs&#046;purdue&#046;edu/homes/jv/events/TiC06/&quot; style="color: rgb(88, 77, 77); text&#8211;decoration: underline;">the first was held in Bertinoro, Italy in 2006</a>, the second TIC was<span class="Apple&#8211;converted&#8211;space"> </span><a title="http://web&#046;mac&#046;com/vitekj/TiC/Welcome&#046;html&quot; href="http://web&#046;mac&#046;com/vitekj/TiC/Welcome&#046;html&quot; style="color: rgb(88, 77, 77); text&#8211;decoration: underline;">held in Prague, Czech Republic in 2008</a>&#046; The school is intended to foster in&#8211;depth discussion between instructors and students, and to encourage wide&#8211;ranging discussions&#046; The focus this year is on programming language design, program analysis, specification, and implementation as they relate to<span class="Apple&#8211;converted&#8211;space"> </span><span class="style_1" style="font&#8211;family: GillSans&#8211;Bold,&#8242;Gill Sans&#8242;,&#8242;Trebuchet MS&#8242;,sans&#8211;serif; font&#8211;size: 14px; font&#8211;style: normal; font&#8211;weight: 700; line&#8211;height: 18px;">concurrent</span><span class="Apple&#8211;converted&#8211;space"> </span>and<span class="Apple&#8211;converted&#8211;space"> </span><span class="style_1" style="font&#8211;family: GillSans&#8211;Bold,&#8242;Gill Sans&#8242;,&#8242;Trebuchet MS&#8242;,sans&#8211;serif; font&#8211;size: 14px; font&#8211;style: normal; font&#8211;weight: 700; line&#8211;height: 18px;">real&#8211;time</span><span class="Apple&#8211;converted&#8211;space"> </span>systems&#046; Topics:<span class="Apple&#8211;converted&#8211;space"> </span><span class="style_2" style="font&#8211;family: GillSans&#8211;Italic,&#8242;Gill Sans&#8242;,&#8242;Trebuchet MS&#8242;,sans&#8211;serif; font&#8211;size: 14px; font&#8211;style: italic; font&#8211;weight: 400; line&#8211;height: 18px;">Programming languages and models for concurrent and real&#8211;time computing; Transactional abstractions for concurrent, real&#8211;time and distributed computing; Formal models of concurrency and real&#8211;time; Compilation and runtime techniques for multicore systems&#046;</span><br></p><p class="paragraph_style_1" style="color: rgb(0, 0, 0); font&#8211;family: GillSans,&#8242;Gill Sans&#8242;,&#8242;Trebuchet MS&#8242;,sans&#8211;serif; font&#8211;size: 14px; font&#8211;style: normal; font&#8211;variant: normal; font&#8211;weight: 400; letter&#8211;spacing: 0px; line&#8211;height: 18px; margin: 0px; opacity: 1; padding&#8211;bottom: 0pt; padding&#8211;top: 0px; text&#8211;align: justify; text&#8211;decoration: none; text&#8211;indent: 0px; text&#8211;transform: none;">To encourage free discussion, attendance will be limited to 40 participants&#046; Admission will be competitive, and preference will be given to students actively pursuing (or who have recently completed) a Ph&#046;D in the topic areas being covered&#046;</p></span></span>