BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//127.0.1.1//NONSGML kigkonsult.se iCalcreator 2.41.92//
CALSCALE:GREGORIAN
METHOD:PUBLISH
UID:63383064-3033-4232-b636-313564373964
X-WR-CALNAME:Specification-Based Testing and Debugging Calendar
X-WR-CALDESC:Events of the lecture Specification-Based Testing and Debuggin
 g
X-WR-TIMEZONE:Europe/Berlin
BEGIN:VEVENT
UID:61653532-6165-4333-b566-623738636566
DTSTAMP:20260726T145656Z
DESCRIPTION:Talk: Research Talks (Andreas)\nAbstract Start: Grammar-Based T
 esting 1 & 2\nLab Start: Warm-Up
DTSTART:20230424T100000Z
DTEND:20230424T110000Z
LOCATION:https://cispa-de.zoom.us/j/67047831585?pwd=TklENGVVbUw3bGhHRytNMHB
 3c2dqUT09
SUMMARY:Seminar Meeting 1
END:VEVENT
BEGIN:VEVENT
UID:39623631-3661-4133-b438-333363376536
DTSTAMP:20260726T145656Z
DESCRIPTION:Talk: Grammar-Based Testing 1 (Purdom: Tim) & 2 (Havrikov et al
 .: Sasha\, Stanimir)\nAbstract Due: Grammar-Based Testing 1 & 2\nLab Due: 
 Warm-Up\n\nAbstract Start: Testing with Constraints\nLab Start: Grammar-Ba
 sed Testing
DTSTART:20230508T100000Z
DTEND:20230508T110000Z
LOCATION:https://cispa-de.zoom.us/j/67047831585?pwd=TklENGVVbUw3bGhHRytNMHB
 3c2dqUT09
SUMMARY:Seminar Meeting 2
END:VEVENT
BEGIN:VEVENT
UID:35356264-3233-4365-a635-616564613937
DTSTAMP:20260726T145656Z
DESCRIPTION:Talk: Testing with Constraints\nAbstract Due: Testing with Cons
 traints\nLab Due: Grammar-Based Testing\n\nAbstract Start: Testing Compile
 rs\nLab Start: Testing with Constraints
DTSTART:20230515T100000Z
DTEND:20230515T110000Z
LOCATION:https://cispa-de.zoom.us/j/67047831585?pwd=TklENGVVbUw3bGhHRytNMHB
 3c2dqUT09
SUMMARY:Seminar Meeting 3
END:VEVENT
BEGIN:VEVENT
UID:32353834-6439-4463-b732-353862356639
DTSTAMP:20260726T145656Z
DESCRIPTION:Talk: Testing Compilers\nAbstract Due: Testing Compilers\nLab D
 ue: Testing with Constraints\n\nAbstract Start: Testing with Mutations\nLa
 b Start: Testing Compilers
DTSTART:20230522T100000Z
DTEND:20230522T110000Z
LOCATION:https://cispa-de.zoom.us/j/67047831585?pwd=TklENGVVbUw3bGhHRytNMHB
 3c2dqUT09
SUMMARY:Seminar Meeting 4
END:VEVENT
BEGIN:VEVENT
UID:37616262-3136-4534-b034-626239623838
DTSTAMP:20260726T145656Z
DESCRIPTION:Talk: Testing with Mutations\nAbstract Due: Testing with Mutati
 ons\nLab Due: Testing Compilers\n\nAbstract Start: Evolutionary Fuzzing\nL
 ab Start: Testing with Mutations
DTSTART:20230605T100000Z
DTEND:20230605T110000Z
LOCATION:https://cispa-de.zoom.us/j/67047831585?pwd=TklENGVVbUw3bGhHRytNMHB
 3c2dqUT09
SUMMARY:Seminar Meeting 5
END:VEVENT
BEGIN:VEVENT
UID:39346363-3833-4736-a261-633032326166
DTSTAMP:20260726T145656Z
DESCRIPTION:Talk: Evolutionary Fuzzing\nAbstract Due: Evolutionary Fuzzing
 \nLab Due: Testing with Mutations\n\nAbstract Start: Property Testing\nLab
  Start: Evolutionary Fuzzing
DTSTART:20230612T100000Z
DTEND:20230612T110000Z
LOCATION:https://cispa-de.zoom.us/j/67047831585?pwd=TklENGVVbUw3bGhHRytNMHB
 3c2dqUT09
SUMMARY:Seminar Meeting 6
END:VEVENT
BEGIN:VEVENT
UID:62376163-6662-4336-a564-303834376534
DTSTAMP:20260726T145656Z
DESCRIPTION:Talk: Property Testing\nAbstract Due: Property Testing\nLab Due
 : Evolutionary Fuzzing\n\nAbstract Start: Protocol Testing\nLab Start: Pro
 perty Testing
DTSTART:20230619T100000Z
DTEND:20230619T110000Z
LOCATION:https://cispa-de.zoom.us/j/67047831585?pwd=TklENGVVbUw3bGhHRytNMHB
 3c2dqUT09
SUMMARY:Seminar Meeting 7
END:VEVENT
BEGIN:VEVENT
UID:35353239-3439-4164-a231-633939666438
DTSTAMP:20260726T145656Z
DESCRIPTION:Talk: Protocol Testing\nAbstract Due: Protocol Testing\nLab Due
 : Property Testing\n\nAbstract Start: Metamorphic Testing\nLab Start: Prot
 ocol Testing
DTSTART:20230626T100000Z
DTEND:20230626T110000Z
LOCATION:https://cispa-de.zoom.us/j/67047831585?pwd=TklENGVVbUw3bGhHRytNMHB
 3c2dqUT09
SUMMARY:Seminar Meeting 8
END:VEVENT
BEGIN:VEVENT
UID:37643039-3137-4831-b963-386637383564
DTSTAMP:20260726T145656Z
DESCRIPTION:Talk: Metamorphic Testing\nAbstract Due: Metamorphic Testing\nL
 ab Due: Protocol Testing\n\nAbstract Start: Reducing Inputs\nLab Start: Me
 tamorphic Testing
DTSTART:20230703T100000Z
DTEND:20230703T110000Z
LOCATION:https://cispa-de.zoom.us/j/67047831585?pwd=TklENGVVbUw3bGhHRytNMHB
 3c2dqUT09
SUMMARY:Seminar Meeting 9
END:VEVENT
BEGIN:VEVENT
UID:36396438-6236-4761-b431-643231336336
DTSTAMP:20260726T145656Z
DESCRIPTION:Talk: Reducing Inputs\nAbstract Due: Reducing Inputs\nLab Due: 
 Metamorphic Testing\n\nAbstract Start: Explaining Failures\nLab Start: Red
 ucing Inputs
DTSTART:20230710T100000Z
DTEND:20230710T110000Z
LOCATION:https://cispa-de.zoom.us/j/67047831585?pwd=TklENGVVbUw3bGhHRytNMHB
 3c2dqUT09
SUMMARY:Seminar Meeting 10
END:VEVENT
BEGIN:VEVENT
UID:33313962-6239-4530-b533-623861333134
DTSTAMP:20260726T145656Z
DESCRIPTION:Talk: Explaining Failures\nAbstract Due: Explaining Failures\nL
 ab Due: Reducing Inputs\n\nLab Start: Explaining Failures
DTSTART:20230717T100000Z
DTEND:20230717T110000Z
LOCATION:https://cispa-de.zoom.us/j/67047831585?pwd=TklENGVVbUw3bGhHRytNMHB
 3c2dqUT09
SUMMARY:Seminar Meeting 11
END:VEVENT
END:VCALENDAR