Results for sfb_www.htm

453 results found.

Invited Talk: Cooperative Software Verification

Fachbereich Informatik und Informationswissenschaft: Vortrag

19. Juli 2018

16:00–17:30 Uhr

PZ 901

validation [3]. References: [1] https://www.sosy-lab.org/research/pub/2018-ICSE.Reducer-Based_Construction_of_Conditional_Verifiers.pdf [2] https://www.sosy-lab.org/research/pub/2016-FSE.Correc [...] Correctness_Witnesses_Exchanging_Verification_Results_between_Verifiers.pdf [3] https://www.sosy-lab.org/research/pub/2018-TAP.Tests_from_Witnesses_Execution-Based_Validation_of_Verification_Results.pdf …

https://www.informatik.uni-konstanz.de/en/department/events/events-detail/event/30781-Invited-Talk-Cooperative/tx_cal_phpicalendar/
En

Invited Talk: Cooperative Software Verification

: Vortrag

19. Juli 2018

16:00–17:30 Uhr

PZ 901

validation [3]. References: [1] https://www.sosy-lab.org/research/pub/2018-ICSE.Reducer-Based_Construction_of_Conditional_Verifiers.pdf [2] https://www.sosy-lab.org/research/pub/2016-FSE.Correc [...] Correctness_Witnesses_Exchanging_Verification_Results_between_Verifiers.pdf [3] https://www.sosy-lab.org/research/pub/2018-TAP.Tests_from_Witnesses_Execution-Based_Validation_of_Verification_Results.pdf …

https://www.uni-konstanz.de/en/university/news-and-media/public-events/events/event-details/event/30783-Invited-Talk-Cooperative/tx_cal_phpicalendar/
En

CAMPUSFESTIVAL

: Festveranstaltung

13. Juni 2015

10:00–21:45 Uhr

Parkplatz Nord der Universität Konstanz

unserer Website http://campusfestival-kn.de/ oder auf Facebook - https://www.facebook.com/CampusFestival.KN - https://www.facebook.com/events/460809880743513/ …

https://www.uni-konstanz.de/en/university/news-and-media/public-events/events/event-details/event/15252-CAMPUSFESTIVAL-/tx_cal_phpicalendar/
En

Deutsche Hochschulmeisterschaften Handball Mixed

:

02. November 2012

09:00–16:00 Uhr

Universitätssporthalle

endlich einen Deutschen Hochschulmeister küren. Weitere Informationen dazu folgen unter www.adh.de bzw. www.dhm-konstanz.de …

https://www.uni-konstanz.de/en/university/news-and-media/public-events/events/event-details/event/13908-Deutsche-Hochschulmeiste/tx_cal_phpicalendar/
En

Jazz unter Palmen

: Sonstiges

29. Juni 2012

18:00–20:00 Uhr

Palmenhaus Insel Mainau, 78465 Insel Mainau

18.00 Uhr Beginn: 20.00 Uhr Eintritt: 18,00 € Schüler/Studenten: 10,00 € Vorverkauf: www.mainau.de www.destille-konstanz.de …

https://www.uni-konstanz.de/en/university/news-and-media/public-events/events/event-details/event/16997-Jazz-unter-Palmen/tx_cal_phpicalendar/
En

Jazz unter Palmen

: Sonstiges

07. September 2012

18:00–20:00 Uhr

Palmenhaus, Insel Mainau

00 Uhr Beginn: 20.00 Uhr Eintritt: 18,00 € Schüler / Studenten: 10,00 € Vorverkauf: www.mainau.de www.destille-konstanz.de …

https://www.uni-konstanz.de/en/university/news-and-media/public-events/events/event-details/event/16999-Jazz-unter-Palmen/tx_cal_phpicalendar/
En

Jazz unter Palmen

: Sonstiges

17. August 2012

18:00–20:00 Uhr

Palmenhaus, Insel Mainau

18.00 Uhr Beginn: 20.00 Uhr Eintritt: 18,00 € Schüler/Studenten: 10,00 € Vorverkauf: www.mainau.de www.destille-konstanz.de …

https://www.uni-konstanz.de/en/university/news-and-media/public-events/events/event-details/event/16998-Jazz-unter-Palmen/tx_cal_phpicalendar/
En

Kontaktpunkt. Die Karrieremesse am See

: Sonstiges

16. November 2012

10:00–15:00 Uhr

Konzil Konstanz

kein Kostenbeitrag Anmeldung: keine Anmeldung erforderlich Aktuelles: www.kontaktpunkt-see.de und http://www.career-service.uni-konstanz.de/ [...] teilnehmenden Unternehmen und den offenen Ausschreibungen sowie zum Rahmenprogramm finden Sie unter www.kontaktpunkt-see.de. Im Vorfeld der Messe findet eine „Warm-up-Week“ auf dem Campus der Universität [...] bitte beachten Sie hierzu die aktuellen Hinweise auf der Homepage des Career Service unter http://www.career-service.uni-konstanz.de/. Termin: Freitag, 16. November 2012, 11-16 Uhr Raum: …

https://www.uni-konstanz.de/en/university/news-and-media/public-events/events/event-details/event/13944-Kontaktpunkt-Die-Karrier/tx_cal_phpicalendar/
En

MYCE-Talk: Future Jobs: Woanders alles besser?

: Sonstiges

03. Dezember 2013

16:00–19:00 Uhr

Universität Konstanz

des Abends: „Future Jobs: Woanders alles besser?“ Der MYCE-Talk bringt Vorbilder an Hochschulen. (www.myce-talk.de) Wir bieten: Ein gutes Thema, interessante Referenten, einen praxisbezogenen Vor-Vortrag [...] persönlich mit den Referenten sprechen zu können. Make Your Career Effective! Alles weitere unter www.myce-talk.de …

https://www.uni-konstanz.de/en/university/news-and-media/public-events/events/event-details/event/14438-MYCE-Talk-Future-Jobs-Wo/tx_cal_phpicalendar/
En

Das Mentoringprogramm Konstanz und das MINT-Mentoring stellen sich vor

: Vortrag

07. November 2012

15:00–17:00 Uhr

G 300

erforderlich Veranstalter: Mentoringprogramm Konstanz, MINT-Mentoring http://www.mint-mentoring.uni-konstanz.de http://www.mentoringprogramm-konstanz.de/m/ …

https://www.uni-konstanz.de/en/university/news-and-media/public-events/events/event-details/event/13956-Das-Mentoringprogramm-Ko/tx_cal_phpicalendar/
En