BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//127.0.1.1//NONSGML kigkonsult.se iCalcreator 2.41.92//
CALSCALE:GREGORIAN
METHOD:PUBLISH
UID:31386166-3938-4463-b664-383636353263
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:66383265-3036-4435-b564-346139303231
DTSTAMP:20260905T074959Z
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:Isla23: Seminar Meeting 1
END:VEVENT
BEGIN:VEVENT
UID:39636636-3534-4361-a137-663961333739
DTSTAMP:20260905T074959Z
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:Isla23: Seminar Meeting 2
END:VEVENT
BEGIN:VEVENT
UID:34343362-6136-4031-b734-646237396236
DTSTAMP:20260905T074959Z
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:Isla23: Seminar Meeting 3
END:VEVENT
BEGIN:VEVENT
UID:63323239-3630-4833-b834-346331616635
DTSTAMP:20260905T074959Z
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:Isla23: Seminar Meeting 4
END:VEVENT
BEGIN:VEVENT
UID:65326131-3634-4938-a239-393336313364
DTSTAMP:20260905T074959Z
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:Isla23: Seminar Meeting 5
END:VEVENT
BEGIN:VEVENT
UID:33313937-3562-4538-b463-633063306562
DTSTAMP:20260905T074959Z
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:Isla23: Seminar Meeting 6
END:VEVENT
BEGIN:VEVENT
UID:31613766-3464-4932-a464-643237303234
DTSTAMP:20260905T074959Z
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:Isla23: Seminar Meeting 7
END:VEVENT
BEGIN:VEVENT
UID:66323664-6365-4338-b165-666437613134
DTSTAMP:20260905T074959Z
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:Isla23: Seminar Meeting 8
END:VEVENT
BEGIN:VEVENT
UID:61313937-6261-4766-b236-653762376539
DTSTAMP:20260905T074959Z
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:Isla23: Seminar Meeting 9
END:VEVENT
BEGIN:VEVENT
UID:34326661-3063-4062-a237-343030326234
DTSTAMP:20260905T074959Z
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:Isla23: Seminar Meeting 10
END:VEVENT
BEGIN:VEVENT
UID:65363765-6530-4334-a233-386535656261
DTSTAMP:20260905T074959Z
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:Isla23: Seminar Meeting 11
END:VEVENT
END:VCALENDAR