Last modified by Niklas Rentz on 2025/02/06 08:14
<
From version < 83.1 >
edited by Alexander Schulz-Rosengarten
on 2024/06/24 11:15
To version < 82.2 >
edited by Alexander Schulz-Rosengarten
on 2024/06/24 10:21
>
Change comment: Update document after refactoring.

Summary

Details

Page properties
Content
... ... @@ -7,19 +7,20 @@
7 7  (% style="text-align: left;" %)
8 8  == Prerequisites ==
9 9  
10 -For the participation of this seminar the attendance of the "Embedded Real-Time Systems" lecture is not specifically required. However, specific lecture topics required for the paper should be reworked.
10 +This seminar is built upon the contents of the "Synchronous Languages" lecture. All participants that did not yet attend this lecture are recommended to read the following introduction paper, at least parts I and II:
11 11  
12 -Moreover, we recommend the attendance of the lecture "**Scientific Working for Seminars and Thesis**" (Wissenschaftliches Arbeiten für Seminar und Abschlussarbeiten) held by Prof. Peters.
12 +Benveniste, A.; Caspi, P.; Edwards, S.A.; Halbwachs, N.; Le Guernic, P.; de Simone, R., "The synchronous languages 12 years later," //Proceedings of the IEEE// , vol.91, no.1, pp.64,83, Jan 2003 ([[pdf>>url:http://www.cs.columbia.edu/%7Esedwards/papers/benveniste2003synchronous.pdf||shape="rect" class="MIME-application MIME--pdf external-link"]]).
13 13  
14 -Finally, there is the infamous "Vortragsvortrag" by Christoph Daniel Schulze. Sadly, he is not at RTSYS anymore to give that talk in person. However, he kindly started to prepare this [[sequence of videos>>url:https://www.youtube.com/playlist?list=PLjRqbgPHrKwC3uUQBRzKtnRH1vrNY9ehK]] that should get the gist across as well.
15 15  
16 16  (% style="text-align: left;" %)
16 +Moreover, we recommend the attendance of the lecture "**Scientific Working for Seminars and Thesis**" (Wissenschaftliches Arbeiten für Seminar und Abschlussarbeiten) held by Prof. Peters.
17 +
18 +(% style="text-align: left;" %)
17 17  == Lecturers ==
18 18  
19 19  (% class="bodytext" style="text-align: left;" %)
20 -Reinhard von Hanxleden ([[rvh@informatik.uni-kiel.de>>mailto:rvh@informatik.uni-kiel.de||shape="rect"]])
21 -Niklas Rentz ([[nre@informatik.uni-kiel.de>>mailto:nre@informatik.uni-kiel.de]])
22 -Malte Clement ([[mac@informatik.uni-kiel.de>>mailto:mac@informatik.uni-kiel.de||shape="rect"]])
22 +Reinhard von Hanxleden ([[rvh@informatik.uni-kiel.de>>mailto:rvh@informatik.uni-kiel.de||shape="rect"]]) 
23 +Jette Petzold ([[jep@informatik.uni-kiel.de>>mailto:jep@informatik.uni-kiel.de||shape="rect"]])
23 23  Alexander Schulz-Rosengarten ([[als@informatik.uni-kiel.de>>mailto:als@informatik.uni-kiel.de||shape="rect"]])
24 24  
25 25  (% style="text-align: left;" %)
... ... @@ -29,7 +29,7 @@
29 29  You may choose from one of the following papers. The scope, complexity and required knowledge for these papers roughly divides them into topics for bachelor students and for master students. However, bachelor students that take great interest in a master students topic may also choose from those.  
30 30  
31 31  (% class="bodytext" style="text-align: left;" %)
32 -The papers are assigned via //first-come-first-serve//. Already taken papers are marked. Please send an email to Niklas ([[nre@informatik.uni-kiel.de>>mailto:nre@informatik.uni-kiel.de]]) in order to reserve a paper.
33 +The papers are assigned via //first-come-first-serve//. Already taken papers are marked. Please send an email to Jette ([[jep@informatik.uni-kiel.de>>mailto:jep@informatik.uni-kiel.de||shape="rect"]]) in order to reserve a paper.
33 33  
34 34  (% class="bodytext" style="text-align: left;" %)
35 35  Many of the links do only work in the university network. Through the usage of a [[VPN>>url:https://www.rz.uni-kiel.de/de/angebote/vpn||shape="rect"]] or a remote session to the [[terminal server>>url:https://www.inf.uni-kiel.de/de/service/technik-service/dienste||shape="rect"]], those are also accessible from home. If any problems occur feel free to contact us.
... ... @@ -37,71 +37,95 @@
37 37  === Bachelor Recommendations ===
38 38  
39 39  (% style="margin-left: 30.0px;" %)
40 -==== **Embedded and Real-Time** ====
41 +==== **Synchronous** ====
41 41  
42 42  (% style="margin-left: 30.0px;" %)
43 -Juha-Pekka Tolvanen and Steven Kelly. 2018. [[Effort Used to Create Domain-Specific Modeling Languages>>url:https://dl.acm.org/citation.cfm?doid=3239372.3239410]]. In //Proceedings of the 21th ACM/IEEE International Conference on Model Driven Engineering Languages and Systems// (MODELS '18). ACM, New York, NY, USA, 235-244.
44 +(% style="color:#333333" %)S. A. Edwards and J. Hui, [[The Sparse Synchronous Model>>url:https://ieeexplore.ieee.org/document/9232938||shape="rect"]], //2020 Forum for Specification and Design Languages (FDL)//, 2020, pp. 1-8, doi: 10.1109/FDL50818.2020.9232938.
44 44  
45 45  (% style="margin-left: 30.0px;" %)
46 -Mladen Skelin and Marc Geilen. [[Compositionality in scenario-aware dataflow: a rendezvous perspective>>url:https://dl.acm.org/doi/10.1145/3211332.3211339]]. In //Proceedings of the 19th ACM SIGPLAN/SIGBED International Conference on Languages, Compilers, and Tools for Embedded Systems// (//LCTES 2018//). Association for Computing Machinery, New York, NY, USA, 2018
47 +(% style="color:#333333" %)J. Deantoni, J. Cambeiro, S. Bateni, S. Lin and M. Lohstroh, [[Debugging and Verification Tools for Lingua Franca in Gemoc Studio>>url:https://ieeexplore.ieee.org/document/9568383||shape="rect"]], //2021 Forum on specification & Design Languages (FDL)//, 2021, pp. 01-08, doi: 10.1109/FDL53530.2021.9568383.
47 47  
48 48  (% style="margin-left: 30.0px;" %)
49 -N. A. Carreón, A. Gilbreath and R. Lysecky, [[Statistical Time-based Intrusion Detection in Embedded Systems>>url:https://ieeexplore.ieee.org/abstract/document/9116369]], //2020 Design, Automation & Test in Europe Conference & Exhibition (DATE)//, Grenoble, France, 2020, pp. 562-567, doi: 10.23919/DATE48585.2020.9116369.
50 +(% style="color:#003366" %)Juha-Pekka Tolvanen and Steven Kelly. 2018. [[Effort Used to Create Domain-Specific Modeling Languages>>url:https://dl.acm.org/citation.cfm?doid=3239372.3239410||shape="rect"]]. In //Proceedings of the 21th ACM/IEEE International Conference on Model Driven Engineering Languages and Systems// (MODELS '18). ACM, New York, NY, USA, 235-244.
50 50  
51 51  (% style="margin-left: 30.0px;" %)
52 -==== **Railway** ====
53 +(% style="color:#333333" %)M. Lohstroh, C. Menard, A. Schulz-Rosengarten, M. Weber, J. Castrillon and E. A. Lee, [[A Language for Deterministic Coordination Across Multiple Timelines>>url:https://ieeexplore.ieee.org/document/9232939||shape="rect"]], //2020 Forum for Specification and Design Languages (FDL)//, 2020
53 53  
54 54  (% style="margin-left: 30.0px;" %)
55 -Bougacha, R., Wakrime, A. A., Kallel, S., Ayed, R. B., & Dutilleul, S. C. (2019, May). [[A Model-based Approach for the Modeling and the Verification of Railway Signaling System>>url:https://www.scitepress.org/Papers/2019/77284/77284.pdf]]. In //ENASE// (pp. 367-376).
56 +**[assigned]** (% style="color:#333333" %)L. Grimm, S. Smyth, A. Schulz-Rosengarten, R. von Hanxleden and M. Pouzet, [[From Lustre to Graphical Models and SCCharts>>url:https://ieeexplore.ieee.org/document/9232944||shape="rect"]], //2020 Forum for Specification and Design Languages (FDL)//, 2020, pp. 1-8, doi: 10.1109/FDL50818.2020.9232944.
56 56  
57 57  (% style="margin-left: 30.0px;" %)
58 -P. Sun, S. Collart-dutilleul and P. Bon, "[[A model pattern of railway interlocking system by Petri nets>>url:https://ieeexplore.ieee.org/document/7223292]]," 2015 International Conference on Models and Technologies for Intelligent Transportation Systems (MT-ITS), Budapest, Hungary, 2015, pp. 442-449, doi: 10.1109/MTITS.2015.7223292.
59 +M. C. Werner and K. Schneider, "[[From IEC 61131-3 Function Block Diagrams to Sequentially Constructive Statecharts>>https://ieeexplore.ieee.org/document/9925656]]," //2022 Forum on Specification & Design Languages (FDL)//, Linz, Austria, 2022, pp. 1-8, doi: 10.1109/FDL56239.2022.9925656.
59 59  
60 60  (% style="margin-left: 30.0px;" %)
61 -Hertel, B.; Pagenkopf, J.; König, J. "[[Challenges in the (Re-)Connection of Peripheral Areas to the Rail Network from a Rolling Stock Perspective: The Case of Germany.>>url:https://www.mdpi.com/2624-8921/5/3/63]]" Vehicles 2023, //5//, pp. 1138-1148. https:~/~/doi.org/10.3390/vehicles5030063
62 +Fabien Siron, Dumitru Potop-Butucaru, Robert De Simone, Damien Chabrol, and Amira Methni. 2023.[[ Semantics foundations of PsyC based on synchronous Logical Execution Time>>https://dl.acm.org/doi/10.1145/3576914.3587495]]. In Proceedings of Cyber-Physical Systems and Internet of Things Week 2023 (CPS-IoT Week '23). Association for Computing Machinery, New York, NY, USA, 319–324. [[https:~~/~~/doi.org/10.1145/3576914.3587495>>https://doi.org/10.1145/3576914.3587495]]
62 62  
63 63  (% style="margin-left: 30.0px;" %)
64 -There are more bachelor recommendations that are not publicly available on the [[subpage for non-public papers>>doc:.Railway Technology - Non-public Papers.WebHome]], to view them please log in with your LDAP credentials.
65 +**[assigned] **Alexander Schulz-Rosengarten, Reinhard von Hanxleden, Marten Lohstroh, Edward A. Lee, and Soroush Bateni. 2023. [[Polyglot Modal Models through Lingua Franca>>https://dl.acm.org/doi/abs/10.1145/3576914.3587498]]. In Proceedings of Cyber-Physical Systems and Internet of Things Week 2023 (CPS-IoT Week '23). Association for Computing Machinery, New York, NY, USA, 337–342. [[https:~~/~~/doi.org/10.1145/3576914.3587498>>https://doi.org/10.1145/3576914.3587498]] //(There is also a [[long version>>https://arxiv.org/abs/2301.09597]])//
65 65  
66 66  
68 +(% style="margin-left: 30.0px;" %)
69 +==== **Safety Analysis / Model Checking** ====
70 +
71 +(% style="margin-left: 30.0px;" %)
72 +**[assigned]** (% 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 +
74 +(% style="margin-left: 30.0px;" %)
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.
76 +
77 +(% style="margin-left: 30.0px;" %)
78 +**[assigned]** J. Kloos, T. Hussain, and R. Eschbach. [[Risk-based testing of safety-critical embedded systems driven by fault tree analysis>>url:https://ieeexplore.ieee.org/stamp/stamp.jsp?arnumber=5954386]]. In //2011 IEEE Fourth International Conference on Software Testing, Verification and Validation Workshops//, pp. 26-33. IEEE, 2011.
79 +
80 +(% style="margin-left: 30.0px;" %)
81 +**[assigned]** L. A. Cortes, P. Eles and Z. Peng, [[Formal coverification of embedded systems using model checking>>url:https://ieeexplore.ieee.org/stamp/stamp.jsp?arnumber=874622&tag=1]]. //Proceedings of the 26th Euromicro Conference. EUROMICRO 2000. Informatics: Inventing the Future//. Vol. 1. IEEE, 2000.
82 +
83 +
67 67  === Master Recommendations ===
68 68  
69 69  (% style="margin-left: 30.0px;" %)
70 -==== **Embedded and Real-Time** ====
87 +==== **Synchronous** ====
71 71  
72 72  (% style="margin-left: 30.0px;" %)
73 -J. Axelsson and A. Kobetski, [[Towards a risk analysis method for systems-of-systems based on systems thinking>>url:https://ieeexplore.ieee.org/document/8369501]]. //2018 Annual IEEE International Systems Conference (SysCon)//, 2018, pp. 1-8, doi: 10.1109/SYSCON.2018.8369501.
90 +(% style="color:#003366" %)Tobias Sehnke, Dieter Schwarzmann, Matthias Schultalbers, and Rolf Ernst. 2017. [[Temporal properties in automotive control software>>url:https://dl.acm.org/citation.cfm?doid=3139258.3139279||shape="rect"]]. In //Proceedings of the 25th International Conference on Real-Time Networks and Systems// (RTNS '17). ACM, New York, NY, USA, 98-107.
74 74  
75 75  (% style="margin-left: 30.0px;" %)
76 -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]]. //2020 IEEE International Systems Conference (SysCon)//, 2020, pp. 1-8, doi: 10.1109/SysCon47679.2020.9275867.
93 +Dumitru Potop-Butucaru, Robert de Simone, Yves Sorel, and Jean-Pierre Talpin, [[Clock-driven distributed real-time implementation of endochronous synchronous programs>>url:https://dl.acm.org/doi/abs/10.1145/1629335.1629356||shape="rect"]], In //Proceedings of the seventh ACM international conference on Embedded software//, New York, USA, 2009
77 77  
78 78  (% style="margin-left: 30.0px;" %)
79 -J. Kloos, T. Hussain, and R. Eschbach. [[Risk-based testing of safety-critical embedded systems driven by fault tree analysis>>url:https://ieeexplore.ieee.org/stamp/stamp.jsp?arnumber=5954386]]. In //2011 IEEE Fourth International Conference on Software Testing, Verification and Validation Workshops//, pp. 26-33. IEEE, 2011.
96 +Guillaume Baudart, Louis Mandel, Eric Atkinson, Benjamin Sherman, Marc Pouzet, and Michael Carbin. 2020. [[Reactive probabilistic programming>>url:https://dl.acm.org/doi/10.1145/3385412.3386009||shape="rect"]]. In //Proceedings of the 41st ACM SIGPLAN Conference on Programming Language Design and Implementation// (//PLDI 2020//)
80 80  
81 81  (% style="margin-left: 30.0px;" %)
82 -L. A. Cortes, P. Eles and Z. Peng, [[Formal coverification of embedded systems using model checking>>url:https://ieeexplore.ieee.org/stamp/stamp.jsp?arnumber=874622&tag=1]]. //Proceedings of the 26th Euromicro Conference. EUROMICRO 2000. Informatics: Inventing the Future//. Vol. 1. IEEE, 2000.
99 +**[assigned]** Evgeny Kusmenko, Bernhard Rumpe, Sascha Schneiders, and Michael von Wenckstern. 2018. [[Highly-Optimizing and Multi-Target Compiler for Embedded System Models: C++ Compiler Toolchain for the Component and Connector Language EmbeddedMontiArc>>url:https://dl.acm.org/citation.cfm?id=3239388||shape="rect"]]. In //Proceedings of the 21th ACM/IEEE International Conference on Model Driven Engineering Languages and Systems// (MODELS '18). ACM, New York, NY, USA, 447-457.
83 83  
84 84  (% style="margin-left: 30.0px;" %)
85 -==== **Railway** ====
102 +Kenwright, L., Roop, P.S., Allen, N., Lall, S., Cascaval, C., Spalink, T., & Izzard, M. (2024). [[Logical Synchrony Networks: A formal model for deterministic distribution>>https://arxiv.org/abs/2402.07433]]. //ArXiv, abs/2402.07433//.
86 86  
87 87  (% style="margin-left: 30.0px;" %)
88 -Ferlin, A., Qiu, S., Bon, P., Sallak, M., Dutilleul, S. C., Schön, W., & Cherfi-Boulanger, Z. (2018). [[An automated method for the study of human reliability in railway supervision systems>>url:https://ieeexplore.ieee.org/document/8283579]]. //IEEE Transactions on Intelligent Transportation Systems//, //19//(10), 3360-3375.
105 +K. Didier, A. Cohen, D. Potop-Butucaru and A. Gauffriau, "[[Sheep in wolf's Clothing: Implementation Models for Dataflow Multi-Threaded Software>>https://ieeexplore.ieee.org/document/8843684]]," //2019 19th International Conference on Application of Concurrency to System Design (ACSD)//, Aachen, Germany, 2019, pp. 43-52, doi: 10.1109/ACSD.2019.00009.
89 89  
90 90  (% style="margin-left: 30.0px;" %)
91 -Peleska, Jan, Anne E. Haxthausen, and Thierry Lecomte. "[[Standardisation considerations for autonomous train control.>>url:https://link.springer.com/chapter/10.1007/978-3-031-19762-8_22]]" Leveraging Applications of Formal Methods, Verification and Validation. Practice: 11th International Symposium, ISoLA 2022, Rhodes, Greece, October 22–30, 2022, Proceedings, Part IV. Cham: Springer Nature Switzerland, 2022.
108 +Timothy Bourke, Vincent Bregeon, and Marc Pouzet. [[Scheduling and Compiling Rate-Synchronous Programs with End-To-End Latency Constraints>>https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ECRTS.2023.1]]. In 35th Euromicro Conference on Real-Time Systems (ECRTS 2023). Leibniz International Proceedings in Informatics (LIPIcs), Volume 262, pp. 1:1-1:22, Schloss Dagstuhl - Leibniz-Zentrum für Informatik (2023) [[https:~~/~~/doi.org/10.4230/LIPIcs.ECRTS.2023.1>>url:https://doi.org/10.4230/LIPIcs.ECRTS.2023.1]]
92 92  
93 93  (% style="margin-left: 30.0px;" %)
94 -Basile, D., ter Beek, M.H., Legay, A. (2020). [[Strategy Synthesis for Autonomous Driving in a Moving Block Railway System with Uppaal Stratego>>url:https://link.springer.com/chapter/10.1007/978-3-030-50086-3_1]]. In: Gotsman, A., Sokolova, A. (eds) Formal Techniques for Distributed Objects, Components, and Systems. FORTE 2020. Lecture Notes in Computer Science(), vol 12136. Springer, Cham. [[https:~~/~~/doi.org/10.1007/978-3-030-50086-3_1>>url:https://doi.org/10.1007/978-3-030-50086-3_1]]
111 +Pascal Fradet, Alain Girault, and Alexandre Honorat. 2023. [[Sequential Scheduling of Dataflow Graphs for Memory Peak Minimization>>https://dl.acm.org/doi/10.1145/3589610.3596280]]. In Proceedings of the 24th ACM SIGPLAN/SIGBED International Conference on Languages, Compilers, and Tools for Embedded Systems (LCTES 2023). Association for Computing Machinery, New York, NY, USA, 76–86. [[https:~~/~~/doi.org/10.1145/3589610.3596280>>https://doi.org/10.1145/3589610.3596280]]
95 95  
96 96  (% style="margin-left: 30.0px;" %)
97 -G. Krummenacher, C. S. Ong, S. Koller, S. Kobayashi and J. M. Buhmann, "[[Wheel Defect Detection With Machine Learning>>url:https://ieeexplore.ieee.org/document/8006280]]," in //IEEE Transactions on Intelligent Transportation Systems//, vol. 19, no. 4, pp. 1176-1187, April 2018, doi: 10.1109/TITS.2017.2720721.
114 +Shaokai Lin, Yatin A. Manerkar, Marten Lohstroh, Elizabeth Polgreen, Sheng-Jung Yu, Chadlia Jerad, Edward A. Lee, and Sanjit A. Seshia. 2023. [[Towards Building Verifiable CPS using Lingua Franca>>https://dl.acm.org/doi/10.1145/3609134]]. ACM Trans. Embed. Comput. Syst. 22, 5s, Article 155 (October 2023), 24 pages. [[https:~~/~~/doi.org/10.1145/3609134>>https://doi.org/10.1145/3609134]]
98 98  
99 99  (% style="margin-left: 30.0px;" %)
100 -Anne E. Haxthausen, Jan Peleska, and Sebastian Kinder. 2011. [[A formal approach for the construction and verification of railway control systems.>>url:https://dl.acm.org/doi/10.1007/s00165-009-0143-6]] Form. Asp. Comput. 23, 2 (Mar 2011), 191–219. [[https:~~/~~/doi.org/10.1007/s00165-009-0143-6>>url:https://doi.org/10.1007/s00165-009-0143-6]]
117 +Christian Menard, Marten Lohstroh, Soroush Bateni, Matthew Chorlian, Arthur Deng, Peter Donovan, Clément Fournier, Shaokai Lin, Felix Suchert, Tassilo Tanneberger, Hokeun Kim, Jeronimo Castrillon, and Edward A. Lee. 2023. [[High-performance Deterministic Concurrency Using Lingua Franca.>>https://dl.acm.org/doi/10.1145/3617687]] ACM Trans. Archit. Code Optim. 20, 4, Article 48 (December 2023), 29 pages. [[https:~~/~~/doi.org/10.1145/3617687>>https://doi.org/10.1145/3617687]]
101 101  
119 +
102 102  (% style="margin-left: 30.0px;" %)
103 -There are more master recommendations that are not publicly available on the [[subpage for non-public papers>>doc:.Railway Technology - Non-public Papers.WebHome]], to view them please log in with your LDAP credentials.
121 +==== **Safety Analysis / Testing** ====
104 104  
123 +(% style="margin-left: 30.0px;" %)
124 +(% style="color:#003366" %)Carlos A. González, Mojtaba Varmazyar, Shiva Nejati, Lionel C. Briand, and Yago Isasi. 2018. [[Enabling Model Testing of Cyber-Physical Systems>>url:https://dl.acm.org/citation.cfm?doid=3239372.3239409||shape="rect"]]. In //Proceedings of the 21th ACM/IEEE International Conference on Model Driven Engineering Languages and Systems //(MODELS '18). ACM, New York, NY, USA, 176-186.
125 +
126 +(% style="margin-left: 30.0px;" %)
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 +
129 +
105 105  = Schedule =
106 106  
107 107  == Dates in the semester ==
... ... @@ -113,15 +113,15 @@
113 113  Milestone
114 114  )))
115 115  |(((
116 -t.b.a.
141 +Tue., 16.04 10:00
117 117  )))|(((
118 118  First Meeting/**Kick-Off **with a Latex and EasyChair introduction. The meeting will take place in room 11.1114/11.1115 in CAP4.
119 119  )))
120 -|(% colspan="1" %)t.b.a.|(% colspan="1" %)(% colspan="1" %)
145 +|(% colspan="1" %)Tue., 16.04 23:59|(% colspan="1" %)(% colspan="1" %)
121 121  (((
122 -Deadline for topic selection (via email to Niklas).
147 +Deadline for topic selection (via email to Jette).
123 123  )))
124 -|t.b.a.|(((
149 +|Mo., 29.04 23:59|(((
125 125  (% 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.
126 126  )))
127 127  |(% colspan="1" %)(% colspan="1" %)
... ... @@ -131,7 +131,7 @@
131 131  (((
132 132  Individual feedback dates.
133 133  )))
134 -|(% colspan="1" %)t.b.a.|(% colspan="1" %)(% colspan="1" %)
159 +|(% colspan="1" %)Mo., 20.05 23:59|(% colspan="1" %)(% colspan="1" %)
135 135  (((
136 136  (% style="color:#172b4d" %)Deadline of the first full version (%%)(submission update in(% style="color:#172b4d" %) [[EasyChair>>https://easychair.org/conferences/?conf=kielrtsyssem24ss||shape="rect"]](%%))
137 137  )))
... ... @@ -142,7 +142,7 @@
142 142  (((
143 143  (% style="color:#172b4d" %)Individual feedback dates.
144 144  )))
145 -|(% colspan="1" %)t.b.a.|(% colspan="1" %)(% colspan="1" %)
170 +|(% colspan="1" %)Mo., 03.06 23:59|(% colspan="1" %)(% colspan="1" %)
146 146  (((
147 147  (% 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)
148 148  )))
... ... @@ -153,7 +153,7 @@
153 153  (((
154 154  (% style="color:#172b4d" %)Review assignment(%%) (via email)
155 155  )))
156 -|(% colspan="1" %)t.b.a.|(% colspan="1" %)(% colspan="1" %)
181 +|(% colspan="1" %)Mo., 10.06 23:59|(% colspan="1" %)(% colspan="1" %)
157 157  (((
158 158  (% style="color:#172b4d" %)Deadline reviews(%%) (in(% style="color:#172b4d" %) [[EasyChair>>https://easychair.org/conferences/?conf=kielrtsyssem24ss||shape="rect"]](%%))
159 159  )))
... ... @@ -160,7 +160,7 @@
160 160  |(% colspan="1" %)(((
161 161  individual dates
162 162  
163 -t.b.a.
188 +Thu., 04.07
164 164  )))|(% colspan="1" %)(% colspan="1" %)
165 165  (((
166 166  (% style="color:#172b4d" %)Individual feedback dates on presentation slides(%%).
... ... @@ -167,13 +167,13 @@
167 167  
168 168  The slides need to be available online or sent to the advisor beforehand (as PDF).
169 169  )))
170 -|(% colspan="1" %)t.b.a.|(% colspan="1" %)(% colspan="1" %)
195 +|(% colspan="1" %)Thu., 11.07 23:59|(% colspan="1" %)(% colspan="1" %)
171 171  (((
172 172  (% style="color:#172b4d" %)Deadline final version (%%)(submission update in(% style="color:#172b4d" %) [[EasyChair>>https://easychair.org/conferences/?conf=kielrtsyssem24ss||shape="rect"]](%%))
173 173  )))
174 174  |(% colspan="1" %)(% colspan="1" %)
175 175  (((
176 -t.b.a.^^1^^
201 +Mo., 15.07, all day^^1^^
177 177  )))|(% colspan="1" %)(% colspan="1" %)
178 178  (((
179 179  Final presentations
... ... @@ -203,7 +203,7 @@
203 203  
204 204  You can freely choose your presentation tool. Therefore, for the individual dates on the presentation slides it would be best to to use your own computer. If the slides are provided as PDF beforehand, a different computer could be used.
205 205  
206 -Especially when using online tools, note that the block seminar might take place in building with bad WLAN access. Therefore, the presentations must allow to be held offline.
231 +Especially when using online tools, note that the block seminar might take place in Falckenstein and that there is no WLAN access. Therefore, the presentations must allow to be held offline.
207 207  
208 208  The talk can be held in English or German.
209 209  

Navigation

Quick Links

KIELER on GitHub
RTSYS Homepage