Summary

• Page properties (1 modified, 0 added, 0 removed)
• Objects (1 modified, 0 added, 0 removed)
  • Confluence.Code.ConfluencePageClass[0]

Details

Page properties

Content

...	...	@@ -1,3 +1,5 @@
	1	+\\
	2	+
1	1	(% class="bodytext" style="text-align: left;" %)
2	2	The purpose of this seminar is to independently and scientifically work on a topic on synchronous languages and related. The goal is to summarize the topic in an oral presentation and a written elaboration in form of a paper. Another purpose of this seminar is to practice working in structured and time-driven workflows (e.g. for conferences or workshops). Moreover, both of these aspects are a good preparation for working on your thesis. We have many theses regarding these topics available; contact us if you are interested in that.
3	3
...	...	@@ -26,7 +26,7 @@
26	26	Alexander Schulz-Rosengarten ([[als@informatik.uni-kiel.de>>mailto:als@informatik.uni-kiel.de||shape="rect"]])
27	27
28	28	(% style="text-align: left;" %)
29		-= Topics =
	31	+== Topics ==
30	30
31	31	{{expand}}
32	32	(% class="bodytext" style="text-align: left;" %)
...	...	@@ -86,12 +86,15 @@
86	86	(% style="color: rgb(0,51,102);" %)Guillaume Brau, Nicolas Navet, and Jérôme Hugues. 2017. [[Heterogeneous models and analyses in the design of real-time embedded systems - an avionic case-study>>url:https://dl.acm.org/citation.cfm?doid=3139258.3139281||shape="rect"]]. In //Proceedings of the 25th International Conference on Real-Time Networks and Systems// (RTNS '17). ACM, New York, NY, USA, 168-177.
87	87	{{/expand}}
88	88
89		-= Schedule =
	91	+\\
90	90
	93	+(% style="font-size: 20.0px;letter-spacing: -0.008em;" %)Schedule
	94	+
91	91	{{expand}}
	96	+(% style="" %)
92	92	== Dates in the semester (currently not final) ==
93	93
94		-(% class="fixed-table wrapped" %)
	99	+(% class="fixed-table" %)
95	95	|=(((
96	96	Date
97	97	)))|=(((
...	...	@@ -191,8 +191,10 @@
191	191	**tbd**
192	192	{{/expand}}
193	193
194		-= Schedule and Grading =
	199	+\\
195	195
	201	+(% style="font-size: 24.0px;letter-spacing: -0.01em;" %)Schedule and Grading
	202	+
196	196	{{expand}}
197	197	== Papers, Talks, Review ==
198	198
...	...	@@ -230,8 +230,10 @@
230	230	This seminar is graded. The grade is based on each milestone (the different versions of the paper, the reviews, the slides, the talk). For each milestone quality, timing (see dates) are graded. Missed deadline may cause you to fail the seminar.
231	231	{{/expand}}
232	232
233		-= Technical Details =
	240	+\\
234	234
	242	+(% style="font-size: 20.0px;letter-spacing: -0.008em;" %)Technical Details
	243	+
235	235	{{expand}}
236	236	=== LaTeX ===
237	237
...	...	@@ -258,8 +258,10 @@
258	258	{{/expand}}
259	259	{{/expand}}
260	260
261		-= Resources =
	270	+\\
262	262
	272	+(% style="font-size: 20.0px;letter-spacing: -0.008em;" %)Resources
	273	+
263	263	{{expand}}
264	264	In general, it is advised to look for related work in the university network since you will get access to many online libraries. We the following search engines and web pages:
265	265

Confluence.Code.ConfluencePageClass[0]

Id

...	...	@@ -1,1 +1,1 @@
1		-128745485
	1	+128745484

URL

...	...	@@ -1,1 +1,1 @@
1		-https://rtsys.informatik.uni-kiel.de/confluence//wiki/spaces/SEM/pages/128745485/WS22/23 (Synchronous Languages)
	1	+https://rtsys.informatik.uni-kiel.de/confluence//wiki/spaces/SEM/pages/128745484/WS22/23 (Synchronous Languages)