FIRST Research School
Welcome to FIRST Research School


 group_shotFIRST stands for Foundations for Innovative Research-based Software Technologies,
and the research school is a concerted effort of both academia and industry coordinate
and expand a broad series of PhD-training activities within theoretical computer science
and fundamental software technologies in the Copenhagen area.

The new FIRST folder

For everyone who would like to know more about FIRST and the projects it is involved in, please read the new FIRST folder.


UbiComp 2010 Volunteer Call

The 12th ACM International Conference on Ubiquitous Computing (UbiComp 2010) to be held at the IT University of Copenhagen and the Black Diamond is calling for volunteer students. Being a student volunteer is a great way to enter the interdisciplinary field of Ubiquitous Computing, get to know a range of practitioners and learn about cutting-edge research in the field. You will join a team of students from all parts of the world in making this year’s conference a great success. The networking benefit of being a student volunteer is invaluable. You will get the chance not only to work with like-minded peers, but also to connect to senior researchers and industry partners. Deadline for application is 15 June 2010. Please visit this link for further information:
International Workshop on Hybrid Logic and Applications (HyLo 2010)

On Saturdat the 10th of July a workshop on Hybrid Logic and Applications (HyLo 2010) will take place in Edinburgh, Schotland.


You can find more information on this event in the eventlist here:

Or the workshop website:

FIRST sping retreat

sten_kursuscenterThis year's spring retreat will take place at the Bautahøj Kursuscenter in Jægerspris on the 15th and 16th of april.

The registration deadline for this event is Wednesday the 7th of April, 12:00.

Please click here for more information.

Please click here for the program for both days

Course on Functional Reactive Programming

From the 21st to the 25th of June, a PhD mini course/seminar will be held on Functional Reactive Programming by Henrik Nilsson from the University of Nottingham.

See the eventlist for more infomation on the contents of the course, and how to register.

Newsletter March published
The FIRST newsletter for September has now been published. You can view it here. Any content for the next edition of the newsletter should be sent to the secretariat as usual.
International Summer School on Constraint Handling Rules

Programming and Reasoning with Rules and Constraints

August 30th - September 3rd, 2010
Leuven, Belgium

The aim of the summer school is to familiarize the participants with state-of-the-art high-level declarative programming with rules and constraints as well as providing insights into the analysis of programs based on these concepts. The courses cover a wide range from theory to practice.

The summer school will be based on the advanced high-level rule-based formalism and programming language Constraint Handling Rules (CHR).

Intended Audience
The summer school provides courses at various levels. It is open to anyone interested. It aims at Ph.D. students, but also post-docs, interested researchers and master students as well as interested parties from industry. Besides a working knowledge of English, there are no prerequisites. A basic knowledge of logic that is usually covered in undergraduate classes could be helpful.


Please visit the School's website for more information on the speakers, and how to register:

Algoritmik -- Algorithmics in Denmark

You can now subscribe to this mailinglist, which is meant for researchers in algorithmics in Denmark. It is for announcements of all seminars, colloquia, mini-courses, etc, that researchers in algorithmics might be interested in. Please place an
announcement here as soon as a talk is scheduled so researchers at other locations can make plans to visit on the appropriate day. The list is moderated. Algorithmics is meant to include the design and analysis of algorithms, but also to include complexity theory and cryptography.

To see the collection of prior postings to the list, visit the algoritmik archives.

Use the FIRST website!

We all have to get better at using the FIRST website as a message board to post information, articles, events, lectures, study groups and other things that you think might interest your fellow FIRST members. All registered members of FIRST are allowed, and in fact encouraged to post news on the website!

If you are unsure as to how to submit an article or an event, you can find clear How To guides here:

--> How to submit an article
--> How to submit an event

Note! Events will show up in the calendar column on the right side of the website, articles will as a general rule be displayed on the front page and in the "News" section. Ofcourse you could also submit an event, and post an article on the website with a link to that event, all depending on how much attention you feel it should have. 

If there is anything unclear in the How to's, or if you have any other questions, please write to

FIRST Travel Grants
Remember that FIRST PhD students can apply FIRST for support to participate in conferences, summer schools, etc.

If you want to apply you should contact a local board member at your institution (Lars Birkedal, Rasmus Pagh, Flemming Nielson, John Gallagher, Pawel Winter, Fritz Henglein) since the money is granted from the local budgets.

(Don't hesitate. If an institution gets more relevant applications than it can support from the local budget we may decide to grant money from the joint FIRST pool.)

It would be a help if you get your supervisor to write a short (half a page) recommendation for you explaining why the particular event is important for you.

Page 1 of 2


<<  April 2014  >>
 Mo  Tu  We  Th  Fr  Sa  Su 
   1  2  3  4  5  6
  7  8  910111213