Kongresi

9. Mart 2011

 

 

 

 

 

 

 

 

 

 

| Hotel Info | Aplikacija za hotele | Avio Karte | Opcioni Program |

 

 

RDP 2011 Zajednička Konferencija o prepisivanju, dedukciji i programiranju

Od nedelje 29. maja, 2011. do petka 3. juna 2011. godine
Novi Sad, Srbija

RDP '11 je šesta Međunarodna Konferencija o prepisivanju, dedukciji i programiranju, koja se sastoji od dve glavne konferencije

• Rewriting Techniques and Applications (RTA'11)
• Typed Lambda Calculi and Applications (TLCA'11)

i pratećih događaja.

Radionice: Compilers by Rewriting, Automated (COBRA) Higher Dimensional Type Theory (HDTT) Theory and Practice of Delimited Continuations (TPDC) Two Faces of Complexity (2FC) Reduction Strategies in Rewriting and Programming (WRS) IFIP Working Group 1.6 Term Rewriting   Prethodne RDP konferencije održane su u Valensiji (Španija) 2003 Ahenu (Nemačka) 2004 Nari (Japan) 2005 Parizu (Francuska) 2007 Braziliji (Brazil) 2009

Workshops: Compilers by Rewriting, Automated (COBRA) Higher Dimensional Type Theory (HDTT) Theory and Practice of Delimited Continuations (TPDC) Two Faces of Complexity (2FC) Reduction Strategies in Rewriting and Programming (WRS) IFIP Working Group 1.6 Term Rewriting   Previous editions of RDP took place in Valencia (Spain) 2003 Aachen (Germany) 2004 Nara (Japan) 2005 Paris (France) 2007 Brasilia (Brasil) 2009

 

 

 

Proverite rezervaciju vaše karte

Feb 11, 2011

Nezvanična kursna lista:

1 dinar = 1 RSD