Changes for page 2024 Synchronous Languages
Last modified by Maximilian Kasperowski on 2025/01/30 12:01
Change comment:
There is no comment for this version
Summary
-
Page properties (1 modified, 0 added, 0 removed)
Details
- Page properties
-
- Content
-
... ... @@ -69,7 +69,7 @@ 69 69 ==== **Safety Analysis / Model Checking** ==== 70 70 71 71 (% style="margin-left: 30.0px;" %) 72 -(% style="color:#333333" %)J. AxelssonandA.Kobetski, [[Towards a risk analysismethodforsystems-of-systemsbasedonsystemsthinking>>url:https://ieeexplore.ieee.org/document/8369501||shape="rect"]]. //2018Annual IEEE International Systems Conference (SysCon)//, 2018, pp. 1-8, doi: 10.1109/SYSCON.2018.8369501.72 +(% style="color:#333333" %)S. Baumgart, J. Fröberg, and S. Punnekkat, [[Analyzing hazards in system-of-systems: Described in a quarry site automation context>>https://ieeexplore.ieee.org/document/7934783||shape="rect"]]. //2017 Annual IEEE International Systems Conference (SysCon)//, 2017, pp. 1-8, doi: (%%)10.1109/SYSCON.2017.7934783(% style="color:#333333" %). 73 73 74 74 (% style="margin-left: 30.0px;" %) 75 75 **[assigned]** (% style="color:#333333" %)F. G. R. de Souza, J. de Melo Bezerra, C. M. Hirata, P. de Saqui-Sannes and L. Apvrille, [[Combining STPA with SysML Modeling>>url:https://ieeexplore.ieee.org/document/9275867||shape="rect"]]. //2020 IEEE International Systems Conference (SysCon)//, 2020, pp. 1-8, doi: 10.1109/SysCon47679.2020.9275867. ... ... @@ -146,8 +146,8 @@ 146 146 ((( 147 147 Deadline for topic selection (via email to Jette). 148 148 ))) 149 -| tbd|(((150 -(% style="color:#172b4d" %)Deadline of the first draft in [[EasyChair>> url:https://easychair.org/conferences/?conf=kielrtsyssem22ws||shape="rect"]](%%). This includes abstract, introduction, outline, notes for chapter contents and an overview list of bibliography for related work.149 +|Mo., 29.04 23:59|((( 150 +(% style="color:#172b4d" %)Deadline of the first draft in [[EasyChair>>https://easychair.org/conferences/?conf=kielrtsyssem24ss||shape="rect"]](%%). This includes abstract, introduction, outline, notes for chapter contents and an overview list of bibliography for related work. 151 151 ))) 152 152 |(% colspan="1" %)(% colspan="1" %) 153 153 ((( ... ... @@ -156,9 +156,9 @@ 156 156 ((( 157 157 Individual feedback dates. 158 158 ))) 159 -|(% colspan="1" %) tbd|(% colspan="1" %)(% colspan="1" %)159 +|(% colspan="1" %)Mo., 20.05 23:59|(% colspan="1" %)(% colspan="1" %) 160 160 ((( 161 -(% style="color:#172b4d" %)Deadline of the first full version (%%)(submission update in(% style="color:#172b4d" %) [[EasyChair>> url:https://easychair.org/conferences/?conf=kielrtsyssem22ws||shape="rect"]](%%))161 +(% style="color:#172b4d" %)Deadline of the first full version (%%)(submission update in(% style="color:#172b4d" %) [[EasyChair>>https://easychair.org/conferences/?conf=kielrtsyssem24ss||shape="rect"]](%%)) 162 162 ))) 163 163 |(% colspan="1" %)(% colspan="1" %) 164 164 ((( ... ... @@ -167,9 +167,9 @@ 167 167 ((( 168 168 (% style="color:#172b4d" %)Individual feedback dates. 169 169 ))) 170 -|(% colspan="1" %) tbd|(% colspan="1" %)(% colspan="1" %)170 +|(% colspan="1" %)Mo., 03.06 23:59|(% colspan="1" %)(% colspan="1" %) 171 171 ((( 172 -(% style="color:#172b4d" %)Deadline of the review version(%%) (submission update in(% style="color:#172b4d" %) [[EasyChair>> url:https://easychair.org/conferences/?conf=kielrtsyssem22ws||shape="rect"]](%%)) and admission to program committee (invitation via email)172 +(% style="color:#172b4d" %)Deadline of the review version(%%) (submission update in(% style="color:#172b4d" %) [[EasyChair>>https://easychair.org/conferences/?conf=kielrtsyssem24ss||shape="rect"]](%%)) and admission to program committee (invitation via email) 173 173 ))) 174 174 |(% colspan="1" %)(% colspan="1" %) 175 175 ((( ... ... @@ -178,19 +178,23 @@ 178 178 ((( 179 179 (% style="color:#172b4d" %)Review assignment(%%) (via email) 180 180 ))) 181 -|(% colspan="1" %) tbd|(% colspan="1" %)(% colspan="1" %)181 +|(% colspan="1" %)Mo., 10.06 23:59|(% colspan="1" %)(% colspan="1" %) 182 182 ((( 183 -(% style="color:#172b4d" %)Deadline reviews(%%) (in(% style="color:#172b4d" %) [[EasyChair>> url:https://easychair.org/conferences/?conf=kielrtsyssem22ws||shape="rect"]](%%))183 +(% style="color:#172b4d" %)Deadline reviews(%%) (in(% style="color:#172b4d" %) [[EasyChair>>https://easychair.org/conferences/?conf=kielrtsyssem24ss||shape="rect"]](%%)) 184 184 ))) 185 -|(% colspan="1" %)tbd|(% colspan="1" %)(% colspan="1" %) 185 +|(% colspan="1" %)((( 186 +individual dates 187 + 188 +Wed., 03.07 or Thu., 04.07 189 +)))|(% colspan="1" %)(% colspan="1" %) 186 186 ((( 187 187 (% style="color:#172b4d" %)Individual feedback dates on presentation slides(%%). 188 188 189 189 The slides need to be available online or sent to the advisor beforehand (as PDF). 190 190 ))) 191 -|(% colspan="1" %) tbd|(% colspan="1" %)(% colspan="1" %)195 +|(% colspan="1" %)Thu., 11.07 23:59|(% colspan="1" %)(% colspan="1" %) 192 192 ((( 193 -(% style="color:#172b4d" %)Deadline final version (%%)(submission update in(% style="color:#172b4d" %) [[EasyChair>> url:https://easychair.org/conferences/?conf=kielrtsyssem22ws||shape="rect"]](%%))197 +(% style="color:#172b4d" %)Deadline final version (%%)(submission update in(% style="color:#172b4d" %) [[EasyChair>>https://easychair.org/conferences/?conf=kielrtsyssem24ss||shape="rect"]](%%)) 194 194 ))) 195 195 |(% colspan="1" %)(% colspan="1" %) 196 196 ((( ... ... @@ -261,7 +261,7 @@ 261 261 262 262 === EasyChair Tutorial === 263 263 264 -You can find our seminar in EasyChair: **[[Link>> url:https://easychair.org/conferences/?conf=kielrtsyssem22ws||shape="rect"]]**268 +You can find our seminar in EasyChair: **[[Link>>https://easychair.org/conferences/?conf=kielrtsyssem24ss||shape="rect"]]** 265 265 266 266 267 267 = Resources =