BEGIN:VCALENDAR
VERSION:2.0
PRODID:ILLC Website
X-WR-TIMEZONE:Europe/Amsterdam
BEGIN:VTIMEZONE
TZID:Europe/Amsterdam
X-LIC-LOCATION:Europe/Amsterdam
BEGIN:DAYLIGHT
TZOFFSETFROM:+0100
TZOFFSETTO:+0200
TZNAME:CEST
DTSTART:19700329T020000
RRULE:FREQ=YEARLY;BYMONTH=3;BYDAY=-1SU
END:DAYLIGHT
BEGIN:STANDARD
TZOFFSETFROM:+0200
TZOFFSETTO:+0100
TZNAME:CET
DTSTART:19701025T030000
RRULE:FREQ=YEARLY;BYMONTH=10;BYDAY=-1SU
END:STANDARD
END:VTIMEZONE
BEGIN:VEVENT
UID:/NewsandEvents/Archives/2007/newsitem/1636/27-
 30-June-2007-Calculemus-2007-RISC-Institute-Castle
 -of-Hagenberg-Austria
DTSTAMP:20061207T000000
SUMMARY:Calculemus 2007, RISC Institute, Castle of
  Hagenberg, Austria
DTSTART;VALUE=DATE:20070627
DTEND;VALUE=DATE:20070630
LOCATION:RISC Institute, Castle of Hagenberg, Aust
 ria
DESCRIPTION:Calculemus is a series of conferences 
 dedicated to the integration of computer algebra s
 ystems (CAS) and automated deduction systems (ADS)
  towards the development of universal mathematical
  assistant systems (MAS).    Currently, symbolic c
 omputation is divided into several (more or less) 
 independent branches, traditional ones (e.g. compu
 ter algebra and theorem proving) as well as newly 
 emerging ones (on user interfaces, knowledge manag
 ement, theory exploration, etc.). The main concern
  of the Calculemus community is to bring these dev
 elopments together in order to facilitate the theo
 ry, design, and implementation of integrated MAS t
 hat will routinely be used by mathematicians, comp
 uter scientists, and engineers in their every-day 
 business.   For more information, see http://www.r
 isc.uni-linz.ac.at/about/conferences/Calculemus200
 7/  For the upcoming Calculemus meeting, we seek o
 riginal research papers in this context. Submissio
 n deadline is February 12, 2007.
X-ALT-DESC;FMTTYPE=text/html:<div>\n      <p>Calcu
 lemus is a series of conferences dedicated to the 
 integration of\n        computer algebra systems (
 CAS) and automated deduction systems (ADS)\n      
   towards the development of universal mathematica
 l assistant systems (MAS).\n      </p>\n      <p>\
 n      Currently, symbolic computation is divided 
 into several (more or less)\n        independent b
 ranches, traditional ones (e.g. computer algebra a
 nd theorem\n        proving) as well as newly emer
 ging ones (on user interfaces, knowledge\n        
 management, theory exploration, etc.). The main co
 ncern of the Calculemus\n        community is to b
 ring these developments together in order to facil
 itate\n        the theory, design, and implementat
 ion of integrated MAS that will\n        routinely
  be used by mathematicians, computer scientists, a
 nd engineers in\n        their every-day business.
 \n      </p>\n    \n      \n      <p>For more info
 rmation, see\n        <a target="_blank" href="htt
 p://www.risc.uni-linz.ac.at/about/conferences/Calc
 ulemus2007/">http://www.risc.uni-linz.ac.at/about/
 conferences/Calculemus2007/</a>\n      </p>\n    <
 /div><div>\n      <p>For the upcoming Calculemus m
 eeting, we seek original research papers in this\n
         context. \n        Submission deadline is 
 February 12, 2007.\n      </p>\n      </div>
URL:/NewsandEvents/Archives/2007/newsitem/1636/27-
 30-June-2007-Calculemus-2007-RISC-Institute-Castle
 -of-Hagenberg-Austria
END:VEVENT
END:VCALENDAR