caml-list - the Caml user's mailing list
 help / color / mirror / Atom feed
* CfP: 2nd CEFP Functional Programming School, June 23-30, 2007
@ 2007-02-23 18:45 HORVATH Zoltan
  2007-05-11 19:52 ` Functional Programming School + PhD workshop, " HORVATH Zoltan
  0 siblings, 1 reply; 3+ messages in thread
From: HORVATH Zoltan @ 2007-02-23 18:45 UTC (permalink / raw)
  To: caml-list

[-- Attachment #1: Type: TEXT/PLAIN, Size: 3227 bytes --]


      2nd Central-European Functional Programming School
                           CEFP 2007
                 Cluj-Napoca, June 23-30, 2007
                http://cs.ubbcluj.ro/cefp2007/


  First Announcement - Call for participation - Call for PhD
                     student presentation


Aims and Scopes:

The Central-European Functional Programming School (CEFP) is an
intensive summer school series in the field of functional
programming. The main goal is to bring together computer
scientists, researchers, graduate and especially PhD students.
The school would like to promote the research and the education
of the functional programming languages, software technologies
and programming methodologies.

The second CEFP school will be organized by the Babeş-Bolyai
University (Cluj-Napoca / Kolozsvár  / Klausenburg) between 
23-30 June, 2007. The previous  school was held in Budapest,
Hungary, July, 2005.

The invited lecturers are prominent researchers in the field,
and they will present state-of-the-art functional programming
techniques. Beside the lectures practical courses will be held.
The school includes a workshop for PhD students to present
their work and get feed-back from the lecturers.

Invited Lecturers:

Rinus Plasmeijer (Radboud University Nijmegen, The Netherlands): 
iTasks: Defining Interactive Workflows for the Web

Werner Kluge (Christian-Albrechts-Universität zu Kiel,
Germany): Abstract Lambda Calculus Machines

Marko van Eekelen (Radboud University Nijmegen, The
Netherlands): Proving Properties of Lazy Functional Programs

Tim Sheard (Portland State University, USA): The Omega
Programming Language

Ralf Hinze (Universität Bonn, Germany): Generics

Three additional short courses will be given:

Zoltán Horváth (Eötvös Loránd University, Budapest, Hungary):
Refactoring Erlang Programs

Zoltán Csörnyei (Eötvös Loránd University, Budapest, Hungary):
Lambda-Calculus

Horia F. Pop (Babeş-Bolyai University, Cluj-Napoca, Romania): 
A Tutorial on Object Orientedness in Functional Programming

Submissions:

PhD students are invited to submit the abstract of their
presentations to be included in the workshop programme. Each
presentation can be of max. 25 minutes. The full paper version
can be submitted after the summer school. It is under
negotiation to publish the revised lectures and the selected
and reviewed papers in LNCS Volume.

Venue:

Cluj-Napoca / Kolozsvár / Klausenburg, formerly the capital of
Transylvania, is one of the most beautiful medieval cities with
a huge multicultural and historical inheritance. Surrounded by
marvelous hills and mountains, the city provides fascinating
environment for experiencing the unique ambience of a
diversified culture, society and nature.

Registration and costs:

The registration fee (260 Euro) includes the course materials
distributed during the school, the post-school volume, lunches,
the excursion and the summer school banquet. For further
information, accommodation possibilities and registration
please visit the web-page of the event:
http://www.cs.ubbcluj.ro/cefp2007. The deadline for
registration and submissions is 1 June 2007.

^ permalink raw reply	[flat|nested] 3+ messages in thread

* Functional Programming School + PhD workshop, June 23-30, 2007
  2007-02-23 18:45 CfP: 2nd CEFP Functional Programming School, June 23-30, 2007 HORVATH Zoltan
@ 2007-05-11 19:52 ` HORVATH Zoltan
  2007-06-11 19:26   ` Last CFP: Functional Programming School + PhD workshop, with LNCS post.conf. proc. : " HORVATH Zoltan
  0 siblings, 1 reply; 3+ messages in thread
From: HORVATH Zoltan @ 2007-05-11 19:52 UTC (permalink / raw)
  To: caml-list

[-- Attachment #1: Type: TEXT/PLAIN, Size: 3336 bytes --]


      2nd Central-European Functional Programming School
                           CEFP 2007
                 Cluj-Napoca, June 23-30, 2007
                http://cs.ubbcluj.ro/cefp2007/


Second Call for PhD student presentation - Call for participation


PhD students are invited to submit the abstract of their
presentations to be included in the workshop session of 
the summer school. The selected and reviewed workshop 
papers and the revised lectures will be published in 
the post-conference LNCS Volume of the Summer School.
The deadline for registration and submissions is 
1 June 2007.

Aims and Scopes:

The Central-European Functional Programming School (CEFP) 
is an intensive summer school series in the field of functional
programming. The main goal is to bring together computer
scientists, researchers, graduate and especially PhD students.
The school would like to promote the research and the education
of the functional programming languages, software technologies
and programming methodologies.

The second CEFP school will be organized by the Babeş-Bolyai
University (Cluj-Napoca / Kolozsvár / Klausenburg) between 
23-30 June, 2007. The previous school was held in Budapest,
Hungary, July, 2005 (LNCS 4164).

The invited lecturers are prominent researchers in the field,
and they will present state-of-the-art functional programming
techniques. Beside the lectures practical courses will be held.
The school includes a workshop for PhD students to present
their work and get feed-back from the lecturers.

Invited Lecturers:

Rinus Plasmeijer (Radboud University Nijmegen, The Netherlands): 
iTasks: Defining Interactive Workflows for the Web

Werner Kluge (Christian-Albrechts-Universität zu Kiel,
Germany): Abstract Lambda Calculus Machines

Marko van Eekelen (Radboud University Nijmegen, The
Netherlands): Proving Properties of Lazy Functional Programs

Tim Sheard (Portland State University, USA): The Omega
Programming Language

Ralf Hinze (Universität Bonn, Germany): Generic Programming, Now!

Three additional short courses will be given:

Zoltán Horváth (Eötvös Loránd University, Budapest, Hungary):
Refactoring Erlang Programs

Zoltán Csörnyei (Eötvös Loránd University, Budapest, Hungary):
Lambda-Calculus

Horia F. Pop (Babeş-Bolyai University, Cluj-Napoca, Romania): 
A Tutorial on Object Orientedness in Functional Programming

Submissions for the workshop session:

Each presentation can be of max. 25 minutes. The full paper 
version can be submitted after the summer school for 
post-conference reviewing. 

Venue:

Cluj-Napoca / Kolozsvár / Klausenburg, formerly the capital of
Transylvania, is one of the most beautiful medieval cities with
a huge multicultural and historical inheritance. Surrounded by
marvelous hills and mountains, the city provides fascinating
environment for experiencing the unique ambience of a
diversified culture, society and nature.

Registration and costs:

The registration fee (260 Euro) includes the course materials
distributed during the school, the post-school volume, lunches,
the excursion and the summer school banquet. For further
information, accommodation possibilities and registration
please visit the web-page of the event:
http://www.cs.ubbcluj.ro/cefp2007.

^ permalink raw reply	[flat|nested] 3+ messages in thread

* Last CFP: Functional Programming School + PhD workshop, with LNCS post.conf. proc. : June 23-30, 2007
  2007-05-11 19:52 ` Functional Programming School + PhD workshop, " HORVATH Zoltan
@ 2007-06-11 19:26   ` HORVATH Zoltan
  0 siblings, 0 replies; 3+ messages in thread
From: HORVATH Zoltan @ 2007-06-11 19:26 UTC (permalink / raw)
  To: caml-list

[-- Attachment #1: Type: TEXT/PLAIN, Size: 3334 bytes --]

      2nd Central-European Functional Programming School
                           CEFP 2007
                 Cluj-Napoca, June 23-30, 2007
                http://cs.ubbcluj.ro/cefp2007/


Call for PhD student presentation - Last call for participation


PhD students are invited to submit the abstract of their
presentations to be included in the workshop session of 
the summer school. The selected and reviewed workshop 
papers and the revised lectures will be published in 
the post-conference LNCS Volume of the Summer School.
The deadline for registration and submissions is 
1 June 2007.

Aims and Scopes:

The Central-European Functional Programming School (CEFP) 
is an intensive summer school series in the field of functional
programming. The main goal is to bring together computer
scientists, researchers, graduate and especially PhD students.
The school would like to promote the research and the education
of the functional programming languages, software technologies
and programming methodologies.

The second CEFP school will be organized by the Babeş-Bolyai
University (Cluj-Napoca / Kolozsvár / Klausenburg) between 
23-30 June, 2007. The previous school was held in Budapest,
Hungary, July, 2005 (LNCS 4164).

The invited lecturers are prominent researchers in the field,
and they will present state-of-the-art functional programming
techniques. Beside the lectures practical courses will be held.
The school includes a workshop for PhD students to present
their work and get feed-back from the lecturers.

Invited Lecturers:

Rinus Plasmeijer (Radboud University Nijmegen, The Netherlands): 
iTasks: Defining Interactive Workflows for the Web

Werner Kluge (Christian-Albrechts-Universität zu Kiel,
Germany): Abstract Lambda Calculus Machines

Marko van Eekelen (Radboud University Nijmegen, The
Netherlands): Proving Properties of Lazy Functional Programs

Tim Sheard (Portland State University, USA): The Omega
Programming Language

Ralf Hinze (Universität Bonn, Germany): Generic Programming, Now!

Three additional short courses will be given:

Zoltán Horváth (Eötvös Loránd University, Budapest, Hungary):
Refactoring Erlang Programs

Zoltán Csörnyei (Eötvös Loránd University, Budapest, Hungary):
Lambda-Calculus

Horia F. Pop (Babeş-Bolyai University, Cluj-Napoca, Romania): 
A Tutorial on Object Orientedness in Functional Programming

Submissions for the workshop session:

Each presentation can be of max. 25 minutes. The full paper 
version can be submitted after the summer school for 
post-conference reviewing. 

Venue:

Cluj-Napoca / Kolozsvár / Klausenburg, formerly the capital of
Transylvania, is one of the most beautiful medieval cities with
a huge multicultural and historical inheritance. Surrounded by
marvelous hills and mountains, the city provides fascinating
environment for experiencing the unique ambience of a
diversified culture, society and nature.

Registration and costs:

The registration fee (260 Euro) includes the course materials
distributed during the school, the post-school volume, lunches,
the excursion and the summer school banquet. For further
information, accommodation possibilities and registration
please visit the web-page of the event:
http://www.cs.ubbcluj.ro/cefp2007.

^ permalink raw reply	[flat|nested] 3+ messages in thread

end of thread, other threads:[~2007-06-11 19:26 UTC | newest]

Thread overview: 3+ messages (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2007-02-23 18:45 CfP: 2nd CEFP Functional Programming School, June 23-30, 2007 HORVATH Zoltan
2007-05-11 19:52 ` Functional Programming School + PhD workshop, " HORVATH Zoltan
2007-06-11 19:26   ` Last CFP: Functional Programming School + PhD workshop, with LNCS post.conf. proc. : " HORVATH Zoltan

This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for NNTP newsgroup(s).