Home Organization Program Participants Pictures Satellites Travel Info

Program of Calculemus 2007 and Related Events

The invited talks of Calculemus and MKM are scheduled as joint sessions in order to give participants of the conferences the chance to attend all invited lectures. The main Calculemus 2007 conference starts with lunch on Wednesday, June 27, and ends with the business meeting after lunch on Friday, June 29. The main MKM 2007 conference starts with the Calculemus invited talk Thursday morning, June 28, and ends Saturday afternoon, June 30.

The rough schedule of Calculemus & MKM and their satellite workshops is shown in the table below. The color codes are:

Calculemus main conferenceMKM main conference Calculemus satellite event MKM satellite event Social event

Sat 23rd Sun 24th Mon 25th Tue 26th Wed 27th Thu 28th Fri 29th Sat 30th



Room Room Room Room Room Room Room Room



Sem Sem I II I II I II I II I II I II
08:30 - 09:00 Registration Registration Registration Registration Registration Registration Registration Registration
09:00 - 09:30 W3C face2face W3C face2face OpenMath MathML JEM
OpenMath MathML JEM WING Invited talk: R. Hähnle
MathUI Invited Talk: P. Paule Invited Talk: T. Hales Talk 15-16 PLMMS
09:30 - 10:00

10:00 - 10:30 Coffee Coffee Coffee Coffee Coffee Coffee Coffee Coffee
10:30 - 11:00 W3C face2face W3C face2face OpenMath MathML JEM
OpenMath MathML JEM WING Talk 3-5
MathUI Talk 1-3 Talk 6-8 Talk 7-9 Talk 12-13 Talk 17 PLMMS
11:00 - 11:30 WING registration
Business M.
11:30 - 12:00




Lunch Lunch Lunch Lunch Lunch Lunch Lunch Lunch
13:30 - 14:00 W3C face2face W3C face2face OpenMath MathML JEM WING Invited talk: D. Kapur OpenMath MathML JEM WING Invited talk: A. Voronkov Invited Talk: J. Harrison MathUI Invited Talk: N. Sloane Invited Talk: P. Murray Rust Talk 18-19 PLMMS
14:00 - 14:30
14:30 - 15:00 Coffee Coffee Coffee Coffee Coffee Coffee Coffee
15:00 - 15:30 W3C face2face W3C face2face OpenMath MathML JEM WING Talk 1-2 OpenMath MathML JEM WING Talk 6-8 Talk 1-3 MathUI Talk 4-6 Talk 9-11 Work in Progress Talk 10-12 Business M. Talk 20-22 PLMMS
15:30 - 16:00
16:00 - 16:30

16:45 - 17:15 W3C face2face W3C face2face OpenMath MathML JEM
OpenMath MathML JEM Conclusion Talk 4-5 MathUI Panel Discussion Talk 13-14 PLMMS Talk 23
17:15 - 17:45
17:45 - 18:15







Life after Five in Hagenberg

18:30 - 19:00



Soccer





19:00 - 19:30


WING Workshop Dinner (in Linz) Jazz & Dine (Philipp Nykrin Trio Live)

Wine & Dine (Tasting of Austrian Wines)

19:30 - 20:00






20:00 - 20:30


Banquet (in Linz)

20:30 - 21:00




21:00 -





See the list below for titles and speakers corresponding to indices of Calculemus talks.

Social Program

The workshop dinner and the conference banquet will be in Linz with shuttle transportation for people accomodated in Hagenberg. All other social events in the schedule will be in Hagenberg. We plan to have a soccer match (for fun, non-competitive!) for all RISC summer participants on Tuesday, a live Jazz concert on Wednesday, and live music and a wine tasting on Friday.
Soccer on Tuesday, June 26:
We organize a fun-soccer match for all participants of RISC summer and members of RISC. Showers are available after the game. There will be a grill party near the soccer field and drinks will be available, too. However, the conference fee does not cover these, so everyone just pays what they consume.
Jazz concert on Wednesday, June 27:
We organize a (professional) Jazz concert in the Hagenberg Castle on Wednesday evening. Entrance to the concert is covered by the conference fee. Drinks and dinner are available at the concert. However, the conference fee does not cover these, so everyone just pays what they consume. [Pictures]
Conference Dinner on Thursday, June 28:
Conference dinner will be on Thursday evening in Linz. We will provide shuttle service for all participants accomodated in Hagenberg. The banquet is fully covered for registered participants of Calculemus and MKM. Additional tickets for accompanying persons or workshop-only participants can be purchased upon registration (provided there are still seats left). [Pictures]

Concert and Wine Tasting on Friday, June 29:
There will be music and entertainment Friday afternoon and evening. "Life after Five in Hagenberg" is free for everyone, see more details here. In addition to that, or alternatively, there will be a wine tasting of (top-quality) Austrian white and red wines at 7pm in the cellar of the castle. There is a limited number of 30 paricipants possible only and it costs 20 Euro (including all wines and buffet). Registration for the tasting and payment will be organized at the registration desk. [Pictures]

Schedule

Wednesday, June 27th

Thursday, June 28th

Friday, June 29th