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