Posts by djmaecki

    What is the Vienna Summer of Logic?


    With over 2000 expected participants, the Vienna Summer of Logic 2014 (VSL) will be the largest event in the history of logic. It will consist of twelve large conferences and numerous workshops, attracting researchers from all over the world. The VSL will take place 9th-24 July 2014, at the Vienna University of Technology in Vienna, Austria.


    The VSL conferences and workshops will deal with the main theme, logic, from three important aspects: logic in computer science, mathematical logic and logic in artificial intelligence. The program of the conference consists of contributed and invited research talks and includes a number of social events such as a student reception. For more information, visit http://vsl2014.at.


    Vienna Summer of Logic Student Volunteers?


    The VSL is organized by the Kurt Goedel Society, and preparations for this event have started some time ago. The most critical phase in the organization of any large scientific meeting is, of course, the time of the meeting itself! To ensure that all the scientific and social meetings taking place in the course of the VSL can be conducted successfully, the organizers of the VSL need *your help as a VSL volunteer*.


    What are a volunteer's duties?


    There are many tasks at the VSL that will be performed by volunteers, such as helping with the registration of the participants at the conference, assisting with the use of the technical infrastructure at the conference site, etc. Each volunteer will be supervised by one of the senior organizers who will be the volunteer's contact person at the conference.


    What are a volunteer's perks?


    The most important benefit of volunteering is that volunteers may *attend all the VSL conferences for free*: this means that you can attend all the research talks given at the conferences, and mingle with the researchers during the coffee breaks. More precisely, your time at the VSL will be divided in the following way: 50% free time to attend lectures of your choosing, 30% fixed volunteer's duties, and 20% ,,standby duty''. Furthermore, all volunteers may participate in the conference's *student reception* (which is a party for all the students participating at VSL), and will receive a *VSL volunteer's t-shirt* to be able to proudly display their participation in this event in the years to come.


    How do I become a volunteer?


    Interested in becoming a Vienna Summer of Logic volunteer? Please visit


    http://vsl2014.at/volunteers


    for the application form. The deadline for applications is May 25, 2014. Applicants that have been chosen as volunteers will be contacted before June 1, 2014.

    Dear students, you have to _understand_ the first lecture(s)---a recap from past courses like formal methods---in order to pass this course. As ExAmerican wrote: the course isn't going to get any easier, so better prepare yourself before you take this course.

    Also was ich so mitbekommen habe, wird bei der Vorlesung immer gefragt ob Deutsch als Vortragssprache ok ist oder ob jemand Englisch möchte. Bei der Prüfung ist die Fragestellung glaube ich in Englisch + Deutsch und die Beantwortung kann auch in beiden Sprachen durchgeführt werden. Bei der Übung habe ich leider selber keine Ahnung.


    Übungszettel sind nur in Englisch, Übungen können sowohl in D als auch E erfolgen.

    Achtung, es gibt keine Garantie, dass man sich beim Zusatztermin ausbessern kann! Es werden zuerst die Studierenden drankommen, die noch keine positive Tafelleistung haben, dann die mit < 23 Punkte, und zu guter letzt die, die sich verbessern wollen.

    VBC PhD symposium "Think alternative! Insights from unconventional model organisms"
    Thursday – Friday: 03 - 04. November 2011; 9:00 – 18:00

    IMP Lecture Hall


    Confirmed speakers: N. Patel; D. Stern; R. Sommer; U. Grossniklaus; A. De Tomaso; D. Chourrout; D. Arendt; E. Tanaka; I. Nishii; J. Bowman; J. Garcia-Fernandez; K. M. Folta; R. Menzel; T. Holstein
    Hosts: VBC PhD students

    Find more information and register online at http://www.vbc-phd-symposium.at/. The deadline for registration is 20th of October (free of charge). The detailed program will be available soon.

    VBC PhD symposium "Think alternative! Insights from unconventional model organisms"
    Thursday – Friday: 03 - 04. November 2011; 9:00 – 18:00

    IMP Lecture Hall


    Confirmed speakers: N. Patel; D. Stern; R. Sommer; U. Grossniklaus; A. De Tomaso; D. Chourrout; D. Arendt; E. Tanaka; I. Nishii; J. Bowman; J. Garcia-Fernandez; K. M. Folta; R. Menzel; T. Holstein
    Hosts: VBC PhD students

    Find more information and register online at http://www.vbc-phd-symposium.at/. The deadline for registration is 20th of October (free of charge). The detailed program will be available soon.

    VBC PhD symposium "Think alternative! Insights from unconventional model organisms"
    Thursday – Friday: 03 - 04. November 2011; 9:00 – 18:00

    IMP Lecture Hall


    Confirmed speakers: N. Patel; D. Stern; R. Sommer; U. Grossniklaus; A. De Tomaso; D. Chourrout; D. Arendt; E. Tanaka; I. Nishii; J. Bowman; J. Garcia-Fernandez; K. M. Folta; R. Menzel; T. Holstein
    Hosts: VBC PhD students

    Find more information and register online at http://www.vbc-phd-symposium.at/. The deadline for registration is 20th of October (free of charge). The detailed program will be available soon.

    Am logic ist mal wieder, wie jedes Sommersemester, halbherzig Theorie der Berechenbarkeit in der LVA-Liste, das hat aber meines Wissens noch nie stattgefunden. Falls es in diesem Semester mal klappt, würd ich mir das auch anhören.


    Soweit ich weiss, hat das Agata Ciabattoni mal gemacht: http://www.logic.at/lvas/thcomp/


    Letztes Semester gecancelled, dieses Semester auch. Ich wart auch schon ewig darauf, dass das mal stattfindet...