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/2014/newsitem/5315/27-
 April---1-May-2014-14th-International-Conference-o
 n-Relational-and-Algebraic-Methods-in-Computer-Sci
 ence-RaMICS-2014-Marienstatt-im-Westerwald-Germany
DTSTAMP:20131017T000000
SUMMARY:14th International Conference on Relationa
 l and Algebraic Methods in Computer Science (RaMIC
 S 2014), Marienstatt im Westerwald. Germany
DTSTART;VALUE=DATE:20140427
DTEND;VALUE=DATE:20140501
LOCATION:Marienstatt im Westerwald. Germany
DESCRIPTION:Since 1994, the RelMiCS meetings on Re
 lational Methods in Computer Science have been a m
 ain forum for researchers who use the calculus of 
 relations and similar algebraic formalisms as meth
 odological and conceptual tools. The AKA workshop 
 series on Applications of Kleene algebra started w
 ith a Dagstuhl seminar in 2001 and was co-organise
 d with the RelMiCS conference until 2009. Since 20
 11, joint RAMiCS conferences continue to encompass
  the scope of both RelMiCS and AKA.    The confere
 nce will be accompanied by a PhD training program.
  Details will be published in due time in a specia
 l call and on the conference website.   For more i
 nformation, see http://mathcs.chapman.edu/ramics20
 14   We invite submissions in the general area of 
 Relational and Algebraic Methods in Computer Scien
 ce. Special focus will lie on formal methods for s
 oftware engineering, logics of programs and links 
 with neighbouring disciplines. Deadline for title 
 and abstract submission: October 25, 2013.
X-ALT-DESC;FMTTYPE=text/html:<div>\n      <p>\n   
      Since 1994, the RelMiCS meetings on Relationa
 l Methods in\n        Computer Science have been a
  main forum for researchers who\n        use the c
 alculus of relations and similar algebraic formali
 sms\n        as methodological and conceptual tool
 s.  The AKA workshop\n        series on Applicatio
 ns of Kleene algebra started with a\n        Dagst
 uhl seminar in 2001 and was co-organised with the 
 RelMiCS\n        conference until 2009. Since 2011
 , joint RAMiCS conferences\n        continue to en
 compass the scope of both RelMiCS and AKA.\n      
 </p>\n      <p>\n        The conference will be ac
 companied by a PhD training\n        program. Deta
 ils will be published in due time in a special\n  
       call and on the conference website.\n      <
 /p>\n    \n      \n      <p>For more information, 
 see\n        <a target="_blank" href="http://mathc
 s.chapman.edu/ramics2014">http://mathcs.chapman.ed
 u/ramics2014</a>\n      </p>\n    </div><div>\n   
    <p>\n        We invite submissions in the gener
 al area of Relational and\n        Algebraic Metho
 ds in Computer Science. Special focus will lie\n  
       on formal methods for software engineering, 
 logics of programs\n        and links with neighbo
 uring disciplines. Deadline for title\n        and
  abstract submission: October 25, 2013.</p>\n     
  </div>
URL:/NewsandEvents/Archives/2014/newsitem/5315/27-
 April---1-May-2014-14th-International-Conference-o
 n-Relational-and-Algebraic-Methods-in-Computer-Sci
 ence-RaMICS-2014-Marienstatt-im-Westerwald-Germany
END:VEVENT
END:VCALENDAR