Calls for participation

[Caml-list] Preliminary Call for Papers: The 7th IFIP Conference on Theoretical Computer Science 2012

2012-01-24T22:22:00.000+01:00

Preliminary Call for Papers:The 7th IFIP Conference on Theoretical Computer Science 2012September 26 - 28, Amsterdam, The NetherlandsGeneral InfoThe conference Theoretical Computer Science, which is held every twoyears, either in conjunction or in the framework of the IFIP WorldComputing Congress, is the meeting place of the TC1 community wherenew results of computation theory are presented and

[Caml-list] Second CALL FOR PAPERS FM 2012

2012-01-18T13:24:00.000+01:00

[Apologies if you receive multiple copies of this message]Second CALL FOR PAPERS FM 2012**********************************************************************18TH INTERNATIONAL SYMPOSIUM ON FORMAL METHODSAugust 27 - 31, 2012CNAM, Paris, Francehttp://fm2012.cnam.fr**********************************************************************IMPORTANT DATES:Submission: March 5th, 2012Notification: May

[Caml-list] ICFP 2012 Call for papers

2012-01-16T16:29:00.000+01:00

===================================================================== ICFP 2012: International Conference on Functional Programming Copenhagen, Denmark, September 9 - 15, 2012 http://www.icfpconference.org/icfp2012=====================================================================Important Dates~~~~~~~~~~~~~~~ Submissions due: Monday Mar 12, 2012 14:00 UTC Author response: Monday May 07,

[Caml-list] SFM-12:MDE in Bertinoro -- first call for participation

2012-01-10T19:01:00.000+01:00

************************************************************ ** SFM-12:MDE ** ** 12th International School on ** Formal Methods for the Design of ** Computer, Communication and Software

[Caml-list] CICM 2012: Second call for papers

2012-01-09T11:07:00.000+01:00

CICM 2012 - Conference on Intelligent Computer Mathematics July 9-13, 2012 at Jacobs University, Bremen, Germany http://www.informatik.uni-bremen.de/cicm2012/ Call for Papers----------------------------------------------------------------As computers and communications technology advance, greateropportunities arise for intelligent mathematical

[Caml-list] PADL 2012 Final Call for Participation

2011-12-20T17:42:00.000+01:00

Final Call for Participation============================ 14th International Symposium on Practical Aspects of Declarative Languages (PADL 2012) http://research.microsoft.com/~crusso/padl12 Philadelphia, Pennsylvania, USA, January 23-24, 2012 Co-located with ACM POPL'12 You are cordially invited to PADL'12. PADL is a

[Caml-list] DisCoTec 2012: Second CFP and Workshop Proposals (COORDINATION + DAIS + FMOODS/FORTE)

2011-12-13T11:06:00.000+01:00

[We apologize for multiple copies]==================================================================== Second Call for Papers DisCoTec 2012 7th International Federated Conference on Distributed Computing Techniques http://discotec.ict.kth.se/ Stockholm, Sweden, June 13-16 2012=====

[Caml-list] RAMiCS 13 Call for Papers: Relational and Algebraic Methods in Computer Science

2011-12-06T10:15:00.000+01:00

CALL FOR PAPERS 13th International Conference on Relational and Algebraic Methods in Computer Science (RAMiCS 13) 17--21 September 2012, Cambridge University, UK http://www.cl.cam.ac.uk/conference/ramics13/ Scope ----- We invite submissions in the general area of Relational and Algebraic Methods in Computer Science. Special

[Caml-list] PADL 2012 Call for Participation

2011-11-28T10:28:00.000+01:00

Call for Participation====================== 14th International Symposium on Practical Aspects of Declarative Languages (PADL 2012) http://research.microsoft.com/~crusso/padl12 Philadelphia, Pennsylvania, USA, January 23-24, 2012 Co-located with ACM POPL'12 You are cordially invited to PADL'12. PADL is a forum for

[Caml-list] SAT 2012: Call for Papers

2011-11-03T19:13:00.000+01:00

------------------------------------------------------------------------- 15th International Conference on THEORY AND APPLICATIONS OF SATISFIABILITY TESTING --- SAT 2012 --- Trento, Italy, June 17-20th, 2012 http://sat2012.fbk.eu/-------------------------------------------------------------------------AIM and

[Caml-list] Call for Papers and Workshop Proposals: DisCoTec 2012, Stockholm, Sweden (COORDINATION + DAIS + FMOODS/FORTE)

2011-11-03T16:33:00.000+01:00

[We apologize for multiple copies]==================================================================== Call for Papers DisCoTec 2012 7th International Federated Conference on Distributed Computing Techniques http://discotec.ict.kth.se/ Stockholm, Sweden, June 13-16 2012===========

[Caml-list] VSTTE 2012 Verification Competition: last call for participation

2011-11-02T13:58:00.000+01:00

VSTTE 2012 Verification Competition starts Tuesday 8 November 2011!Follow the announcements at the competition Web page: https://sites.google.com/site/vstte2012/competJoin the discussion group or subscribe to our mailing list: http://groups.google.com/group/vstte-2012-verification-competition vstte-2012-verification-competition+subscribe@googlegroups.comVSTTE 2012 Verification

[Caml-list] LPAR-18 extended deadline

2011-10-26T20:57:00.000+02:00

=========================== LPAR-18 LAST CALL FOR PAPERS CALL FOR WORKSHOP PROPOSALS =========================== ============================================================ The 18th International Conference on Logic for Programming, Artificial Intelligence and

[Caml-list] APLAS + CPP 2011 call for participation

2011-10-21T13:01:00.000+02:00

Dear Colleague,Please see attached a call-for-participation for the 9th Asian Symposium onProgramming Languages and Systems, and the 1st International Conference onCertified Programs and Proofs, to be held in Kenting, Taiwan, on Dec 4-9, 2011.Please help circulate the call-for-participation, and please take advantage of theearly registration fees by registering to the conferences by Nov 12.best,

[Caml-list] LPAR-18 Call for Papers and Workshops

2011-10-11T17:29:00.000+02:00

=========================== LPAR-18 2nd CALL FOR PAPERS CALL FOR WORKSHOP PROPOSALS =========================== ============================================================ The 18th International Conference on Logic for Programming, Artificial Intelligence and Reasoning

[Caml-list] CICM 2012: Call for workshops

2011-10-06T13:33:00.000+02:00

CICM 2012 - Conference on Intelligent Computer Mathematics July 9-13, 2012 at Jacobs University, Bremen, Germany http://www.informatik.uni-bremen.de/cicm2012/ Call for Workshop Proposals----------------------------------------------------As computers and communications technology advance, greateropportunities arise for intelligent mathematical computation.

[Caml-list] RTA 2012: First Call For Papers

2011-10-01T23:08:00.000+02:00

******************************************************** * First Call For Papers * * RTA 2012 * * Rewriting Techniques and Applications * * 23rd International Conference * * * * May 28 - Jun 2, 2012,

[Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Caml-list] CiE 2012 Call for Papers

2011-09-15T12:56:00.005+02:00

**********************************************************************FIRST CALL FOR PAPERS: TURING CENTENARY CONFERENCE http://www.cie2012.eu Computability in Europe 2012: How the World Computes University of Cambridge Cambridge, 18-23 June 2012CiE 2012 is one of a series of special events, running

[Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Caml-list] CiE 2012 Call for Papers

2011-09-15T12:56:00.003+02:00

[Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Caml-list] CiE 2012 Call for Papers

2011-09-15T12:56:00.001+02:00

[Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Caml-list] CiE 2012 Call for Papers

2011-09-15T12:55:00.017+02:00

[Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Caml-list] CiE 2012 Call for Papers

2011-09-15T12:55:00.015+02:00

[Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Caml-list] CiE 2012 Call for Papers

2011-09-15T12:55:00.013+02:00

[Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Caml-list] CiE 2012 Call for Papers

2011-09-15T12:55:00.011+02:00

[Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Caml-list] CiE 2012 Call for Papers

2011-09-15T12:55:00.009+02:00

[Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Caml-list] CiE 2012 Call for Papers

2011-09-15T12:55:00.007+02:00

[Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Caml-list] CiE 2012 Call for Papers

2011-09-15T12:55:00.005+02:00

[Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Caml-list] CiE 2012 Call for Papers

2011-09-15T12:55:00.003+02:00

[Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Caml-list] CiE 2012 Call for Papers

2011-09-15T12:55:00.001+02:00

[Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Caml-list] CiE 2012 Call for Papers

2011-09-15T12:54:00.018+02:00

[Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Caml-list] CiE 2012 Call for Papers

2011-09-15T12:54:00.017+02:00

[Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Caml-list] CiE 2012 Call for Papers

2011-09-15T12:54:00.015+02:00

[Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Caml-list] CiE 2012 Call for Papers

2011-09-15T12:54:00.013+02:00

[Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Caml-list] CiE 2012 Call for Papers

2011-09-15T12:54:00.011+02:00

[Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Caml-list] CiE 2012 Call for Papers

2011-09-15T12:54:00.009+02:00

[Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Caml-list] CiE 2012 Call for Papers

2011-09-15T12:54:00.007+02:00

[Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Caml-list] CiE 2012 Call for Papers

2011-09-15T12:54:00.005+02:00

[Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Caml-list] CiE 2012 Call for Papers

2011-09-15T12:54:00.003+02:00

[Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Caml-list] CiE 2012 Call for Papers

2011-09-15T12:54:00.001+02:00

[Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Caml-list] CiE 2012 Call for Papers

2011-09-15T12:53:00.018+02:00

[Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Caml-list] CiE 2012 Call for Papers

2011-09-15T12:53:00.017+02:00

[Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Caml-list] CiE 2012 Call for Papers

2011-09-15T12:53:00.015+02:00

[Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Caml-list] CiE 2012 Call for Papers

2011-09-15T12:53:00.013+02:00

[Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Caml-list] CiE 2012 Call for Papers

2011-09-15T12:53:00.011+02:00

[Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Caml-list] CiE 2012 Call for Papers

2011-09-15T12:53:00.009+02:00

[Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Caml-list] CiE 2012 Call for Papers

2011-09-15T12:53:00.007+02:00

[Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Caml-list] CiE 2012 Call for Papers

2011-09-15T12:53:00.005+02:00

[Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Caml-list] CiE 2012 Call for Papers

2011-09-15T12:53:00.003+02:00

[Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Caml-list] CiE 2012 Call for Papers

2011-09-15T12:53:00.001+02:00

[Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Caml-list] CiE 2012 Call for Papers

2011-09-15T12:52:00.018+02:00

[Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Caml-list] CiE 2012 Call for Papers

2011-09-15T12:52:00.017+02:00

[Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Caml-list] CiE 2012 Call for Papers

2011-09-15T12:52:00.015+02:00

[Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Caml-list] CiE 2012 Call for Papers

2011-09-15T12:52:00.013+02:00

[Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Caml-list] CiE 2012 Call for Papers

2011-09-15T12:52:00.011+02:00

[Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Caml-list] CiE 2012 Call for Papers

2011-09-15T12:52:00.009+02:00

[Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Caml-list] CiE 2012 Call for Papers

2011-09-15T12:52:00.007+02:00

[Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Caml-list] CiE 2012 Call for Papers

2011-09-15T12:52:00.005+02:00

[Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Caml-list] CiE 2012 Call for Papers

2011-09-15T12:52:00.003+02:00

[Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Caml-list] CiE 2012 Call for Papers

2011-09-15T12:52:00.001+02:00

[Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Caml-list] CiE 2012 Call for Papers

2011-09-15T12:51:00.012+02:00

[Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Caml-list] CiE 2012 Call for Papers

2011-09-15T12:51:00.011+02:00

[Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Caml-list] CiE 2012 Call for Papers

2011-09-15T12:51:00.009+02:00

[Calls for participation] [Calls for participation] [Calls for participation] [Calls for participation] [Caml-list] CiE 2012 Call for Papers

2011-09-15T12:51:00.007+02:00

[Calls for participation] [Calls for participation] [Calls for participation] [Caml-list] CiE 2012 Call for Papers

2011-09-15T12:51:00.005+02:00

[Calls for participation] [Calls for participation] [Caml-list] CiE 2012 Call for Papers

2011-09-15T12:51:00.003+02:00

[Calls for participation] [Caml-list] CiE 2012 Call for Papers

2011-09-15T12:51:00.001+02:00

[Caml-list] CiE 2012 Call for Papers

2011-09-15T12:50:00.000+02:00

[Caml-list] Mathematics of Program Construction - first call for papers

2011-09-07T13:13:00.000+02:00

FIRST CALL FOR PAPERS11th International Conference on Mathematics of Program Construction (MPC 2012)Madrid, Spain, 25-27 June 2012http://babel.ls.fi.upm.es/mpc2012BACKGROUNDThe biennial MPC conferences aim to promote the development ofmathematical principles and techniques that are demonstrably practicaland effective in the process of constructing computer programs,broadly interpreted.The 2012

[Caml-list] Formal Methods in Computer Aided Design 2011 -- Call for Participation

2011-08-31T20:34:00.000+02:00

**************************************************************************** FMCAD 2011 FORMAL METHODS IN COMPUTER-AIDED DESIGN CALL FOR PARTICIPATION****************************************************************************The 11th International Conference on FORMAL METHODS IN

[Caml-list] SSS 2011 - Call for Participation

2011-08-19T21:05:00.000+02:00

Apologies if you receive multiple copies of this announcement.****************************************************************************** - SSS 2011 - * CALL FOR PARTICIPATION * 13th International Symposium on Stabilization, Safety, and Security of Distributed Systems October 10-12,

[Caml-list] FroCoS 2011: Call for Participation

2011-08-15T00:27:00.000+02:00

================================================================== CALL FOR PARTICIPATION FroCoS'11 8th International Symposium on FRONTIERS OF COMBINING SYSTEMS Saarbruecken, Germany, October 5-7, 2011 http://www.mpi-inf.mpg.de/conferences/frocos2011/========================================

[Caml-list] ML Workshop: register early by August 15

2011-08-13T16:59:00.000+02:00

ACM SIGPLAN Workshop on MLSunday, 18 September 2011, Tokyo, Japan (co-located with ICFP)http://conway.rutgers.edu/ml2011/CALL FOR PARTICIPATION * Early Registration deadline is August 15! *The ML family of programming languages includes dialects known asStandard ML, Objective Caml, and F#. These languages have inspireda large amount of computer-science research, both practical andtheoretical.

[Caml-list] PEPM 2012 Second call for papers

2011-08-10T10:11:00.000+02:00

Please accept in our apologies for multiple postings of this announcement.ACM SIGPLAN 2012 Workshop on Partial Evaluation and Program ManipulationJanuary 23-24, 2012. Philadelphia, Pennsylvania, USA (co-located with POPL'12)Call For PapersPaper submission deadline: Mon, October 10, 2011, 23:59, GMThttp://www.program-transformation.org/PEPM12The PEPM Symposium/Workshop series aims to bring

[Caml-list] Continuation Workshop 2011: Call for participation

2011-08-10T03:42:00.000+02:00

ACM SIGPLAN Continuation Workshop 2011 http://logic.cs.tsukuba.ac.jp/cw2011/ co-located with ICFP 2011, Tokyo, Japan Saturday, September 24, 2011 Call for Participation Early Registration deadline is August 15!Continuations have been discovered many times, which highlights theirmany applications in programming language semantics and programanalysis, linguistics,

[Caml-list] DBPL '11 Call for participation

2011-08-03T18:07:00.000+02:00

The 13th International Symposium on Database Programming Languages http://www.cs.cornell.edu/conferences/dbpl2011 Seattle, Washington, USA August 29, 2011 co-located with VLDB 2011 Call for ParticipationFor over 20 years, DBPL has established itself as the principal venuefor

[Caml-list] Time to register for CUFP

2011-07-30T13:41:00.001+02:00

The talks and tutorials for CUFP are now up, and it's a really interesting protocols, covering a broad range of FP topics, and including quite a bit that touches on OCaml specifically. Note: The deadline for reduced-fee registrations is August 15th. I hope to see a lot of you there!y _____________________________________________________________ Commercial Users of Functional Programming

[Caml-list] CfPart: TIME'11

2011-07-29T10:10:00.000+02:00

TIME 2011 Call for Participation Eighteenth International Symposium on Temporal Representation and Reasoning Luebeck, Germany, September 12-14, 2011 http://www.isp.uni-luebeck.de/time11/ * DATES Registration: 18 June - 14 August 2011 Late Registration: from 15 August 2011 TIME

[Caml-list] [VMCAI2012] VMCAI 2012 CALL FOR PAPERS

2011-07-28T10:54:00.000+02:00

VMCAI 2012 CALL FOR PAPERS13th International Conference onVerification, Model Checking, and Abstract Interpretation (VMCAI)http://lara.epfl.ch/vmcai2012/January 22-24, 2012, Philadelphia, USACollocated with POPL 2012 ( http://www.cse.psu.edu/popl/12/ )39th ACM SIGPLAN-SIGACT Symposium on Principles of Programming LanguagesSCOPEVMCAI provides a forum for researchers from the communities

[Caml-list] ICFP 2011: Call for participation

2011-07-26T10:57:00.000+02:00

===================================================================== Call for Participation The 16th ACM SIGPLAN International Conference on Functional Programming (ICFP 2011) http://www.icfpconference.org/icfp2011/ Tokyo, Japan September 19-21, 2011=====================================================================

[Caml-list] CSL call for participation

2011-07-25T14:21:00.000+02:00

--------------------------------------------------------------------- CALL FOR PARTICIPATION, EARLY REGISTRATION DEADLINE APPROACHING TYPES 2011, 8-11 September, http://www.types.name/ CSL 2011, 12-15 September, http://www.eacsl.org/csl11 Bergen, NorwayGENERAL INFORMATION Types for Proofs and Programs (TYPES) is a forum to present new and on-going

[Caml-list] TLDI 2012 - Call for Papers and Contributed Talks

2011-07-19T16:18:00.000+02:00

TLDI 2012 CALL FOR PAPERS AND CONTRIBUTED TALKS The Seventh ACM SIGPLAN Workshop on Types in Language Design and Implementation Saturday, January 28, 2012 Philadelphia, PA, USA To be held in conjunction with POPL 2012 Submission deadline: October 10th, 2011

[Caml-list] Domain-Specific Languages: Call for Participation

2011-07-15T18:41:00.000+02:00

DSL 2011: IFIP Working Conference on Domain-Specific Languages 6-8 September 2011, Bordeaux, France **** Call for Participation: Online registration deadline July 30, 2011 **** Details of the program and accommodation are available at http://dsl2011.bordeaux.inria.fr.== Invited Speakers ==- Jeremy Gibbons - University of Oxford, UK.- Claude Kirchner - INRIA, France.== Distilled Tutorials on

[Caml-list] Second Call for Participation: TARK 2011, 11-15 July 2011, Groningen

2011-06-29T09:38:00.000+02:00

*** apologies for multiple postings ***Dear colleagues,It is our great pleasure to invite you to participate in the 13th Conference on Theoretical Aspects of Rationality and Knowledge (TARK XIII, July 11-15, 2011, Groningen, the Netherlands). You can register via the official TARK website at http://TARK2011.org. This year's invited speakers are Johan van Benthem, Yossi Feinberg, Ithzak Gilboa and

[Caml-list] IICE-2011: Call for Papers!

2011-06-14T02:04:00.000+02:00

Apologies for cross-postings. Kindly email this call for papers to your colleagues, faculty members and postgraduate students. CALL FOR PAPERS ********************************************************** Ireland International Conference on Education (IICE-2011), October 3-5, 2011, Dublin, Ireland (www.iicedu.org) ********************************************

[Caml-list] Call for Papers: APLAS+CPP (new deadlines)

2011-06-13T05:29:00.000+02:00

==========================================================APLAS 2011 Call For PapersNinth Asian Symposium on Programming Languages and SystemsKenting, Taiwan, December 5--7, 2011(co-located with CPP 2011)http://flolac.iis.sinica.edu.tw/aplas11/==========================================================BACKGROUND:APLAS aims at stimulating programming language research by providing a forum for the

[Caml-list] Call for Participation: Mancoosi International Solver Competition

2011-06-10T15:27:00.000+02:00

The Mancoosi International Solver Competition (MISC) http://www.mancoosi.org/misc-2011/ Call for Participation The Mancoosi project (www.mancoosi.org) calls for the secondinternational competition of solvers for package/componentinstallation and upgrade problems. Instances of these problems aregiven by a set of currently installed or available software

[Caml-list] Call for Papers: The 6th International Conference for Internet Technology and Secured Transactions (ICITST-2011)!

2011-06-09T04:36:00.000+02:00

Apologies for cross-postings! Kindly email this Call for Papers to your colleagues, faculty members and postgraduate students. CALL FOR PAPERS ************************************************************ The 6th International Conference for Internet Technology and Secured Transactions (ICITST-2011), Technical Co-Sponsored by IEEE UAE Computer Chapter

[Caml-list] Call for papers: World Congress on Sustainable Technologies (WCST-2011)

2011-06-05T00:26:00.000+02:00

Apologies for cross-postings. Please send it to interested colleagues and students. Thanks! CALL FOR PAPERS ****************************************************** World Congress on Sustainable Technologies (WCST-2011) Technically Co-Sponsored by IEEE UK/RI Computer Chapter 7-10 November, 2011 London, UK www.wcst.org ******************************

[Caml-list] Call for Papers: London International Conference on Education!

2011-05-31T21:24:00.000+02:00

Apologies for cross-postings. Kindly email this call for papers to your colleagues, faculty members and postgraduate students. CALL FOR PAPERS ********************************************************* London International Conference on Education (LICE-2011) November 7-10, 2011, London, UK (www.liceducation.org) **********************************

[Caml-list] LOPSTR 2011 - call for participation

2011-05-26T13:33:00.000+02:00

(our apologies if you receive multiple copies of this message)============================================================ CALL FOR PARTICIPATION 21th International Symposium on Logic-Based Program Synthesis and Transformation LOPSTR 2011 http://users.dsic.upv.es/~lopstr11/ Odense, Denmark, July 18-20, 2011

[Caml-list] CPP 2011 - Call for Papers

2011-05-23T06:44:00.000+02:00

The First International Conference on Certified Programs and Proofs (CPP 2011) CALL FOR PAPERS Kenting, Taiwan December 7--9, 2011 http://formes.asia/cpp (co-located with APLAS 2011)CPP is a new international forum on theoretical and practical topicsin all areas, including computer

[Caml-list] Call for Participation: TARK 2011, 11-15 July 2011, Groningen

2011-05-13T15:56:00.000+02:00

*** apologies for multiple postings ***Dear colleagues,It is our great pleasure to invite you to participate in the 13th Conference on Theoretical Aspects of Rationality and Knowledge (TARK XIII, July 11-15, 2011, Groningen, the Netherlands). You can register via the official TARK website at http://TARK2011.org. There you will also find a list of accepted papers. This year's invited speakers are

[Caml-list] ACM SIGPLAN Erlang Workshop 2011 Call For Papers

2011-04-27T09:39:00.000+02:00

(My apologies for cross postings.)CALL FOR PAPERS===============Tenth ACM SIGPLAN Erlang Workshop---------------------------------National Institute of Informatics (NII), Tokyo Japan Friday, September 23, 2011A satellite event of the 16th ACM SIGPLAN International Conference onFunctional Programming (ICFP)Erlang is a concurrent, distributed functional

[Caml-list] RDP 2011: Second Call for Participation

2011-04-21T11:18:00.000+02:00

[We apologise for multiple copies.]*********************************************************************** Federated Conference on Rewriting, Deduction, and Programming****** RDP 2011 ****** May 29 - June 3, 2011 ****** Novi Sad, Serbia ******

[Caml-list] LAM'11: 2nd Call for Paper

2011-04-17T20:41:00.000+02:00

Apologies for cross-postings.*** 2nd CALL FOR PAPERS ***4th International Workshop on LOGICS, AGENTS, and MOBILITY (LAM'11),10 September 2011, Aachen, Germany,organised as satellite workshop at the Twenty-Second International Conference on CONCURRENCY THEORY (CONCUR 2011).Organisers:Berndt Müller (Farwer), University of GlamorganMichael Köhler-Bussmeier, University of HamburgWorkshop Homepage:

[Caml-list] ECOWS'11 CfP - Deadline Extended

2011-04-11T10:13:00.000+02:00

================================================================ECOWS 2011: The 9th European Conference on Web ServicesSeptember 14-16, 2011Lugano, Switzerlandhttp://ecows2011.inf.usi.ch----------------------------------------------------------------*CALL FOR RESEARCH, INDUSTRY, AND PHD SYMPOSIUM PAPERS*----------------------------------------------------------------**DEADLINE EXTENDED****

[Caml-list] Call for papers DTP'11

2011-04-11T09:43:00.000+02:00

Dependently Typed Programming 2011 Call for Papers 27 of August 2011 Nijmegen, The Netherland In association with ITP 2011 Deadline for submission: 10 June 2011 http://www.cs.ru.nl/dtp11Dependently typed programming is here today: where will it gotomorrow? On the one hand, dependent type theories have grownprogramming

[Caml-list] Call For Papers: Extended Deadline: April 10, 2011 - WORLDCOMP 2011 (July 18-21, 2011, USA)

2011-03-31T22:39:00.000+02:00

Dear friends and Colleagues:A number of authors have asked for an extension to the papersubmission deadline; we have granted all such requests.To be fair, we have decided to offer this extension to everyone.Please share the announcement below with those who may be interested.We anticipate having about 2,100 attendees.With kind regards, Organizing Committee------------ CALL

[Caml-list] Call for Papers: Conference on Domain-Specific Languages (DSL 2011)

2011-03-26T08:38:00.000+01:00

============================ Call for Papers ============================DSL 2011: Conference on Domain-Specific Languages (IFIP sponsorship pending approval) 6-8 September 2011, Bordeaux, France http://dsl2011.bordeaux.inria.fr/ CALL FOR PAPERS Domain-specific languages have long been a popular way to shorten the distance from ideas to products in software engineering. On one hand, the interface

[Caml-list] [PAPP2011] Practical Aspects of High-Level Parallel Programming: last call for papers (deadline: January, 23)

2011-01-16T12:22:00.001+01:00

Please accept our apologies for multiple copies of this email----------------------------------------------------------------Eighth International Workshop onPractical Aspects of High-Level Parallel Programming (PAPP 2011)----------------------------------------------------------------part of The International Conference on Computational ScienceJune 1-3, 2011, Tsukuba, Japanhttp://