Main Page

From TCS Group Internal Wiki

(Difference between revisions)
Jump to: navigation, search
(→Duties)
 
(42 intermediate revisions not shown)
Line 1: Line 1:
This is the wiki of the [https://www.csc.kth.se/tcs/ Theoretical Computer Science Group] at [https://www.kth.se/csc CSC], [https://www.kth.se/ KTH].
This is the wiki of the [https://www.csc.kth.se/tcs/ Theoretical Computer Science Group] at [https://www.kth.se/csc CSC], [https://www.kth.se/ KTH].
-
Please [[Special:UserLogin|create an account]] if you have not already done so.
+
You need an account to edit wiki pages. See the [http://tcs-wiki.csc.kth.se/mediawiki/index.php?title=Special%3AListUsers&group=sysop list of administrators] to find out who can create an account for you.
Consult the [https://meta.wikimedia.org/wiki/Help:Contents User's Guide] for information on using the wiki software.
Consult the [https://meta.wikimedia.org/wiki/Help:Contents User's Guide] for information on using the wiki software.
== Admin ==
== Admin ==
-
Version of doktorsprogram datalogi/PhD program CS submitted to Utbildningsutskottet UU in December:
 
-
* [https://www.nada.kth.se/~mfd/CS_PhD_program/Programbeskrivning.docx Computer Science PhD program at KTH, 2010-12-15, Swedish]
+
* You can find information and files about administration decisions and meetings in [[Admin Pages]].
 +
* TCS support routines as of autumn 2013
 +
** Friné Portal is the financial assistant. She's on level 4.
 +
** Harriett Johansson helps with EU matters
 +
** For other matters (or those above) mail service@csc.kth.se  
-
* [http://www.nada.kth.se/~mfd/CS_PhD_program/Bilaga1datalogi.pdf Appendix 1, Plan of studies, CS, 2010-12-15, Swedish]
+
Questions should be addressed to [mailto:mfd@kth.se Mads Dam].
-
* [https://www.nada.kth.se/~mfd/CS_PhD_program/Bilaga2TMH.pdf Appendix 2, Plan of studies, Speech, Music, Hearing, 2010-12-15, Swedish]
+
== Mailing Lists ==
-
* [https://www.nada.kth.se/~mfd/CS_PhD_program/Bilaga3handledare.doc Appendix 3, List of supervisors, 2010-12-15, Swedish]
+
You can find information about department and school level mailing lists in [[Mailing lists]].
-
 
+
-
* [https://www.nada.kth.se/~mfd/CS_PhD_program/Bilaga4kurser.xlsx Appendix 4, Course List, 2010-12-15, Swedish/English]
+
-
 
+
-
 
+
-
 
+
-
Presentation av TCS forskning för skolledningen, 23/11 13:00-16:00 i 1537
+
-
 
+
-
HÅLLTIDER
+
-
 
+
-
*13:00-13:15 Stefan Arnborg: TCS history, goals and visions. Unity of teaching and research.
+
-
* [https://www.nada.kth.se/~stefan/SA101123.pdf slides]
+
-
*13:15-13:35 Johan Håstad: ERC projekt and CIAM.
+
-
* [https://www.nada.kth.se/~stefan/JH101123.pdf slides]
+
-
* 13:35-13:50 Viggo Kann: Språkteknologi och didaktik, undervisning.
+
-
* 13:50-14:05 Karl Meinke: Software testing and fault prediction
+
-
 
+
-
* 14:05-14:20 KAFFEPAUS med diskussion
+
-
 
+
-
* 14:20-14:35 Mads Dam: Security and semantics
+
-
 
+
-
* 14:35-14:45 Sonja Buchegger: Computer networks security and privacy
+
-
* [https://www.nada.kth.se/~stefan/SB101123.pdf slides]
+
-
* 14:45-14:55 Dilian Gurov: Program correctness*
+
-
* [https://www.nada.kth.se/~stefan/DG101123.pdf slides]
+
-
* 14:55-15:05 Jakob Nordström: Complexity
+
-
* [https://www.nada.kth.se/~stefan/JN101123.pdf slides]
+
-
* 15:05-15:15 Douglas Wikström: Cryptographic protocols
+
-
* [https://www.nada.kth.se/~stefan/DW101123.pdf slides]
+
-
* 15:15-15:25 Johan Boye: Speech Technology
+
-
* [https://www.nada.kth.se/~stefan/JB101123.pdf slides]
+
-
 
+
-
 
+
-
 
+
-
* New Organisation development at KTH:
+
-
 
+
-
* [https://www.nada.kth.se/~stefan/Rapport_Faugert_Technopolis.pdf Proposal]
+
-
 
+
-
 
+
-
* NEWS: PhD student statements due on Nov 15, 2010
+
-
 
+
-
* [https://www.nada.kth.se/~stefan/kth/templvk.txt Template, Swedish]
+
-
 
+
-
* [https://www.nada.kth.se/~stefan/kth/templlvk.txt Template, English]
+
-
 
+
-
 
+
-
[https://www.nada.kth.se/~stefan/kth/arb100915.txt Minutes, TCS meeting Sept 13 2010]
+
-
 
+
-
 
+
-
Jenny Svensson is physiotherapist and will make a round in the TCS area on
+
-
Wednesday 15/9 from 9:30. Everyone with even the slightest problems (chair, keyboard,
+
-
mouse, working positioning)should consult her!
+
-
 
+
-
Everyone is offered a life-style analysis and advicing session with
+
-
* [https://www.nada.kth.se/~stefan/HALUinfoCSC_EN-GB100826.pdf FEELGOOD ]
+
-
 
+
-
 
+
-
New version of Doktorsprogram i Datalogi
+
-
The TMH researchers decided to join the CS program instead of the HCI/Media program
+
-
version 9:
+
-
 
+
-
* [https://www.nada.kth.se/~stefan/Drprogram_datalogi_v9.doc Computer Science PhD program at KTH,v9 2010-09-03, Swedish]
+
-
 
+
-
* [https://www.nada.kth.se/~stefan/Drprgdatalogi_bilagaA_v9.doc Supplement A: Advisors and PhD students, 2010-09-02]
+
-
 
+
-
* [https://www.nada.kth.se/~stefan/Datalogiforskarkurser_v7.xlsx Supplement B: Course List, v7 2010-05-28, Swedish/English]
+
-
 
+
-
* [https://www.nada.kth.se/~stefan/Kurser_TMH.doc Supplement B: Course list, TMH, 2010-09-03]
+
-
 
+
-
Health investigation at CSC
+
-
 
+
-
*[ https://www.nada.kth.se/~stefan/health.txt Health investigation, info in D31, Aug 30 at 15:00]
+
-
 
+
-
TCS GENERAL MEETING:
+
-
 
+
-
September 13 at 10:00 to 11+, room 1537
+
-
 
+
-
Topics:
+
-
 
+
-
TCS members: new and old
+
-
 
+
-
New management jan 2011
+
-
 
+
-
PhD programs in progress
+
-
 
+
-
Workplace safety
+
-
 
+
-
'Medarbetarundersökning'
+
-
 
+
-
Office space shortage
+
-
 
+
-
Organized Computer Support
+
-
 
+
-
Future computing environment
+
-
 
+
-
Cake
+
-
 
+
-
The safety inspection round was done on May 31, 2010.
+
-
Formal protocol will be sent out.
+
-
A number of new rules were emphasized (you have got them through formal channels,
+
-
but probably in Swedish:
+
-
 
+
-
* closets must be fixed into the wall
+
-
 
+
-
* there will be a round made by the KTH ergonomist for advice on sitting, etc.
+
-
* you should not store stuff on the floor, so it cannot be swept.
+
-
* Waste paper baskets you must empty and sort into the bins in the pentry. If you do not do this regularly, you should not put perishable stuff into them (food etc)
+
-
 
+
-
 
+
-
The 'medarbetarundersökning' is now out.
+
-
 
+
-
* [https://www.nada.kth.se/~stefan/kth/CSC.pdf CSC results (in Swedish, of course!)]
+
-
* [https://www.nada.kth.se/~stefan/kth/TCS.pdf TCS results (in Swedish, of course!)]
+
-
* [https://www.nada.kth.se/~stefan/kth/TCS.txt my comments]
+
-
 
+
-
Doktorsprogram:
+
-
After a new meeting with CS professors, it was agreed that there will be 3 specializations, one for each CS department: CB, CVAP and TCS. A new proposal was edited by Anders Lansner and then by Viggo Kann.
+
-
The course lists were updated for CS and vision/robotics, 10-05-04:
+
-
 
+
-
version 6:
+
-
 
+
-
* [https://www.nada.kth.se/~stefan/Drprogram_datalogi_v6.pdf Computer Science PhD program at KTH,v6 2010-05-15, Swedish]
+
-
 
+
-
* [https://www.nada.kth.se/~stefan/Datalogiforskarkurser_v6.pdf Course List, Computer Science PhD program at KTH,v6 2010-05-15, Swedish/English]
+
-
 
+
-
version 5b:
+
-
 
+
-
* [https://www.nada.kth.se/~stefan/drprogram_datalogi_v5cc.pdf Computer Science PhD program at KTH,v5b 2010-05-07, Swedish]
+
-
 
+
-
* [https://www.nada.kth.se/~stefan/Datalogiforskarkurser_v2a.xlsx Course List, Computer Science PhD program at KTH,v2a 2010-05-06, Swedish/English]
+
-
 
+
-
* [https://www.nada.kth.se/~stefan/Drprogram_datalogiv4.pdf Computer Science PhD program at KTH, v4 2010-03-06, Swedish]
+
-
 
+
-
 
+
-
[https://www.nada.kth.se/~stefan/MarieCurieFlyerforMasterStudents.pdf Marie-Curie foer alla]
+
-
 
+
-
NEW: Arbetsplatsmoete (general TCS meeting) Feb 15 at 13:15 ; in room 4532, D-building floor 5.
+
-
[https://www.nada.kth.se/~stefan/kth/arb100215.txt Minutes]
+
-
 
+
-
[https://www.nada.kth.se/~stefan/nada/ICT.pdf the KTH ICT-utredning is now ready]
+
-
 
+
-
[https://www.nada.kth.se/~stefan/nada/comm.txt SA:s Comments on ICT]
+
-
 
+
-
NEW: Individual study plans for doctoral students in TCS to be updated and submitted to Birgit by Jan 15
+
-
 
+
-
NEW: Programs for all PhD studies at KTH should be decided in 2010
+
-
 
+
-
* [https://www.nada.kth.se/~stefan/drprgKTH.html Some papers from Heaven, Swedish]
+
-
 
+
-
Current version 10/12 influenced by comments from Johan H, Erik A, Lars A and Viggo
+
-
 
+
-
* [https://www.nada.kth.se/~stefan/Drprogram_datalogi.doc Sketch of Computer Science PhD program at KTH, Swedish]
+
-
 
+
-
* [https://www.nada.kth.se/~stefan/CS_studieplan_eng_09b.pdf Computer Science Study Plan, English translation]
+
-
 
+
-
 
+
-
* [https://www.nada.kth.se/~stefan/kth/minuters090818.txt TCS meeting Aug 18 2009]
+
-
 
+
-
* [https://www.nada.kth.se/~stefan/tc.pdf TCS Development plan]
+
-
 
+
-
* [https://www.kth.se/csc/utbildning/forskarniva/1.20364 Computer Science Study Plan (in Swedish)]
+
== Seminars ==
== Seminars ==
-
There are currently four seminar series organized by the TCS group:
+
There are currently four [https://www.csc.kth.se/tcs/seminarsevents/ seminar series] organized by the TCS group:
* [https://www.csc.kth.se/tcs/seminars/ TCS Seminar Series]
* [https://www.csc.kth.se/tcs/seminars/ TCS Seminar Series]
* [https://www.csc.kth.se/tcs/phdseminars/ Informal PhD Student Seminars in Theoretical Computer Science]
* [https://www.csc.kth.se/tcs/phdseminars/ Informal PhD Student Seminars in Theoretical Computer Science]
-
* [https://www.csc.kth.se/tcs/cryptoseminars/ Reading group in cryptography]
+
* [https://www.csc.kth.se/~jakobn/theoryreadinggroup/ Theory reading group]
-
* [https://www.csc.kth.se/tcs/logicseminars/ Logic and semantics group meetings]
+
* [https://www.csc.kth.se/~jakobn/complexitymeetings/ Complexity meetings]
Other lists of seminar series which may be of interest include:
Other lists of seminar series which may be of interest include:
Line 196: Line 39:
* [[Course lists]]
* [[Course lists]]
 +
 +
* [[Ladok | How to get ECTS points registered in Ladok]]
== Teaching ==
== Teaching ==
* [[Kattis]]
* [[Kattis]]
 +
* [https://lokal2.timeedit.se/kth/ Lokalbokning]
 +
* [[Reporting Work Hours]]
 +
* [[Reporting Student Results]]
 +
 +
== Traveling ==
 +
* [[Traveling | Traveling information]]
== Equipment ==
== Equipment ==
* [[Computers]]
* [[Computers]]
* [https://www.csc.kth.se/bokning/day.php Booking equipment or rooms for lectures] (book in advance)
* [https://www.csc.kth.se/bokning/day.php Booking equipment or rooms for lectures] (book in advance)
 +
* [[Poster Printing]]
== CS Doctoral Program Stuff ==
== CS Doctoral Program Stuff ==
Line 209: Line 61:
* [[CS Doctoral Program]]
* [[CS Doctoral Program]]
-
== Information for New Comers ==
+
* [[Procedures for obtaining the Licentiate and Doctoral degrees]]
 +
 
 +
== Information for newcomers ==
 +
 
 +
Read separate [[newcomers| article for newcomers]].
 +
 
 +
== Visitors ==
 +
 
 +
Information for [[visitors]].
 +
 
 +
== Office plan ==
 +
 
 +
[https://www.nada.kth.se/~vahid/tl.php Office plan]
 +
 
 +
== Research Grants ==
 +
 
 +
Several foundations provide grants, for different audiences and purpouses. Read the [[Research Grants]] articles for an overview.
 +
 
 +
== Duties ==
 +
* [[Seminar Organization]]
 +
* [[Mailing List Organization]]
-
Here we will describe some essencial issues that new comers to our department have to consider.
+
== Not much work related ==
-
* Housing
+
[[TCS-fika]] IRC Channel, join the chat for TCS staff.
-
** [https://www.sssb.se/ Stiftelsen Stockholms Studentbostäder]
+
-
* Get your person number
+
-
** [https://www.skatteverket.se/ Skatteverket]
+
-
* Official registration
+
-
** [https://www.kth.se KTH Website]
+
-
* Computing resources
+
-
** Nada Servers
+
-
*** rungner
+
-
***  tray
+
-
* Access to facilities
+
-
* Registration to student's union
+
-
* Open a bank account
+
-
* Study Plan and selection of classes to attend to
+
-
* Swedish course
+
-
* Health Care
+
-
** [https://www.forsakringskassan.se/privatpers Försäkringskassan]
+
== Getting started with the wiki ==
== Getting started with the wiki ==

Latest revision as of 09:07, 15 May 2018

This is the wiki of the Theoretical Computer Science Group at CSC, KTH.

You need an account to edit wiki pages. See the list of administrators to find out who can create an account for you.

Consult the User's Guide for information on using the wiki software.

Contents

Admin

  • You can find information and files about administration decisions and meetings in Admin Pages.
  • TCS support routines as of autumn 2013
    • Friné Portal is the financial assistant. She's on level 4.
    • Harriett Johansson helps with EU matters
    • For other matters (or those above) mail service@csc.kth.se

Questions should be addressed to Mads Dam.

Mailing Lists

You can find information about department and school level mailing lists in Mailing lists.

Seminars

There are currently four seminar series organized by the TCS group:

Other lists of seminar series which may be of interest include:

Projects

Studying

Teaching

Traveling

Equipment

CS Doctoral Program Stuff

Information for newcomers

Read separate article for newcomers.

Visitors

Information for visitors.

Office plan

Office plan

Research Grants

Several foundations provide grants, for different audiences and purpouses. Read the Research Grants articles for an overview.

Duties

Not much work related

TCS-fika IRC Channel, join the chat for TCS staff.

Getting started with the wiki

Retrieved from "https://tcs-wiki.csc.kth.se/mediawiki/index.php/Main_Page"