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/2015/newsitem/6817/28-
 September---1-October-2015-15th-International-Conf
 erence-on-Relational-and-Algebraic-Methods-in-Comp
 uter-Science-RAMiCS-2015-Braga-Portugal
DTSTAMP:20150326T000000
SUMMARY:15th International Conference on Relationa
 l and Algebraic Methods in Computer  Science (RAMi
 CS 2015), Braga, Portugal
DTSTART;VALUE=DATE:20150928
DTEND;VALUE=DATE:20151001
LOCATION:Braga, Portugal
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.   For more inf
 ormation, see http://ramics2015.di.uminho.pt  We i
 nvite submissions in the general area of Relationa
 l and Algebraic Methods in Computer Science. Speci
 al focus will lie on formal methods for software e
 ngineering, logics of programs and links with neig
 hbouring disciplines. Title and abstract submissio
 n deadline: April 01 2015   If you are doing a PhD
  or an MSc in the research areas of the RAMiCS con
 ference please consider submitting an extended abs
 tract of your ongoing work for presentation at the
  conference. Deadline for student-track PhD/MSc ex
 tended abstracts: July 03 2015.
X-ALT-DESC;FMTTYPE=text/html:<div>\n      <p>Since
  1994, the RelMiCS meetings on Relational Methods 
 in Computer Science\n        have been a main foru
 m for researchers who use the calculus of relation
 s\n        and similar algebraic formalisms as met
 hodological and conceptual tools.\n        The AKA
  workshop series on Applications of Kleene algebra
  started with a\n        Dagstuhl seminar in 2001 
 and was co-organised with the RelMiCS conference\n
         until 2009. Since 2011, joint RAMiCS confe
 rences continue to encompass\n        the scope of
  both RelMiCS and AKA.\n      </p>\n    \n      \n
       <p>For more information, see\n        <a tar
 get="_blank" href="http://ramics2015.di.uminho.pt"
 >http://ramics2015.di.uminho.pt</a>\n      </p>\n 
    </div><div>\n      <p>We invite submissions in 
 the general area of Relational and\n      Algebrai
 c Methods in Computer Science. Special focus will 
 lie on\n      formal methods for software engineer
 ing, logics of programs and\n      links with neig
 hbouring disciplines.  Title and abstract\n      s
 ubmission deadline: April 01 2015\n      </p>\n   
    <p>If you are doing a PhD or an MSc in the rese
 arch areas of the\n      RAMiCS conference please 
 consider submitting an extended\n      abstract of
  your ongoing work for presentation at the\n      
 conference. Deadline for student-track PhD/MSc ext
 ended\n      abstracts: July 03 2015.</p>\n      <
 /div>
URL:/NewsandEvents/Archives/2015/newsitem/6817/28-
 September---1-October-2015-15th-International-Conf
 erence-on-Relational-and-Algebraic-Methods-in-Comp
 uter-Science-RAMiCS-2015-Braga-Portugal
END:VEVENT
END:VCALENDAR