BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//Software Center - ECPv6.16.2//NONSGML v1.0//EN
CALSCALE:GREGORIAN
METHOD:PUBLISH
X-ORIGINAL-URL:https://www.software-center.se
X-WR-CALDESC:Events for Software Center
REFRESH-INTERVAL;VALUE=DURATION:PT1H
X-Robots-Tag:noindex
X-PUBLISHED-TTL:PT1H
BEGIN:VTIMEZONE
TZID:Europe/Stockholm
BEGIN:DAYLIGHT
TZOFFSETFROM:+0100
TZOFFSETTO:+0200
TZNAME:CEST
DTSTART:20240331T010000
END:DAYLIGHT
BEGIN:STANDARD
TZOFFSETFROM:+0200
TZOFFSETTO:+0100
TZNAME:CET
DTSTART:20241027T010000
END:STANDARD
BEGIN:DAYLIGHT
TZOFFSETFROM:+0100
TZOFFSETTO:+0200
TZNAME:CEST
DTSTART:20250330T010000
END:DAYLIGHT
BEGIN:STANDARD
TZOFFSETFROM:+0200
TZOFFSETTO:+0100
TZNAME:CET
DTSTART:20251026T010000
END:STANDARD
BEGIN:DAYLIGHT
TZOFFSETFROM:+0100
TZOFFSETTO:+0200
TZNAME:CEST
DTSTART:20260329T010000
END:DAYLIGHT
BEGIN:STANDARD
TZOFFSETFROM:+0200
TZOFFSETTO:+0100
TZNAME:CET
DTSTART:20261025T010000
END:STANDARD
END:VTIMEZONE
BEGIN:VEVENT
DTSTART;VALUE=DATE:20250407
DTEND;VALUE=DATE:20250409
DTSTAMP:20260524T064439
CREATED:20240910T164342Z
LAST-MODIFIED:20240910T164832Z
UID:7035-1743984000-1744156799@www.software-center.se
SUMMARY:Fundamentals of Software Engineering 2025 - Theory and Practice (FSEN '25)
DESCRIPTION:Fundamentals of Software Engineering (FSEN) is an international conference that aims to bring together researchers\, engineers\, developers\, and practitioners from academia and industry to present and discuss their research work in the area of formal methods for software engineering. Additionally\, this conference seeks to facilitate the transfer of experience\, adaptation of methods\, and where possible\, foster collaboration among different groups. The topics of interest cover all aspects of formal methods\, especially those related to advancing the application of formal methods in the software industry and promoting their integration with practical engineering techniques. Following the success of the previous FSEN editions\, the next edition of the FSEN conference will take place in Västerås\, Sweden\, April 7-8\, 2025. \n\nAbstract Submission: October 7\, 2024 (AoE)\nPaper Submission: October 14\, 2024 (AoE)\nNotification: December 2\, 2024\nFinal Camera-ready Submission: January 13\, 2025 (AoE)\nConference: April 7-8\, 2025\n\nThe topics of this conference include\, but are not restricted to\, the following: \n\nModels of programs and software systems\nSoftware specification\, validation\, and verification\nSoftware testing\nSoftware architectures and their description languages\nObject\, actor and multi-agent systems\nCoordination\, feature interaction and software product lines\nIntegration of formal and informal methods\nIntegration of different formal methods\nComponent-based and service-oriented software systems\nCollective\, self-adaptive and cyber-physical software systems\nModel checking and theorem proving\nQuantitative formal methods\nSoftware and hardware verification\nCASE tools and tool integration\nIndustrial applications
URL:https://www.software-center.se/event/fsen-25/
LOCATION:Mälardalen University\, Västerås\, Universitetsplan 1\, Västerås\, Västerås\, Sweden
CATEGORIES:Conference
ORGANIZER;CN="Marjan Sirjani":MAILTO:marjan.sirjani@mdh.se
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=Europe/Stockholm:20250407T090000
DTEND;TZID=Europe/Stockholm:20250407T093000
DTSTAMP:20260524T064439
CREATED:20250108T143924Z
LAST-MODIFIED:20250108T143924Z
UID:7879-1744016400-1744018200@www.software-center.se
SUMMARY:Coordination team meeting
DESCRIPTION:
URL:https://www.software-center.se/event/coordination-team-meeting-86/
LOCATION:Virtual meeting\, Sweden
CATEGORIES:Meeting
ORGANIZER;CN="Jan Bosch":MAILTO:jan.bosch@chalmers.se
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=Europe/Stockholm:20250407T093000
DTEND;TZID=Europe/Stockholm:20250407T120000
DTSTAMP:20260524T064439
CREATED:20250108T143747Z
LAST-MODIFIED:20250108T143747Z
UID:7877-1744018200-1744027200@www.software-center.se
SUMMARY:Mid-sprint steering committee meeting
DESCRIPTION:
URL:https://www.software-center.se/event/mid-sprint-steering-committee-meeting-14/
LOCATION:Virtual meeting\, Sweden
CATEGORIES:Meeting
ORGANIZER;CN="Jan Bosch":MAILTO:jan.bosch@chalmers.se
END:VEVENT
END:VCALENDAR