Lecturer: Gernot Salzer
Elective course (Wahllehrveranstaltung) in the master studies "Information & Knowledge Management" (066933) and "Software Engineering & Internet Computing" (066937).
The seminar will be held in English unless all participants are fluent in German.
Deadlines:
Su, 21 March 2010: list of references and outline of paper; send them as plain text by mail to salzer@logic.at
Su, 16 May 2010: paper; send the LaTeX source of your paper by mail to salzer@logic.at
One week before your talk: presentation; send your presentation as PDF, Powerpoint, or LaTeX file to salzer@logic.at
Next meetings:
Fr, 21 May 2010, 15:00-17:00,
Seminar room "Zemanek"
Fr, 4 June 2010, 15:00-17:00,
Seminar room "Zemanek"
Fr, 11 June 2010, 15:00-17:00,
Seminar room "Zemanek"
Fr, 18 June 2010, 15:00-17:00,
Seminar room "Zemanek"
Private web area: www.logic.at/lvas/se_fvsw/private
Contains the list of participants, assigned topics and dates, and more.
User names and passwords have been distributed via email.
See below for further information on …
how to write a paper, how to present a paper in a talk,
how to obtain (La)TeX, and how to use (La)TeX.
Use this LaTeX template as starting point for your seminar paper;
after running pdflatex twice you obtain this PDF version of the paper template.
The aim of the course is to enhance the ability for doing research on a scientific topic and for presenting it adequately in written and oral form. Moreover, the participants will learn about new developments in the field of software engineering. The topics of the seminar will be related to the tools and methods used in the formal verification of software.
Participation in the course requires the following activities.
Literature search: As basis for the seminar paper and the talk you will search books, journals and the web for literature related to the topic that you chose at the first meeting.
Seminar paper: You will write a seminar paper that presents the topic in a coherent and consistent manner. The paper has to be written in English using the typesetting system LaTeX. As a guideline, its length should be 12-15 pages. But note that quality is more important than quantity.
Talk: You will present your topic in a talk (in English) of 25 minutes using beamer or overhead projector. In case you use LaTeX for the presentation (not obligatory) I recommend the beamer package.
Active participation in meetings: You will attend the few meetings that we will have and engage in discussions following the presentations of the topics.
If you have questions or encounter problems, e.g. when installing or using LaTeX, send me an email (salzer@logic.at) or see me in my office.
Please register for the seminar via TUWIS++, or if this fails, via email to salzer@logic.at.
First meeting (selection of dates and topics, organizational matters): Friday, 12 March 2010, 15:00, SEM 185/2
For participants of the seminar: in case of problems ask me for advice. Moreover, you can ask your colleagues in the online Informatik-Forum.
(La)TeX distributions:
Windows: TeX-Live,
proTeXt
Unix/Linux: TeX-Live
Others: See the systems directory of CTAN server close
to you, e.g. the
CTAN of TU Wien.
LaTeX editors: any plain text editor will do, but some have special
modes for LaTeX files.
Windows:
WinEdt
(Download von TU-GDS,
Beschreibung,
Home www.winedt.com),
TeXnicCenter
Unix, Linux: many editors have a TeX mode, like auctex for emacs.
Diplomarbeit mit LaTeX: tutorial (in German) for LaTeX under Windows, describing installation and use of MiKTeX and TeXnicCenter.
For participants of the seminar: in case of problems ask me for advice. Moreover, you can ask your colleagues in the online Informatik-Forum.
Diplomarbeit mit LaTeX: tutorial (in German) for LaTeX under Windows, describing installation and use of MiKTeX and TeXnicCenter.