BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//127.0.1.1//NONSGML kigkonsult.se iCalcreator 2.41.92//
CALSCALE:GREGORIAN
METHOD:PUBLISH
UID:65666161-6639-4430-b364-313066386131
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:39306530-3839-4035-b134-646638323432
DTSTAMP:20260611T031102Z
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:31343335-6462-4435-b862-376533303731
DTSTAMP:20260611T031102Z
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:63643031-3738-4365-b034-653362646338
DTSTAMP:20260611T031102Z
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:35653935-3030-4836-a236-636235626333
DTSTAMP:20260611T031102Z
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:37633639-3433-4731-b339-333731356632
DTSTAMP:20260611T031102Z
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:64343866-6561-4132-b436-666239653734
DTSTAMP:20260611T031102Z
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:65313065-3961-4362-b863-316661613063
DTSTAMP:20260611T031102Z
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:34666635-3637-4834-b431-316237616332
DTSTAMP:20260611T031102Z
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:33373830-6531-4236-b861-373337316139
DTSTAMP:20260611T031102Z
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:61343231-3561-4332-b930-613339303434
DTSTAMP:20260611T031102Z
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:30616565-6230-4232-b630-633230383863
DTSTAMP:20260611T031102Z
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