BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//127.0.1.1//NONSGML kigkonsult.se iCalcreator 2.41.92//
CALSCALE:GREGORIAN
METHOD:PUBLISH
UID:65613738-3931-4965-b565-616633643364
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:61613761-6263-4632-b936-623730373933
DTSTAMP:20260726T145440Z
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:39333237-6464-4234-a164-643962333963
DTSTAMP:20260726T145440Z
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:34633633-3062-4864-b166-396335346438
DTSTAMP:20260726T145440Z
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:65386635-6564-4630-b134-333436646262
DTSTAMP:20260726T145440Z
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:63643738-6338-4730-b130-636630346162
DTSTAMP:20260726T145440Z
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:32613932-3639-4832-a264-393263373138
DTSTAMP:20260726T145440Z
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:64663261-3934-4462-b430-653336396234
DTSTAMP:20260726T145440Z
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:36373964-3532-4933-b261-626565373864
DTSTAMP:20260726T145440Z
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:62616230-6461-4635-b866-363061636633
DTSTAMP:20260726T145440Z
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:31383962-3731-4664-b537-623965363539
DTSTAMP:20260726T145440Z
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:34636234-3739-4231-a430-383162346561
DTSTAMP:20260726T145440Z
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