Summary

• Page properties (1 modified, 0 added, 0 removed)

Details

Page properties

Content

...	...	@@ -126,6 +126,7 @@
126	126	(% style="margin-left: 30.0px;" %)
127	127	(% style="color:#333333" %)A. Gannous, A. Andrews and B. Gallina, [[Toward a Systematic and Safety Evidence Productive Verification Approach for Safety-Critical Systems>>url:https://ieeexplore.ieee.org/document/8539215||shape="rect"]]. (%%)//2018 IEEE International Symposium on Software Reliability Engineering Workshops (ISSREW)//(% style="color:#333333" %), 2018, pp. 329-336, doi: 10.1109/ISSREW.2018.00026.
128	128
	129	+
129	129	= Schedule =
130	130
131	131	== Dates in the semester ==
...	...	@@ -137,11 +137,11 @@
137	137	Milestone
138	138	)))
139	139	|(((
140		-Tue. 16.04 10:00 CAP4 R.1115
	141	+Tue., 16.04 10:00
141	141	)))|(((
142		-First Meeting/**Kick-Off **with a Latex and EasyChair introduction.
	143	+First Meeting/**Kick-Off **with a Latex and EasyChair introduction. The meeting will take place in room 11.1114/11.1115 in CAP4.
143	143	)))
144		-|(% colspan="1" %)tbd|(% colspan="1" %)(% colspan="1" %)
	145	+|(% colspan="1" %)Tue., 16.04 23:59|(% colspan="1" %)(% colspan="1" %)
145	145	(((
146	146	Deadline for topic selection (via email to Jette).
147	147	)))
...	...	@@ -193,12 +193,15 @@
193	193	)))
194	194	|(% colspan="1" %)(% colspan="1" %)
195	195	(((
196		-tbd, all day
	197	+Mo., 15.07, all day^^1^^
197	197	)))|(% colspan="1" %)(% colspan="1" %)
198	198	(((
199	199	Final presentations
200	200	)))
201	201
	203	+(% class="wikigeneratedid" %)
	204	+//^^1^^preliminary date; please contact us if there are any conflicts with exams//
	205	+
202	202	== The Final Presentations ==
203	203
204	204	The presentation of the prepared topic is held during a block seminar at **tbd**. The attendance at the seminar day is mandatory. Every attending person receives the proceedings of the current semester.