Summary

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

Details

Page properties

Title

...	...	@@ -1,1 +1,1 @@
1		-2022/23 (Synchronous Languages)
	1	+2022/23 Synchronous Languages

Content

...	...	@@ -26,7 +26,6 @@
26	26	(% style="text-align: left;" %)
27	27	= Topics =
28	28
29		-{{expand}}
30	30	(% class="bodytext" style="text-align: left;" %)
31	31	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.
32	32
...	...	@@ -144,11 +144,9 @@
144	144
145	145	(% style="margin-left: 30.0px;" %)
146	146	(% style="color: rgb(51,51,51);" %)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: rgb(51,51,51);" %), 2018, pp. 329-336, doi: 10.1109/ISSREW.2018.00026.
147		-{{/expand}}
148	148
149	149	= Schedule =
150	150
151		-{{expand}}
152	152	== Dates in the semester ==
153	153
154	154	(% class="fixed-table wrapped" %)
...	...	@@ -250,12 +250,11 @@
250	250
251	251
252	252
253		-{{view-file att--filename="agenda.pdf" height="250"/}}
254		-{{/expand}}
	250	+**[[Hier>>url:https://rtsys.informatik.uni-kiel.de/confluence/download/attachments/128745476/agenda.pdf?version=1&modificationDate=1677149817000&api=v2||shape="rect"]]** die Agenda als PDF
255	255
	252	+
256	256	= Schedule and Grading =
257	257
258		-{{expand}}
259	259	== Papers, Talks, Review ==
260	260
261	261	(% style="color: rgb(23,43,77);" %)This seminar includes creating a paper, a talk, and two reviews.
...	...	@@ -290,11 +290,9 @@
290	290	== Grades ==
291	291
292	292	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.
293		-{{/expand}}
294	294
295	295	= Technical Details =
296	296
297		-{{expand}}
298	298	=== LaTeX ===
299	299
300	300	Your papers should be created using LaTeX and have to be in the provided ACM style. You can find all necessary files in this [[archive>>attach:SS20 (Layout)@paper-template.zip]], including an example document that includes helpful LaTeX-hints to start with. Copy all files in some folder and begin to write your paper.
...	...	@@ -311,18 +311,9 @@
311	311
312	312	You can find our seminar in EasyChair: **[[Link>>url:https://easychair.org/conferences/?conf=kielrtsyssem22ws||shape="rect"]]**
313	313
314		-{{expand title="Klicke hier zum ausklappen..."}}
315		-\\
316	316
317		-[[doc:RTSYS.EasyChair Student Tutorial]]
318		-
319		-{{include/}}
320		-{{/expand}}
321		-{{/expand}}
322		-
323	323	= Resources =
324	324
325		-{{expand}}
326	326	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:
327	327
328	328	* Google Scholar: [[http:~~/~~/scholar.google.de/>>url:http://scholar.google.de/||shape="rect" class="external-link"]]
...	...	@@ -331,4 +331,3 @@
331	331	* IEEE-Xplore: [[http:~~/~~/ieeexplore.ieee.org/Xplore/dynhome.jsp>>url:http://ieeexplore.ieee.org/Xplore/dynhome.jsp||shape="rect" class="external-link"]]
332	332	* ACM Digital Library: [[http:~~/~~/portal.acm.org/dl.cfm>>url:http://portal.acm.org/dl.cfm||shape="rect" class="external-link"]]
333	333	* Universitätsbibliothek Digitale Medien: [[http:~~/~~/www.uni-kiel.de/ub/emedien/index.html>>url:http://www.uni-kiel.de/ub/emedien/index.html||shape="rect"]]
334		-{{/expand}}