Changes for page 2024 Synchronous Languages
Last modified by Maximilian Kasperowski on 2025/01/30 12:01
<
>
edited by Alexander Schulz-Rosengarten
on 2024/02/19 15:46
on 2024/02/19 15:46
edited by Jette Petzold
on 2024/02/20 11:29
on 2024/02/20 11:29
Change comment:
There is no comment for this version
Summary
-
Page properties (2 modified, 0 added, 0 removed)
Details
- Page properties
-
- Author
-
... ... @@ -1,1 +1,1 @@ 1 -XWiki. als1 +XWiki.jep - 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.1115141 +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,7 +193,7 @@ 193 193 ))) 194 194 |(% colspan="1" %)(% colspan="1" %) 195 195 ((( 196 - tbd, all day197 +Mo., 15.07, all day 197 197 )))|(% colspan="1" %)(% colspan="1" %) 198 198 ((( 199 199 Final presentations