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:
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
\n \n \nFor more information, see\n http://ramics2015.di.uminho.pt\n
We invite submissions in the ge neral area of Relational and\n Algebraic Meth ods in Computer Science. Special focus will lie on \n formal methods for software engineering, l ogics of programs and\n links with neighbouri ng disciplines. Title and abstract\n submiss ion deadline: April 01 2015\n
\nIf you are doing a PhD or an MSc in the research a reas of the\n RAMiCS conference please consid er submitting an extended\n abstract of your ongoing work for presentation at the\n confer ence. Deadline for student-track PhD/MSc extended\ n abstracts: July 03 2015.
\n