Difference between revisions of "Template:Main/Events"

Revision as of 23:47, 16 January 2009

Events


Verification, Model Checking and Abstract Interpretation	Savannah/USA	Jan 18-20, 2009
Twelf Tutorial	Savannah/USA	Jan 19, 2009
Declarative Aspects of Multicore Programming	Savannah/USA	Jan 20, 2009
Practical Applications of Declarative Languages	Savannah/USA	Jan 19-20, 2009
Programming Languages meets Program Verification	Savannah/USA	Jan 20, 2009
POPL	Savannah/USA	Jan 21-23, 2009
Types in Language Design and Implementation	Savannah/USA	Jan 24, 2009
Tokyo Society for the Application of Currying	Tokyo/Japan	Jan 29, 2009
Central European Functional Programming School (CEFP)	Komarno/Slovakia	May 25-30, 2009
Trends in Functional Programming (TFP)	Komarno/Slovakia	Jun 2-4, 2009
ICFP 2009 and Associated Events	Edinburgh/UK	Aug 31-Sep 2, 2009
Implementation and Application of Functional Programming (IFL)	South Orange/USA	Sep 23-25, 2009

@@ Line 33: / Line 33: @@
 | Savannah/USA
 | Jan 24, 2009
-|-
 |-
 | [http://www.starling-software.com/en/tsac.html Tokyo Society for the Application of Currying]
@@ Line 39: / Line 38: @@
 | Jan 29, 2009
 |-
+| [http://www.inf.elte.hu/english/conf/tfp_cefp_2009/Lapok/index.aspx Central European Functional Programming School (CEFP)]
+| Komarno/Slovakia
+| May 25-30, 2009
+|-
+| [http://www.inf.elte.hu/english/conf/tfp_cefp_2009/Lapok/index.aspx Trends in Functional Programming (TFP)]
+| Komarno/Slovakia
+| Jun 2-4, 2009
 |-
 | [http://www.cs.nott.ac.uk/~gmh/icfp09.html ICFP 2009 and Associated Events]
 | Edinburgh/UK
 | Aug 31-Sep 2, 2009
+|-
+| [http://tltc.shu.edu/blogs/projects/IFL2009/ Implementation and Application of Functional Programming (IFL)]
+| South Orange/USA
+| Sep 23-25, 2009
 |-
 |}</center>