BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//127.0.1.1//NONSGML kigkonsult.se iCalcreator 2.41.92//
CALSCALE:GREGORIAN
METHOD:PUBLISH
UID:64636630-3030-4364-a137-316438623135
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:32613633-3631-4537-b434-616232326163
DTSTAMP:20260611T041353Z
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:31353466-6636-4331-b338-373231613735
DTSTAMP:20260611T041353Z
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:66333361-3939-4265-a333-633939616365
DTSTAMP:20260611T041353Z
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:65383038-3633-4666-b338-346631313962
DTSTAMP:20260611T041353Z
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:37323739-3132-4161-a636-363135326639
DTSTAMP:20260611T041353Z
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:61373036-3433-4336-a137-383030363166
DTSTAMP:20260611T041353Z
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:62633362-6563-4333-b638-393530646535
DTSTAMP:20260611T041353Z
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:62306634-6238-4535-b035-643435363362
DTSTAMP:20260611T041353Z
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:37323764-3139-4431-a531-653061633162
DTSTAMP:20260611T041353Z
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:63643639-3138-4230-b938-623030326161
DTSTAMP:20260611T041353Z
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:66383835-3438-4537-a137-333037396265
DTSTAMP:20260611T041353Z
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