Site /

AllRecentChanges

ProgLog.DAT350 . . . October 22, 2024, at 04:54 am by Ulf:
Profiles.PatrikJansson . . . July 06, 2024, at 05:27 pm by Patrik Jansson:
ProgLog.StockholmGoteborgMeeting231128 . . . November 29, 2023, at 08:51 am by Matthias Hutzler: Add link to Christians notes on GAHTs
ProgLog.StockholmGoteborgMeeting231123 . . . November 23, 2023, at 12:42 pm by Peter Dybjer:
ProgLog.StockholmGoteborgMeetings . . . November 22, 2023, at 09:44 am by Peter Dybjer:
FP.FPWeeklyMeeting . . . October 23, 2023, at 11:38 am by Patrik Jansson:
FP.FP . . . October 23, 2023, at 08:03 am by Patrik Jansson:
SE.Seminar . . . June 01, 2023, at 01:40 pm by Luke:
ProgLog.StockholmGoteborgMeeting230412 . . . April 12, 2023, at 02:03 pm by Andreas: Link to John Scott's Palace
CSE.SustEduResearch . . . November 15, 2022, at 08:52 am by Morin:
CSE.Miljo . . . November 14, 2022, at 01:44 pm by Morin:
ProgLog.StockholmGoteborgMeeting210812 . . . December 08, 2021, at 09:50 AM by Fabian:
ProgLog.StockholmGoteborgMeeting211208 . . . December 08, 2021, at 09:48 AM by Fabian:
CSE.SWEET . . . November 09, 2021, at 02:48 PM by Patrik Jansson:
CSE.SustainabilityLabelling . . . October 05, 2021, at 09:34 AM by Jennifer:
ProgLog.StockholmGoteborgMeeting210428 . . . April 26, 2021, at 08:55 PM by Fabian: somehow cut off Nisse's abstract
ProgLog.StockholmGoteborgMeeting200227 . . . April 26, 2021, at 08:39 PM by Fabian: had somehow missed Ayberk's abstract, and found Max' abstract
ProgLog.SideBar . . . April 26, 2021, at 07:38 AM by Fabian:
ProgLog.StockholmGoteborgMeeting171025 . . . April 26, 2021, at 07:37 AM by Fabian:
ProgLog.StockholmGoteborgMeeting180323 . . . April 26, 2021, at 07:37 AM by Fabian:
ProgLog.StockholmGoteborgMeeting181212 . . . April 26, 2021, at 07:37 AM by Fabian:
SE.ThesisProjects . . . January 08, 2021, at 01:50 PM by mc: update thesis projects
ProgLog.CoursePlan . . . November 19, 2020, at 02:42 PM by Christian Sattler:
ProgLog.CTFP20 . . . October 25, 2020, at 07:44 AM by Thierry:
CSE.SustainabilityCSEEducation . . . June 03, 2019, at 11:41 AM by Jennifer:
ST.STWinterMeetingHistory . . . January 11, 2019, at 09:47 AM by Patrik Jansson:
Security.SecDeadlines . . . December 19, 2018, at 02:05 PM by Aljoscha:
NS.SystemSecurity . . . December 13, 2018, at 02:15 PM by Aljoscha: NS/SystemSecurity: Update group memebershi
NS.CurrentResearch . . . November 15, 2018, at 02:17 PM by Aljoscha Lautenbach:
ProgLog.CTFP18 . . . November 04, 2018, at 08:18 PM by coquand:
ProgLog.CoursePlanHA . . . November 04, 2018, at 08:17 PM by coquand:
ProgLog.CTHA18 . . . November 02, 2018, at 12:20 PM by Christian Sattler:
ProgLog.CTFP17 . . . November 01, 2018, at 12:49 PM by coquand:
CSE.Dom2Aff . . . October 08, 2018, at 08:49 AM by Patrik Jansson:
NS.NS . . . October 01, 2018, at 08:02 AM by Aljoscha: Add NS/Current Research
PhDStudents.PhDStudents . . . May 31, 2018, at 12:00 PM by Aljoscha Lautenbach: Update link for follow-up meetings and remove the council description and roles.
PhDStudents.CouncilSelection . . . May 31, 2018, at 11:58 AM by Aljoscha Lautenbach:
PhDStudents.CouncilRoles . . . May 31, 2018, at 11:52 AM by Aljoscha Lautenbach: Update info to point to statutes instead of defining the roles here.
CSE.WorkEnvironment . . . April 15, 2018, at 02:18 PM by Patrik Jansson:
FP.DTPinSciComp . . . April 10, 2018, at 09:20 AM by Patrik Jansson:
Site.SideBar . . . February 14, 2018, at 10:12 PM by Patrik Jansson:
ST.GRACeFUL . . . November 17, 2017, at 06:12 PM by Patrik Jansson:
Research.Chalmers-Security-Seminar . . . October 18, 2017, at 09:29 AM by Boel Nelson: New talk
SE.SE . . . October 05, 2017, at 04:54 PM by tb:
ProgLog.DAT140 . . . September 07, 2017, at 09:04 AM by Anonymous Coward: Make road sign more visible
CSE.Gender . . . June 16, 2017, at 01:00 PM by Patrik Jansson:
CSE.CSE . . . May 10, 2017, at 02:44 PM by Patrik Jansson:
Research.VR2017 . . . April 10, 2017, at 06:11 AM by Patrik Jansson:
Education.Education . . . April 04, 2017, at 12:39 PM by PeLj:
PhDStudents.EmailLists . . . March 18, 2017, at 06:09 PM by Aljoscha Lautenbach: Move explanation back to top of page.
PhDStudents.PhDCourseSecuritySignUp . . . March 16, 2017, at 01:08 PM by Steven:
PhDStudents.PhDCourses . . . February 21, 2017, at 11:55 AM by Aljoscha Lautenbach: Add upcoming course in "frontiers in security research"
NS.SysSecDeadlines . . . February 07, 2017, at 09:34 PM by Aljoscha Lautenbach: Redirect to the new page Security/SecDeadlines to avoid duplicate work.
ST.ST . . . January 18, 2017, at 09:07 AM by Patrik Jansson: New org. structure
SET.Git . . . January 14, 2017, at 09:21 AM by Patrik Jansson:
SET.Cse-setFileArea . . . January 14, 2017, at 09:20 AM by Patrik Jansson:
ST.Employees . . . December 22, 2016, at 07:50 AM by Patrik Jansson:
ST.CoEGSS . . . December 19, 2016, at 09:25 PM by Patrik Jansson:
ST.ST2016-11 . . . November 23, 2016, at 11:36 AM by Patrik Jansson:
ST.PerformanceAppraisal . . . October 26, 2016, at 08:13 PM by Patrik Jansson:
ST.IntroNewEmployee . . . October 15, 2016, at 11:45 AM by Patrik Jansson:
ST.STWinterMeeting2017 . . . October 05, 2016, at 11:57 AM by Patrik Jansson:
ST.EmployeeSurvey . . . October 05, 2016, at 09:29 AM by Patrik Jansson:
ST.VP2017 . . . October 03, 2016, at 12:20 PM by Patrik Jansson:
ST.ST2016-10 . . . October 03, 2016, at 06:52 AM by Patrik Jansson:
ProgLog.ProgLog . . . September 15, 2016, at 06:34 PM by Oleg Kiselyov Simon Peyton Jones Chung-chieh Shan: Fun with type function by Oleg Kiselyov Simon Peyton Jones Chung-chieh Sha - Johannes, Karen, Shamsi
ST.BusinessTravelApproval . . . September 07, 2016, at 11:48 AM by Patrik Jansson:
ST.PerformanceAppraisalTemplate . . . September 07, 2016, at 08:14 AM by Patrik Jansson:
ST.ST2016-09 . . . September 02, 2016, at 09:27 AM by Gerardo:
ST.SteeringGroup . . . August 30, 2016, at 03:00 PM by Patrik Jansson:
Profiles.OskarAllerbo . . . August 24, 2016, at 02:43 PM by Oskar Allerbo:
ST.ST2016-08 . . . August 20, 2016, at 06:00 AM by Patrik Jansson:
FP.ProjectNumbers . . . August 17, 2016, at 01:56 PM by Patrik Jansson:
ST.ST2016-06 . . . August 16, 2016, at 03:53 PM by Patrik Jansson:
ST.DivisionMeetings . . . August 16, 2016, at 03:51 PM by Patrik Jansson:
Profiles.SyntheticPopulations-ElectricVehicles . . . June 27, 2016, at 07:22 AM by Oskar Allerbo:
Vacation.Vacation . . . May 26, 2016, at 09:24 PM by Patrik Jansson:
PhDStudents.SummerSchools . . . May 02, 2016, at 02:59 PM by iosif:
ST.ST2016-04 . . . April 19, 2016, at 08:06 PM by Patrik Jansson:
Research.VR2016 . . . April 06, 2016, at 03:45 PM by Patrik Jansson:
ST.ST2016-03 . . . March 24, 2016, at 02:11 PM by Patrik Jansson:
CSE.DepartmentDay . . . February 29, 2016, at 02:25 PM by Patrik Jansson:
ST.ST2016-02 . . . February 26, 2016, at 12:16 PM by Patrik Jansson:
Research.VRWorkshop . . . February 26, 2016, at 08:31 AM by Patrik Jansson:
PhDStudents.PracticalOnlineSecurity . . . February 05, 2016, at 04:28 PM by Raul: Added links from Raul's talk
PhDStudents.Seminars . . . February 04, 2016, at 06:24 PM by Inari:
ST.LongTermPlanning . . . February 01, 2016, at 11:35 PM by Patrik Jansson:
ST.STWinterMeeting2016 . . . February 01, 2016, at 09:09 PM by Patrik Jansson:
FM.FM . . . February 01, 2016, at 10:50 AM by caf:
FP.ValiantAgda . . . January 30, 2016, at 10:49 PM by Patrik Jansson:
ST.Salary . . . January 29, 2016, at 03:43 PM by Patrik Jansson:
ST.ST2016-01 . . . January 22, 2016, at 02:18 PM by Patrik Jansson:
ST.Positions . . . January 14, 2016, at 03:32 PM by Patrik Jansson:
Tekn.Videokonferens . . . December 15, 2015, at 10:25 AM by Arne: .
ST.ST2015-12 . . . December 11, 2015, at 09:27 PM by Patrik Jansson:
ProSec.Inlining . . . December 08, 2015, at 05:17 PM by luciano:
ProSec.GAEtaintmode . . . December 08, 2015, at 04:44 PM by luciano:
EducationalProjects.OverviewOfTheProgrammingTrack . . . November 18, 2015, at 07:25 AM by peter:
ST.ST2015-11 . . . November 10, 2015, at 12:31 PM by Andrei:
Research.VR2015 . . . November 04, 2015, at 01:57 PM by Patrik Jansson:
Education.InfoForTeachers . . . October 28, 2015, at 04:39 PM by Ana:
Education.PLT . . . October 20, 2015, at 11:15 AM by Patrik Jansson:
PhDStudents.FlowSeminar . . . October 12, 2015, at 09:52 AM by Inari:
ST.VP2016 . . . October 07, 2015, at 03:14 PM by Patrik Jansson:
PhDStudents.Feedback2014 . . . October 07, 2015, at 01:04 PM by Inari:
CS.SomethingRelatedToDependentTypesOrAgda . . . October 07, 2015, at 12:50 PM by NAD: Removed the proposal.
CS.ProjectProposals . . . October 07, 2015, at 12:50 PM by NAD: Removed a proposal
RAWFPInternal.RAWFPInternal . . . October 01, 2015, at 08:39 AM by Michal: Add Bitbucket repo and Box folder
ST.ST2015-10 . . . September 28, 2015, at 03:59 AM by Patrik Jansson:
ST.VP2015 . . . September 18, 2015, at 04:51 PM by Patrik Jansson:
PhDStudents.NewProposedCouncilSelection . . . September 16, 2015, at 02:07 PM by Inari:
PhDStudents.ResearchVisits . . . September 16, 2015, at 01:59 PM by Inari: add link to the collection page of PhD council seminars
PhDStudents.ResearchVisitsFollowUp . . . September 16, 2015, at 01:58 PM by Inari: Create stub page for December's PhD council seminar
PhDStudents.PhDCourseSecurity . . . September 14, 2015, at 08:03 PM by Inari:
CS.MastersThesis . . . September 10, 2015, at 02:14 PM by Ulf Norell: Removed old proposals
CS.CompilingDependentlyTypedPrograms . . . September 10, 2015, at 02:12 PM by Ulf Norell: How do you delete pages?
CS.TypeCheckingWithImplicitSyntax . . . September 10, 2015, at 02:12 PM by Ulf Norell: How do you delete pages?
CS.ADependentlyTypedXMLLibrary . . . September 10, 2015, at 02:12 PM by Ulf Norell: How do you delete pages?
ST.Medarbetarsamtalsmall . . . September 10, 2015, at 09:59 AM by Patrik Jansson:
EducationalProjects.RoutersAndSwitchesForComputerCommunication . . . September 09, 2015, at 09:21 PM by Peter:
ST.ACCFun . . . September 09, 2015, at 08:35 AM by Patrik Jansson:
Research.ACEResearchProject . . . August 31, 2015, at 10:19 AM by alexandra: Added Albin to the mailing list, changed my own mail address
EducationalProjects.UpprustningBasen . . . August 24, 2015, at 07:51 AM by Peter:
EducationalProjects.UtrustningInbyggdaRealtidsSystem . . . August 24, 2015, at 07:51 AM by Peter:
EducationalProjects.InteractiveLearningForOn-CampusCourses . . . August 21, 2015, at 01:18 PM by Peter:
EducationalProjects.SEMProgramDevelopment . . . August 21, 2015, at 01:18 PM by Peter:
EducationalProjects.DSAKUNDistributedSystemsDevelopment . . . August 21, 2015, at 01:17 PM by Peter:
EducationalProjects.DIT082DAT325DomainSpecificLanguagesOfMathematics . . . August 21, 2015, at 01:17 PM by Peter:
EducationalProjects.DIT980DiscreteMathematics . . . August 21, 2015, at 01:12 PM by Peter:
EducationalProjects.ExtraResourcesForTDA295 . . . August 21, 2015, at 01:11 PM by Peter:
EducationalProjects.SelfDrivingCars . . . August 21, 2015, at 01:10 PM by Peter:
EducationalProjects.UndervisningInomVetenskapligtForfattarskapGranskningPresentation . . . August 21, 2015, at 01:00 PM by Peter:
EducationalProjects.Thesis-ProjectDemonstrationLab . . . August 21, 2015, at 12:59 PM by Peter:
EducationalProjects.ProfilingOfPrograms . . . August 21, 2015, at 12:58 PM by Peter:
EducationalProjects.SustainabilityMPSOF . . . August 21, 2015, at 12:18 PM by Peter:
EducationalProjects.ITSupportForMScThesis . . . August 21, 2015, at 12:18 PM by Peter:
EducationalProjects.SOFProgramDevelopment . . . August 21, 2015, at 12:16 PM by Peter:
EducationalProjects.TeachStudentAssistants . . . August 21, 2015, at 12:06 PM by Peter:
EducationalProjects.LanguageSupportForWeakerStudents . . . August 21, 2015, at 12:02 PM by Peter:
EducationalProjects.UppgraderingLaborationsutrustningMPEES . . . August 21, 2015, at 12:00 PM by Peter:
EducationalProjects.UpgradingLabEquipment . . . August 21, 2015, at 11:59 AM by Peter:
EducationalProjects.ComputersLindholmen . . . August 21, 2015, at 11:57 AM by Peter:
EducationalProjects.EDA092-Operating-Systems . . . August 21, 2015, at 11:56 AM by Peter:
EducationalProjects.SocialMarketingMa-program . . . August 21, 2015, at 08:17 AM by Peter:
EducationalProjects.ModernMetodikForEffektivtLarandeAvDatasakerhet . . . August 21, 2015, at 06:45 AM by Peter:
EducationalProjects.ImprovementOfCryptographyCourse . . . August 21, 2015, at 06:43 AM by Peter:
EducationalProjects.TheComputerScientistInSociety . . . August 21, 2015, at 06:42 AM by Peter:
EducationalProjects.PingPongSupport . . . August 21, 2015, at 06:28 AM by Peter:
EducationalProjects.SeminarsYear1 . . . August 20, 2015, at 09:45 PM by Peter:
EducationalProjects.PROMPT-ProjectTogetherWithBTHAndMDH . . . August 20, 2015, at 02:33 PM by Peter:
EducationalProjects.ExtraReourcesForTDA545 . . . August 20, 2015, at 02:15 PM by Peter:
EducationalProjects.RedesignOfTheFirstTwoProgrammingCourses . . . August 20, 2015, at 02:14 PM by Peter:
EducationalProjects.ExaminingAndRedirectingStudentsWithHighProgrammingSkills . . . August 20, 2015, at 01:43 PM by Peter:
EducationalProjects.NewDataIntroductionCourse . . . August 20, 2015, at 01:43 PM by Peter:
EducationalProjects.ImprovingGraduationRatesInAdvancedMasterLevelCourses . . . August 20, 2015, at 01:39 PM by Peter:
EducationalProjects.DevelopingCourseTestingDebuggingAndVerification . . . August 20, 2015, at 01:22 PM by Peter:
EducationalProjects.DIT952Object-orientedProgramming . . . August 20, 2015, at 01:08 PM by Peter:
EducationalProjects.DIT012ImperativeProgramming . . . August 20, 2015, at 01:06 PM by Peter:
EducationalProjects.MCC091CurcuitDesign . . . August 20, 2015, at 01:01 PM by Peter:
EducationalProjects.EducationalProjects . . . August 20, 2015, at 12:54 PM by Peter:
EducationalProjects.FlippedClassroomForTeachingSE . . . August 20, 2015, at 12:53 PM by Peter:
EducationalProjects.ToolForMonitoringHoursForTA . . . August 20, 2015, at 12:50 PM by Peter:
EducationalProjects.NewXilinxCards . . . August 19, 2015, at 01:35 PM by Peter:
EducationalProjects.DIT544Development . . . August 19, 2015, at 01:06 PM by Peter:
EducationalProjects.FormalMethodsForSoftwareDevelopment . . . August 19, 2015, at 12:11 PM by Peter:
EducationalProjects.TechnicalWriting . . . August 19, 2015, at 12:09 PM by Peter:
EducationalProjects.ExtraResourcesForTDA246 . . . August 19, 2015, at 12:08 PM by Peter:
EducationalProjects.ExaminationETIK-momentMa-utb . . . August 19, 2015, at 12:04 PM by Peter:
EducationalProjects.CoordinationOfPlanningHoursForDAmpIT . . . August 19, 2015, at 11:54 AM by Peter:
EducationalProjects.TranslationOfCourseSyllabi . . . August 19, 2015, at 11:49 AM by Peter:
EducationalProjects.ImproveAlumniNetworking . . . August 19, 2015, at 11:47 AM by Peter:
ST.ST2015-08 . . . August 18, 2015, at 01:00 PM by Patrik Jansson:
ST.ST2015-09 . . . August 06, 2015, at 09:58 AM by Patrik Jansson:
FP.SeqDecProb . . . July 29, 2015, at 09:57 PM by Patrik Jansson:
ST.AssocProfRecruitment2015 . . . June 29, 2015, at 01:53 PM by Patrik Jansson:
ST.Reorg2015 . . . June 26, 2015, at 12:24 PM by Patrik Jansson:
FP.DSLsofMath . . . June 25, 2015, at 07:12 AM by Patrik Jansson:
ST.ST2015-06 . . . June 16, 2015, at 07:12 AM by Patrik Jansson:
ILG.ILG . . . June 15, 2015, at 08:09 PM by Patrik Jansson:
ST.ST2015-05 . . . May 22, 2015, at 07:40 AM by Patrik Jansson:
ProgLog.Seminar . . . May 04, 2015, at 12:54 PM by Andreas Abel:
ST.BudgetOverview2015 . . . May 03, 2015, at 01:37 PM by Patrik Jansson:
PhDStudents.NewCouncilSelection . . . April 29, 2015, at 02:18 PM by Behrooz:
ST.FacultyMeetings . . . April 28, 2015, at 02:19 PM by Patrik Jansson:
ST.IntroNewPhDStudent . . . April 26, 2015, at 08:13 PM by Patrik Jansson:
ST.Medarbetarskap . . . April 24, 2015, at 02:54 PM by Patrik Jansson:
PhDStudents.SWITS2015 . . . April 24, 2015, at 12:40 PM by Aljoscha Lautenbach:
ST.ST2015-04 . . . April 22, 2015, at 06:42 AM by Patrik Jansson:
FP.MScThesis . . . April 16, 2015, at 10:49 AM by Patrik Jansson:
Education.MScThesisCourse . . . April 15, 2015, at 08:07 AM by Patrik Jansson:
Research.Research . . . April 09, 2015, at 09:33 AM by sam: added ACE research group reference
NS.SysSecSchedule . . . April 02, 2015, at 08:38 AM by Aljoscha Lautenbach: Updated meeting time
FP.LibrariesYouCanTrust . . . April 01, 2015, at 11:53 AM by Patrik Jansson:
Education.FollowUpMeeting . . . March 31, 2015, at 08:25 PM by Jan Jonsson:
FP.ClassLaws . . . March 26, 2015, at 10:30 PM by Patrik Jansson:
ST.ST2015-03 . . . March 26, 2015, at 05:08 PM by Patrik Jansson:
FP.Courses . . . March 18, 2015, at 04:31 PM by Patrik Jansson:
FP.HaskellDSLForCalulusOrLinearAlgebra . . . March 18, 2015, at 03:46 PM by Patrik Jansson:
FP.OptimizingFunctionRepresentationsForIntervalAnalysis . . . March 18, 2015, at 02:24 PM by Cezar:
FP.HaskellDSLForCalculusOrLinearAlgebra . . . March 18, 2015, at 02:20 PM by Cezar: Migrated page with typo in title
FP.VerifiedValidatedNumericalMethods . . . March 17, 2015, at 02:20 PM by Patrik Jansson:
FP.ListOfCurrentEx-jobbs . . . March 16, 2015, at 01:54 PM by Patrik Jansson:
FP.FeldsparRelatedProjects . . . March 16, 2015, at 01:48 PM by Emil: Updated Feldspar projects
FP.SideBar . . . March 16, 2015, at 01:44 PM by Emil: Fixed Feldspar link
FP.AgdaBackendForOTT . . . March 16, 2015, at 01:16 PM by Patrik Jansson:
FP.FunctionalFEEC . . . March 16, 2015, at 01:03 PM by Patrik Jansson:
ST.STWinterMeeting2015 . . . February 20, 2015, at 04:00 PM by michal: Fixed link to Bj�rn slides
ST.TeacherGroup . . . February 17, 2015, at 10:10 PM by Patrik Jansson:
FP.FP2015-02 . . . February 12, 2015, at 04:52 PM by Patrik Jansson:
ST.ST2015-02 . . . February 04, 2015, at 09:51 AM by Patrik Jansson:
ST.Recruitment . . . January 23, 2015, at 08:22 AM by Patrik Jansson:
ST.ST2015-01 . . . January 15, 2015, at 09:43 PM by Patrik Jansson:
ProgLog.News . . . January 14, 2015, at 12:28 PM by Andreas Abel:
ST.SalaryCriteria . . . January 02, 2015, at 09:41 AM by Patrik Jansson:
ST.ComputingLab . . . December 20, 2014, at 10:15 AM by Emil:
Education.QualityFunding . . . December 18, 2014, at 01:24 PM by Patrik Jansson:
ProgLog.HoTT . . . December 17, 2014, at 02:04 PM by Bas Spitters:
ProgLog.TypeTheoryAndFormalizationOfMathematics . . . December 17, 2014, at 09:49 AM by Bas Spitters:
ST.ST2014-12 . . . December 15, 2014, at 05:33 PM by Patrik Jansson:
TDA593.TDA593 . . . December 09, 2014, at 08:26 AM by Grischa:
ST.ParentalLeave . . . November 28, 2014, at 01:07 PM by Patrik Jansson:
Education.RulesAndRegulationsForExaminers . . . November 27, 2014, at 12:41 PM by Patrik Jansson:
Education.Prog1 . . . November 26, 2014, at 02:56 PM by Patrik Jansson:
Education.Clusters . . . November 10, 2014, at 10:30 AM by Patrik Jansson:
ST.ST2014-11 . . . November 08, 2014, at 09:44 PM by Patrik Jansson:
Research.VR2014 . . . November 08, 2014, at 09:01 PM by Patrik Jansson:
ST.TechTalksLetter . . . November 05, 2014, at 03:36 PM by Emil:
RAWFP.RAWFP . . . October 20, 2014, at 09:55 AM by Emil: Added "award number"
NS.SysSec-Website . . . October 14, 2014, at 07:50 AM by Aljoscha Lautenbach: Deleted NS.SysSec-Website because nobody was using it
ST.ST2014-10 . . . October 10, 2014, at 05:41 PM by Patrik Jansson:
FP.Parallella . . . September 30, 2014, at 07:59 PM by Ola:
ForMath.PapersAndSlides . . . September 24, 2014, at 12:58 PM by J Heras:
ST.DivisionDialogue2014 . . . September 23, 2014, at 09:38 PM by Patrik Jansson:
CTFP14.CTFP14 . . . September 21, 2014, at 09:03 PM by Patrik Jansson:
ST.ST2014-09 . . . September 16, 2014, at 08:56 AM by Patrik Jansson:
Education.EducationStrategy2015 . . . September 15, 2014, at 08:36 PM by Miroslaw Staron:
ProSec.ProSecDeadlines . . . September 15, 2014, at 02:39 PM by Bart:
ProSec.ProSec . . . September 01, 2014, at 03:13 PM by cookie: link for myself added
CS.SummerMeeting2014Schedule . . . August 27, 2014, at 02:05 PM by Fredrik Johansson:
CS.SummerMeeting2014 . . . August 21, 2014, at 10:21 AM by Fredrik Johansson:
CS.CS . . . August 21, 2014, at 10:04 AM by Fredrik Johansson: Added summer meeting 2014
PhDStudents.InformationForNewPhDStudents . . . August 20, 2014, at 05:27 PM by Bart:
ST.ST2014-08 . . . August 19, 2014, at 10:54 AM by Patrik Jansson:
ST.ST2014-06 . . . August 19, 2014, at 10:52 AM by Patrik Jansson:
ST.BaseFundingProposal . . . August 19, 2014, at 10:42 AM by Patrik Jansson:
CTFP14.CoursePlan . . . August 13, 2014, at 09:25 PM by Cezar Ionescu:
FP.ErrorReportingForCYKChartParsing . . . August 11, 2014, at 08:42 AM by JP:
PhDStudents.SummerSchoolAttendance . . . July 07, 2014, at 04:03 PM by Aljoscha:
FP.AoPAgda . . . July 04, 2014, at 01:59 PM by Patrik Jansson:
FP.StronglyTypedLibrariesForProgramsAndProofs . . . July 04, 2014, at 11:12 AM by Patrik Jansson:
Education.Projektnummer . . . July 02, 2014, at 08:10 AM by Patrik Jansson:
Education.CSALLSpecialCourses . . . June 11, 2014, at 07:54 AM by Peter Damaschke:
ST.Git . . . June 09, 2014, at 04:40 PM by Patrik Jansson:
ST.Representation . . . June 07, 2014, at 05:45 PM by Patrik Jansson:
NS.Website . . . June 03, 2014, at 02:28 PM by Aljoscha:
CTFP13.CTFP13 . . . May 26, 2014, at 02:23 PM by Patrik Jansson:
Education.ParDist . . . May 23, 2014, at 08:58 PM by Olaf Landsiedel: small updates on course cluster
Main.HomePage . . . May 16, 2014, at 02:26 PM by Aljoscha: Added link to the PhD Students pages
ST.ST2014-05 . . . May 16, 2014, at 09:31 AM by John C:
NS.DCS . . . May 14, 2014, at 12:50 AM by Aljoscha: Corrected link for the group logo
Education.PhDStudents . . . May 13, 2014, at 03:16 PM by Aljoscha: Another try to redirect to correct group
Education.SummerSchools . . . May 13, 2014, at 03:11 PM by Aljoscha: Deleting Eduction.SummerSchools because it was moved to PhDStudents.SummerSchools
Main.CSEWikiHOWTO . . . May 13, 2014, at 01:04 PM by Patrik Jansson:
Education.MScThesisQualityProjectPlan . . . April 24, 2014, at 08:48 AM by Miroslaw Staron:
Education.CommunicatingMathematics . . . April 23, 2014, at 10:33 AM by Patrik Jansson:
Education.Logic . . . April 14, 2014, at 01:57 PM by Ana:
ST.ST2014-04 . . . April 12, 2014, at 06:53 PM by Patrik Jansson:
Education.DStr . . . April 11, 2014, at 01:31 PM by NAD: Notes from cluster meeting 2014-04-11
Education.Alg . . . April 09, 2014, at 10:17 PM by Patrik Jansson:
ProSec.AddressList . . . March 28, 2014, at 05:04 PM by Luciano :
Education.Sec . . . March 26, 2014, at 01:47 PM by Andrei:
RAWFP.Workshop2012 . . . March 21, 2014, at 10:52 AM by Mary Sheeran:
ST.ST2014-03 . . . March 18, 2014, at 11:07 PM by Patrik Jansson:
ST.TeachingTeams . . . March 14, 2014, at 12:26 PM by Patrik Jansson:
Education.FP . . . March 14, 2014, at 12:20 PM by Patrik Jansson:
Education.FM . . . March 14, 2014, at 12:20 PM by Patrik Jansson:
Education.DataSci . . . March 14, 2014, at 12:19 PM by Patrik Jansson:
Education.Prog2 . . . March 14, 2014, at 12:18 PM by Patrik Jansson:
FP.EmbeddedParserGenerators . . . March 10, 2014, at 09:49 PM by Patrik Jansson:
FP.ICFP2014 . . . March 10, 2014, at 09:37 PM by Patrik Jansson:
ST.ST2014-02 . . . February 26, 2014, at 12:37 PM by Patrik Jansson:
FP.Feldspar . . . February 18, 2014, at 01:25 PM by Emil:
ST.Courses . . . February 16, 2014, at 06:11 PM by Patrik Jansson:
KOL.KOL . . . February 16, 2014, at 11:48 AM by Patrik Jansson:
ForMath.ForMath . . . February 02, 2014, at 02:19 PM by Bas Spitters:
ST.Researchers . . . January 21, 2014, at 10:29 PM by Ramona:
ST.ST2014-01 . . . January 17, 2014, at 02:29 PM by Patrik Jansson:
ST.STWinterMeeting2014Session2 . . . January 15, 2014, at 02:58 PM by Emil:
ST.STWinterMeeting2014Session3 . . . January 15, 2014, at 12:11 PM by Dave:
ST.STWinterMeeting2014Schedule . . . January 15, 2014, at 11:46 AM by Ramona:
ST.GPStreasureHunt . . . January 15, 2014, at 11:44 AM by Ramona:
ST.STWinterMeeting2014 . . . January 15, 2014, at 11:40 AM by Ramona:
ST.STWinterMeeting2014Session5 . . . January 15, 2014, at 11:37 AM by Ramona:
ST.STWinterMeeting2014Session4 . . . January 15, 2014, at 11:00 AM by Daniel Hedin:
ST.BudgetOverview2014 . . . January 14, 2014, at 02:43 PM by Patrik Jansson:
ST.STWinterMeeting2014Session6 . . . January 09, 2014, at 11:49 PM by Ramona: added first draft of schedule
ST.STWinterMeeting2014Session1 . . . January 09, 2014, at 01:57 PM by Wolfgang Ahrendt:
ST.ST2013-12 . . . January 09, 2014, at 10:34 AM by Patrik Jansson:
ST.AssProfMeetings . . . December 21, 2013, at 10:16 PM by Patrik Jansson:
ST.Programmeringssp�retHIng . . . December 20, 2013, at 04:21 PM by Patrik Jansson:
CTFP13.LiteraturePick . . . December 08, 2013, at 08:57 PM by lopezv: Selected paper for Tuesday
Research.VR2011 . . . November 29, 2013, at 11:01 PM by Patrik Jansson:
Education.TDA593 . . . November 25, 2013, at 09:39 AM by AL:
CE.DAT096 . . . November 20, 2013, at 02:17 PM by larssv:
CTFP13.CoursePlan . . . November 20, 2013, at 11:08 AM by Patrik Jansson:
ST.ST2013-11 . . . November 15, 2013, at 06:55 PM by Patrik Jansson:
Tekn.LinuxTricks . . . November 13, 2013, at 02:56 PM by Patrik Jansson:
Research.VR2013 . . . November 04, 2013, at 12:04 PM by Patrik Jansson:
EDIT.EDIT-room . . . October 14, 2013, at 03:14 PM by Cezar Ionescu:
ST.VP2014 . . . October 09, 2013, at 02:25 PM by Patrik Jansson: Added prel. faculty funding
ST.ST2013-10 . . . October 07, 2013, at 11:27 PM by Patrik Jansson:
ForMath.ProofExamples . . . September 29, 2013, at 11:36 PM by Yves Bertot: change the name of the CoqEAL compressed archive to better reflect its format
ST.Docent . . . September 29, 2013, at 05:55 PM by Patrik Jansson:
ForMathInternalPages.Meetings . . . September 27, 2013, at 12:40 PM by Bas Spitters:
ST.ICFP2013 . . . September 25, 2013, at 10:49 PM by Patrik Jansson:
ForMathInternalPages.Milestones . . . September 25, 2013, at 12:15 PM by Ana:
ForMathInternalPages.Deliverables . . . September 25, 2013, at 11:46 AM by Ana:
ForMathInternalPages.DeliverablesDate . . . September 25, 2013, at 11:46 AM by Ana:
ForMathInternalPages.SRM . . . September 24, 2013, at 03:36 PM by Ana:
ForMathInternalPages.Reports . . . September 24, 2013, at 12:08 PM by Ana:
PAD.HSV-eval2012 . . . September 17, 2013, at 01:56 PM by Patrik Jansson:
ST.ST2013-09 . . . September 16, 2013, at 12:04 PM by Patrik Jansson:
ForMathInternalPages.Documents . . . September 12, 2013, at 08:59 PM by Ana:
ForMathInternalPages.Templates . . . September 12, 2013, at 08:53 PM by Ana:
CS.SummerMeeting2013Schedule . . . September 09, 2013, at 05:53 PM by Ramona: some more changes
ST.TravelClaims . . . September 06, 2013, at 10:23 PM by Patrik Jansson:
ST.EconomyReports . . . September 05, 2013, at 03:50 PM by Patrik Jansson:
Education.BudgetPlanning2014 . . . August 28, 2013, at 09:55 AM by Wolfgang Ahrendt:
FP.MengWang . . . August 23, 2013, at 06:08 PM by Meng:
ST.ST2013-08 . . . August 20, 2013, at 09:51 AM by Patrik Jansson:
ST.FoAssUtv . . . August 19, 2013, at 09:55 AM by Patrik Jansson:
FM.REPOSITORIES . . . August 15, 2013, at 05:04 PM by gapag:
FP.ICFP2013Travel . . . August 15, 2013, at 03:50 PM by Emil:
FM.MEMBERSAREA . . . August 15, 2013, at 11:30 AM by gapag:
FM.REPOS . . . August 14, 2013, at 05:02 PM by gapag:
ST.ResidencePermit . . . August 08, 2013, at 02:05 PM by Patrik Jansson:
ST.Invoices . . . July 30, 2013, at 12:09 AM by Patrik Jansson:
FM.ChristopherSvanefalk . . . July 16, 2013, at 06:39 PM by Christopher: Added brief description
FP.Venues . . . July 01, 2013, at 11:05 PM by Patrik Jansson:
ForMathInternalPages.FRM . . . July 01, 2013, at 04:52 PM by Ana:
CS.SummerMeeting2013 . . . June 26, 2013, at 11:32 AM by Ramona:
CS.SummerMeeting2013Abstracts . . . June 25, 2013, at 04:23 PM by Ramona:
CS.SpringMeeting2013Schedule . . . June 25, 2013, at 04:22 PM by Ramona:
CS.SpringMeeting2011Schedule . . . June 25, 2013, at 04:15 PM by Ramona:
CS.SpringMeeting2013Abstracts . . . June 25, 2013, at 03:39 PM by Ramona:
Education.ProcessForChoosingCourses2013 . . . June 24, 2013, at 09:39 PM by Miroslaw Staron:
GSDP.GSSLanguages . . . June 23, 2013, at 09:37 AM by Patrik Jansson:
GU.Palasso . . . June 20, 2013, at 07:20 PM by Patrik Jansson:
ST.EducationBudgetProcess . . . June 19, 2013, at 04:03 PM by Patrik Jansson:
ST.TitleTranslations . . . June 14, 2013, at 11:24 AM by Patrik Jansson:
RAWFP.DSL . . . June 10, 2013, at 12:18 PM by Emil:
Education.TravelSupport . . . June 08, 2013, at 10:53 PM by Patrik Jansson:
ST.ST2013-06 . . . June 07, 2013, at 02:25 PM by Patrik Jansson:
ST.Links . . . June 04, 2013, at 04:23 PM by Patrik Jansson:
Education.ChaSoRe . . . May 22, 2013, at 11:08 AM by Patrik Jansson:
ST.Inventory . . . May 22, 2013, at 10:10 AM by Patrik Jansson:
Education.Follow-upContractsWithPrograms2013 . . . May 21, 2013, at 11:42 AM by Miroslaw Staron:
ST.ST2013-05 . . . May 21, 2013, at 07:30 AM by Patrik Jansson:
CS.TeachingTeams . . . May 16, 2013, at 10:00 AM by Patrik Jansson:
FP.SustainableEnergyFuture . . . May 15, 2013, at 11:53 AM by Patrik Jansson:
ST.Delegation . . . May 13, 2013, at 09:35 AM by Patrik Jansson:
Education.CoursePlanning . . . April 26, 2013, at 03:54 PM by Miroslaw Staron:
GU.Email . . . April 23, 2013, at 01:38 PM by Patrik Jansson:
FP.LiquidFeedback . . . April 22, 2013, at 02:05 PM by JP Bernardy:
Education.HSVEvaluation . . . April 21, 2013, at 10:02 PM by Miroslaw Staron:
ST.ST2013-04 . . . March 29, 2013, at 03:15 PM by Patrik Jansson:
ST.ST2013-03 . . . March 29, 2013, at 02:23 PM by Patrik Jansson:
Research.VR2012 . . . March 29, 2013, at 02:21 PM by Patrik Jansson:
ST.IntroNewEmloyee . . . March 19, 2013, at 11:38 AM by Patrik Jansson:
SET.SET . . . March 17, 2013, at 10:52 AM by Patrik Jansson:
Tekn.Videokonferens4Dummies . . . March 14, 2013, at 01:39 PM by Arne Linde:
ProgLog.Members . . . March 05, 2013, at 05:05 PM by Cyril:
FP.PapersRelatedToFeldsparObsidianIntermediateRepresentationsAndTheLike . . . March 01, 2013, at 05:09 PM by Nikita Frolov:
PAD.XPAD . . . March 01, 2013, at 09:54 AM by Bj�rn:
PAD.PAD . . . February 28, 2013, at 10:57 PM by Patrik Jansson:
PAD.MPCSN . . . February 28, 2013, at 10:55 PM by Patrik Jansson:
PAD.TKDAT . . . February 28, 2013, at 10:55 PM by Patrik Jansson:
PAD.MPALG . . . February 28, 2013, at 10:54 PM by Patrik Jansson:
PAD.Programr�dD . . . February 28, 2013, at 10:51 PM by Patrik Jansson:
PAD.Programr�d2012-02 . . . February 28, 2013, at 10:46 PM by Patrik Jansson:
PAD.Veckom�te2011-W45 . . . February 28, 2013, at 10:46 PM by Patrik Jansson:
PAD.SideBar . . . February 28, 2013, at 10:38 PM by Patrik Jansson:
PAD.Veckom�te20110426 . . . February 28, 2013, at 10:33 PM by Patrik Jansson:
PAD.PADArchive2012 . . . February 28, 2013, at 10:25 PM by Patrik Jansson:
PAD.PADArchive2011 . . . February 28, 2013, at 10:25 PM by Patrik Jansson:
PAD.Verksamhetsplan2013 . . . February 28, 2013, at 05:31 PM by Patrik Jansson:
PAD.Veckom�te2013-W09 . . . February 27, 2013, at 02:47 PM by Patrik Jansson:
Tekn.WWW . . . February 19, 2013, at 04:49 PM by Arne Linde:
PAD.Veckom�te2013-W08 . . . February 19, 2013, at 09:56 AM by Patrik Jansson:
FP.VINNOVA2013 . . . February 15, 2013, at 01:38 PM by Emil:
FP.TestingPolymorphicProperties . . . February 12, 2013, at 11:37 PM by Patrik Jansson:
RAWFP.InterviewsFeb2013 . . . February 12, 2013, at 03:40 PM by jp:
PAD.CoursePlanScreening . . . February 05, 2013, at 10:41 PM by Patrik Jansson:
PAD.Email . . . February 04, 2013, at 10:13 PM by Patrik Jansson:
FP.VR2013 . . . January 24, 2013, at 04:12 PM by Patrik Jansson:
PAD.Veckom�te2013-W06 . . . January 22, 2013, at 10:46 AM by Patrik Jansson:
PAD.Veckom�te2013-W04 . . . January 22, 2013, at 10:09 AM by Patrik Jansson:
PAD.MScApplicationStatistics . . . January 22, 2013, at 08:53 AM by Patrik Jansson:
VLSI.STMicroFlowE . . . January 17, 2013, at 10:50 AM by Kasyab P Subramaniyan:
VLSI.STMicroFlowD . . . January 17, 2013, at 10:49 AM by Kasyab P Subramaniyan:
VLSI.EDA . . . January 17, 2013, at 10:21 AM by Kasyab P Subramaniyan: Added wiki headings for the cmos040-2.4.1 and cmos28lp processes
PAD.Programr�d2012-11 . . . January 15, 2013, at 01:41 PM by MariaS:
FP.PublicationPlanning . . . January 15, 2013, at 11:24 AM by jp: Type-Theory in Color
PAD.Veckom�te2013-W05 . . . January 11, 2013, at 04:09 PM by Patrik Jansson:
FP.TestingVersusProvingInClimateImpactResearch . . . January 10, 2013, at 09:14 PM by Patrik Jansson:
PAD.Kandidatval . . . January 08, 2013, at 12:53 PM by Patrik Jansson:
PAD.Veckom�te2012-W08 . . . January 08, 2013, at 12:48 PM by Patrik Jansson:
PAD.Veckom�te2013-W02 . . . January 05, 2013, at 11:26 AM by Patrik Jansson:
CENotes.20121221 . . . December 21, 2012, at 04:09 PM by lars:
CENotes.CENotes . . . December 21, 2012, at 03:55 PM by lars:
PAD.TeachersMeeting2012-12 . . . December 19, 2012, at 03:01 PM by Patrik Jansson:
PAD.UtvecklingsprojektMHUD2013 . . . December 19, 2012, at 10:58 AM by Patrik Jansson:
PAD.L�rarm�ten . . . December 17, 2012, at 11:18 PM by Patrik Jansson:
Tekn.SSH . . . December 11, 2012, at 08:13 AM by larss:
FP.HardwareAcc . . . December 10, 2012, at 04:56 PM by Emil Axelsson:
GSDP.DSL4MGS . . . November 30, 2012, at 11:21 PM by Patrik Jansson:
FP.ScalaCourse . . . November 28, 2012, at 02:32 PM by Mary: Link to course home page
CENotes.20121123 . . . November 27, 2012, at 09:56 AM by larss:
PAD.Veckom�te2012-W48 . . . November 27, 2012, at 09:13 AM by Patrik Jansson:
PAD.Programr�d2013-03 . . . November 21, 2012, at 04:07 PM by Patrik Jansson:
PAD.Veckom�te2012-W47 . . . November 20, 2012, at 08:45 AM by Patrik Jansson:
PAD.Dtek30 . . . November 20, 2012, at 08:36 AM by Patrik Jansson:
Education.DIT8 . . . November 18, 2012, at 08:40 AM by Patrik Jansson:
Education.MScThesisQuality . . . November 16, 2012, at 10:56 AM by Patrik Jansson:
PAD.Veckom�te2012-W46 . . . November 14, 2012, at 01:33 PM by Patrik Jansson:
CENotes.20121109 . . . November 09, 2012, at 03:58 PM by larss:
PAD.Veckom�te2012-W45 . . . October 26, 2012, at 03:58 PM by Patrik Jansson:
PAD.Veckom�te2012-W42 . . . October 16, 2012, at 08:49 AM by Patrik Jansson:
PAD.RekryteringNycklord . . . October 15, 2012, at 11:55 AM by Patrik Jansson:
PAD.D-programmetsKommunikationsprogression . . . October 15, 2012, at 11:44 AM by Patrik Jansson:
CENotes.20121012 . . . October 15, 2012, at 09:50 AM by larss:
PAD.ProgrammeDevelopmentBudget2013 . . . October 14, 2012, at 08:53 AM by Patrik Jansson:
ProgLog.Collaboration . . . October 12, 2012, at 06:28 PM by Peter Dybjer:
CE.QuickTranslation . . . October 09, 2012, at 04:11 PM by larss:
PAD.DatateknisktProjekt . . . October 06, 2012, at 03:00 PM by Patrik Jansson:
CE.CE . . . October 03, 2012, at 10:37 AM by lars :
PAD.Veckom�te2012-W40 . . . October 02, 2012, at 10:22 AM by Patrik Jansson:
CENotes.20120928 . . . September 28, 2012, at 09:02 PM by lars :
PAD.Veckom�te2012-W39 . . . September 24, 2012, at 11:09 PM by Patrik Jansson:
FP.ParaDep . . . September 20, 2012, at 11:16 PM by Patrik Jansson:
FP.Testing-Feat . . . September 20, 2012, at 09:11 AM by Patrik Jansson:
PAD.Veckom�te2012-W38 . . . September 18, 2012, at 10:11 AM by Patrik Jansson:
PAD.HSV-evalMPWorkshop . . . September 15, 2012, at 07:12 PM by Patrik Jansson:
CENotes.20120914 . . . September 14, 2012, at 03:33 PM by larssv:
PAD.CallForNewCourses . . . September 05, 2012, at 10:05 AM by Patrik Jansson:
Tekn.StudUtr . . . August 29, 2012, at 02:43 PM by Arne Linde:
PAD.OverlamningLP0LP1 . . . August 29, 2012, at 09:55 AM by Patrik Jansson:
CENotes.20120827 . . . August 28, 2012, at 10:14 AM by lars:
CENotes.20120629 . . . August 28, 2012, at 09:33 AM by lars:
Tekn.Tekn . . . August 27, 2012, at 02:09 PM by Arne Linde:
PAD.Veckom�te2012-W34 . . . August 21, 2012, at 05:36 PM by Patrik Jansson:
PAD.Elkretsofalt . . . August 21, 2012, at 05:35 PM by Patrik Jansson:
PAD.Veckom�te2012-W33 . . . August 16, 2012, at 10:17 AM by Patrik Jansson:
SE.ThesisGuidelines . . . August 14, 2012, at 05:40 PM by Matthias Tichy: small fix
PAD.Kandidatarbete . . . June 27, 2012, at 04:54 PM by Patrik Jansson:
Education.ChangeChalmersAcademicYear . . . June 27, 2012, at 10:38 AM by larss:
PAD.MPCSNMasterClass . . . June 26, 2012, at 05:47 PM by Patrik Jansson:
CE.MCC092 . . . June 26, 2012, at 10:09 AM by Lena Peterson:
FP.FPworktalks . . . June 20, 2012, at 04:50 PM by Patrik Jansson:
FP.PlanSummer2012 . . . June 17, 2012, at 11:00 PM by Patrik Jansson:
PAD.D2012 . . . June 15, 2012, at 12:16 PM by Patrik Jansson:
PAD.DatatekniksGenomstr�mningOchL�randeInomReglerteknik-blocket . . . June 13, 2012, at 12:13 PM by Patrik Jansson:
ForMath.OtherLinks . . . June 12, 2012, at 01:55 PM by Bas Spitters: Added HDACT
PAD.Veckom�te2012-W23 . . . June 04, 2012, at 05:18 PM by Patrik Jansson:
CENotes.20120525 . . . May 28, 2012, at 08:45 AM by larss:
CENotes.20120504 . . . May 28, 2012, at 08:31 AM by larss:
PAD.D2012GenusperspektivOchProgramutveckling . . . May 24, 2012, at 04:46 PM by Patrik Jansson:
CE.VHDLTeachingProgresssion . . . May 15, 2012, at 02:16 PM by larss:
PAD.TeachersMeeting2012 . . . May 14, 2012, at 11:45 PM by Patrik Jansson:
RAWFP.RAWFPworkshop2012 . . . May 04, 2012, at 01:22 PM by Meng:
FP.ConceptsTypeClasses . . . April 29, 2012, at 11:16 PM by Patrik Jansson:
PAD.Skyddsrond . . . April 28, 2012, at 10:44 PM by Patrik Jansson:
PAD.Verksamhetsplan2012 . . . April 28, 2012, at 10:10 PM by Patrik Jansson:
PAD.Veckom�te2012-W19 . . . April 24, 2012, at 01:20 PM by Patrik Jansson:
PAD.Veckom�te2012-W17 . . . April 24, 2012, at 11:03 AM by Patrik Jansson:
Education.Org . . . April 21, 2012, at 08:13 PM by Patrik Jansson:
PAD.EvalOverview . . . April 19, 2012, at 11:19 AM by Mattias:
PAD.Veckom�te2012-W16 . . . April 17, 2012, at 10:38 PM by Patrik Jansson:
PAD.MPALGConstructiveAlignment . . . April 17, 2012, at 10:10 PM by Patrik Jansson:
Education.�GRU2012 . . . April 17, 2012, at 08:20 AM by Patrik Jansson:
Research.VR2009 . . . April 14, 2012, at 12:12 AM by Patrik Jansson:
FP.PFP . . . April 13, 2012, at 11:49 PM by Patrik Jansson:
FunC.FunC . . . April 13, 2012, at 11:46 PM by Patrik Jansson:
Research.UnivLinks . . . April 05, 2012, at 11:49 AM by Matthias Tichy: add
PAD.Veckom�te2012-W13 . . . March 24, 2012, at 06:52 PM by Patrik Jansson:
PAD.Veckom�te2012-W12 . . . March 20, 2012, at 11:07 AM by Patrik Jansson:
PAD.Programr�d2012-03 . . . March 19, 2012, at 10:18 PM by Patrik Jansson:
ProgLog.Domains . . . March 15, 2012, at 10:16 PM by guilhem:
FP.VR2012 . . . March 15, 2012, at 10:36 AM by Patrik Jansson:
PAD.Veckom�te2012-W10 . . . March 09, 2012, at 01:17 PM by Patrik Jansson:
CE.EESD . . . March 07, 2012, at 03:21 PM by lars:
CENotes.20120302 . . . March 06, 2012, at 04:17 PM by lars:
PAD.Veckom�te2012-W09 . . . February 28, 2012, at 10:43 AM by Patrik Jansson:
ForMathInternalPages.SideBar . . . February 22, 2012, at 10:21 AM by Ana:
PAD.Veckom�te2012-W07 . . . February 14, 2012, at 07:42 PM by Patrik Jansson:
SET.WM2012SEFMSession . . . February 08, 2012, at 09:07 AM by Bj�rn:
SET.WM2012ProSecSessionPart3 . . . February 07, 2012, at 04:58 PM by Phu:
SET.WM2012ProSecSessionPart2 . . . February 07, 2012, at 04:57 PM by Phu:
SET.WM2012ThmProvSession . . . February 07, 2012, at 01:16 PM by Bj�rn:
SET.WM2011ProSecSessionPart1 . . . February 07, 2012, at 08:24 AM by Niklas:
SET.WM2012FPSessionPart2 . . . February 07, 2012, at 06:42 AM by AndersPersson:
SET.WM2012 . . . February 06, 2012, at 02:46 PM by Niklas:
SET.WM2012FPSessionPart1 . . . February 04, 2012, at 01:55 PM by NF:
PAD.CompareProgLangTech . . . February 02, 2012, at 11:36 PM by Patrik Jansson:
PAD.DITMed2012 . . . February 02, 2012, at 10:26 PM by Patrik Jansson:
PAD.ConstructiveAlignmentAFP . . . February 01, 2012, at 01:20 PM by Patrik Jansson:
PAD.Veckom�te2012-W05 . . . January 30, 2012, at 10:57 PM by Patrik Jansson:
PAD.ConstructiveAlignmentB�rkraftigResursanv�ndning . . . January 29, 2012, at 09:11 PM by Patrik Jansson:
PAD.ConstructiveAlignmentDatorsystemteknik . . . January 29, 2012, at 06:11 PM by Patrik Jansson:
ICFP2012workshops.ICFP2012workshops . . . January 29, 2012, at 11:08 AM by Patrik Jansson:
CENotes.20120120 . . . January 27, 2012, at 04:25 PM by larss:
SET.WM2012FMSession . . . January 26, 2012, at 03:53 PM by Bj�rn:
SET.WM2012FPSession . . . January 26, 2012, at 03:53 PM by Bj�rn:
PAD.�GRU2012EoM . . . January 24, 2012, at 10:43 AM by Patrik Jansson:
PAD.�GRU2012TF . . . January 24, 2012, at 10:42 AM by Patrik Jansson:
PAD.�GRU2012S2 . . . January 24, 2012, at 09:52 AM by Patrik Jansson:
PAD.�GRU2012MV . . . January 24, 2012, at 09:28 AM by Patrik Jansson:
PAD.�GRU2012DoIT . . . January 24, 2012, at 09:04 AM by Patrik Jansson:
Education.ChOpS . . . January 20, 2012, at 03:36 PM by Patrik Jansson:
PAD.Veckom�te2012-W04 . . . January 19, 2012, at 11:57 PM by Patrik Jansson:
PAD.CompareAFP . . . January 18, 2012, at 10:59 AM by Patrik Jansson:
PAD.BemanningSvlUbs . . . January 13, 2012, at 01:45 PM by Patrik Jansson:
PAD.Veckom�te2012-W03 . . . January 12, 2012, at 11:49 PM by Patrik Jansson:
PAD.L�rarm�teVT2012 . . . January 12, 2012, at 11:39 PM by Patrik Jason:
PAD.DL�rm�l . . . January 10, 2012, at 09:41 PM by Patrik Jansson:
PAD.PrasadThoughts . . . December 28, 2011, at 09:08 AM by Patrik Jansson:
PAD.L�rarm�teHT2011 . . . December 20, 2011, at 02:25 PM by Patrik Jansson:
FP.FeldsparHack . . . December 15, 2011, at 10:37 AM by Emil:
PAD.Verksamhetsplan2011 . . . December 07, 2011, at 07:19 PM by Patrik Jansson:
Education.GruKomApril2011 . . . December 05, 2011, at 12:41 PM by �sa Samdell:
Education.GruKomMars2011 . . . December 05, 2011, at 12:40 PM by �sa Samdell:
FP.StronglyTypedGenericLibraries . . . December 04, 2011, at 10:57 PM by Patrik Jansson:
CENotes.20111125 . . . November 28, 2011, at 09:34 AM by larss:
PAD.CourseEval . . . November 28, 2011, at 12:05 AM by Patrik Jansson:
PAD.Veckom�te2011-W50 . . . November 28, 2011, at 12:04 AM by Patrik Jansson:
PAD.Veckom�te2011-W49 . . . November 27, 2011, at 10:51 PM by Patrik Jansson:
PAD.Programr�d2011-12 . . . November 25, 2011, at 01:16 AM by Patrik Jansson:
PAD.CSEProgrammeCourses . . . November 25, 2011, at 01:15 AM by Patrik Jansson:
PAD.L�NA . . . November 24, 2011, at 10:16 PM by Patrik Jansson:
PAD.CSEProgrammeMSc . . . November 24, 2011, at 09:27 AM by Patrik Jansson:
PAD.Veckom�te2011-W47 . . . November 23, 2011, at 08:48 AM by Patrik Jansson:
FP.CoreErlangToWhyBackend . . . November 18, 2011, at 10:52 AM by Cl�udio Amaral:
FP.VerificationOfErlangPrograms3ModuleInterfaces . . . November 18, 2011, at 10:52 AM by Cl�udio Amaral:
FP.ErlangSpecificationLanguage . . . November 18, 2011, at 10:47 AM by Cl�udio Amaral:
PAD.Veckom�te2011-W46 . . . November 16, 2011, at 11:02 AM by Patrik Jansson:
CENotes.20111111 . . . November 15, 2011, at 09:36 AM by larss:
PAD.L�NAMedverkandeF�retagHT2011 . . . November 12, 2011, at 08:43 PM by Patrik Jansson:
PAD.L�NACitatVT2011 . . . November 12, 2011, at 08:41 PM by Patrik Jansson:
WGP09.WGP09 . . . November 08, 2011, at 09:46 PM by Patrik Jansson:
WGP.WGP . . . November 08, 2011, at 09:28 PM by Patrik Jansson:
PAD.WordList . . . November 04, 2011, at 07:52 PM by Patrik Jansson:
PAD.Programbeskrivning . . . October 27, 2011, at 11:44 PM by Patrik Jansson:
Education.GruKom . . . October 24, 2011, at 01:48 PM by �sa Samdell:
FP.HCAR-tex . . . October 24, 2011, at 10:33 AM by jp: closed
HAS.Notes2011 . . . October 23, 2011, at 09:12 PM by Patrik Jansson:
HAS.Report2011 . . . October 23, 2011, at 08:59 PM by Patrik Jansson:
PAD.SpecialCourse . . . October 22, 2011, at 03:49 PM by Patrik Jansson:
HAS.HAS . . . October 21, 2011, at 04:37 PM by Emil Axelsson:
Tekn.Servers . . . October 20, 2011, at 03:02 PM by Arne Linde:
Tekn.Printers . . . October 20, 2011, at 10:52 AM by Arne Linde:
CENotes.20111014 . . . October 14, 2011, at 03:19 PM by lars s:
PAD.Veckom�te2011-W41 . . . October 14, 2011, at 09:46 AM by Patrik Jansson:
PAD.Veckom�te2011-W42 . . . October 14, 2011, at 09:44 AM by Patrik Jansson:
CE.DAT116 . . . October 12, 2011, at 09:40 AM by lars:
FP.VerificationOfErlangPrograms2ModuleInterfaces . . . October 07, 2011, at 06:17 PM by Cl�udio Amaral:
PAD.Programbeskrivningsprocess . . . October 07, 2011, at 04:07 PM by Patrik Jansson:
PAD.Veckom�te2011-W40 . . . October 07, 2011, at 08:57 AM by Patrik Jansson:
PAD.Veckom�te2011-W39 . . . September 30, 2011, at 01:41 PM by Patrik Jansson:
PAD.Veckom�te20110930 . . . September 29, 2011, at 03:26 PM by Patrik Jansson:
FP.JavaScriptModeForYi . . . September 28, 2011, at 01:56 PM by Patrik Jansson:
ForMath.ResearchMethodology . . . September 23, 2011, at 12:31 PM by Ana:
StrategyDiscussion.StrategyDiscussion . . . September 20, 2011, at 08:57 AM by larsss:
PAD.Programr�d2011-09 . . . September 19, 2011, at 01:55 PM by Patrik Jansson:
CENotes.20110916 . . . September 16, 2011, at 10:45 PM by lars:
PAD.Veckom�te2011-W36 . . . September 09, 2011, at 11:06 AM by Patrik Jansson:
CENotes.20110902 . . . September 02, 2011, at 04:41 PM by larss:
FP.ICFP2011Travel . . . September 02, 2011, at 02:10 PM by John :
PAD.MScLunchSeminars2011 . . . September 01, 2011, at 10:49 AM by Patrik Jansson:
PAD.Kortnamn . . . August 31, 2011, at 03:37 PM by Patrik Jansson:
PAD.Veckom�te2011-W35 . . . August 31, 2011, at 10:53 AM by Patrik Jansson:
PAD.Kurslitteratur . . . August 30, 2011, at 01:15 PM by Patrik Jansson:
PAD.Veckom�te20110823 . . . August 24, 2011, at 10:59 AM by Patrik Jansson:
PAD.EDIT-IVerksamhetsplan . . . August 24, 2011, at 10:50 AM by Patrik Jansson:
ForMath.SideBar . . . August 22, 2011, at 01:02 PM by Ana:
ForMath.Events . . . August 22, 2011, at 12:52 PM by Ana:
PAD.SupplementalInstruction . . . August 20, 2011, at 11:06 PM by Patrik Jansson:
PAD.EDITGenusprojekt . . . August 20, 2011, at 10:48 PM by Patrik Jansson:
PAD.Industriprojekt . . . August 20, 2011, at 10:02 PM by Patrik Jansson:
PAD.Mottagning . . . August 16, 2011, at 11:25 PM by Patrik Jansson:
Research.PIK . . . August 15, 2011, at 11:35 PM by Patrik Jansson:
PAD.Veckom�te20110815 . . . August 11, 2011, at 04:47 PM by Patrik Jansson:
PAD.Veckom�te20110822 . . . August 11, 2011, at 04:44 PM by Patrik Jansson:
PAD.MScStudentTravelSupport . . . August 09, 2011, at 02:47 PM by Patrik Jansson:
PAD.Chalmeristmiddagen . . . August 09, 2011, at 11:41 AM by Patrik Jansson:
ProgLog.Publication . . . August 08, 2011, at 08:59 AM by Bassel Mannaa: external link for publications until we can find a way to embed them here
DecidabilityAlgorithms.DecidabilityAlgorithms . . . July 30, 2011, at 10:23 AM by Bassel Mannaa:
GSDP.DSL4EE . . . July 01, 2011, at 10:10 AM by Patrik Jansson:
PAD.KST . . . June 30, 2011, at 09:38 PM by Patrik Jansson:
Education.CoursePlansGU . . . June 30, 2011, at 08:31 AM by �sa Samdell:
PAD.L�rarm�teVT2011Results . . . June 29, 2011, at 12:44 PM by Patrik Jansson:
PAD.L�rarm�teVT2011 . . . June 28, 2011, at 10:44 PM by Patrik Jansson:
PAD.MScDevelopment2011 . . . June 28, 2011, at 02:48 PM by Patrik Jansson:
CENotes.20110620 . . . June 20, 2011, at 03:24 PM by larss:
CS.SpringMeeting2011 . . . June 17, 2011, at 02:06 PM by Bassel Mannaa: photos
PAD.Veckom�te20110615 . . . June 15, 2011, at 07:19 AM by Patrik Jansson:
PAD.Veckom�te20110610 . . . June 15, 2011, at 07:19 AM by Patrik Jansson:
CS.SpringMeeting2011Abstracts . . . June 14, 2011, at 03:11 PM by Bassel Mannaa:
CS.SpringMeeting2011AbstractTotalParserCombinator . . . June 14, 2011, at 03:01 PM by Bassel Mannaa:
CS.Abstract . . . June 13, 2011, at 07:28 PM by Bassel Mannaa: remove
GSDP.CrossroadBetweenBankingRegulationAndTechnology . . . June 12, 2011, at 10:16 PM by Patrik Jansson:
GSDP.DependentTypesForDSLs . . . June 12, 2011, at 10:09 PM by Patrik Jansson:
Education.GruAdmJuni2011 . . . June 01, 2011, at 08:47 AM by �sa Samdell:
PAD.L�rarm�teVT2011Grupper . . . June 01, 2011, at 01:08 AM by Patrik Jansson:
CENotes.20110530 . . . May 30, 2011, at 04:10 PM by larss:
RAWFP.KickOff20110520 . . . May 24, 2011, at 09:22 PM by Patrik Jansson:
CENotes.20110404 . . . May 18, 2011, at 02:49 PM by larss:
CENotes.20110516 . . . May 18, 2011, at 02:30 PM by larss:
PAD.Programr�d2011-05 . . . May 15, 2011, at 09:10 PM by Patrik Jansson:
PAD.BeslutProgramr�d2011 . . . May 15, 2011, at 09:09 PM by Patrik Jansson:
CTFP11.Presentations . . . May 12, 2011, at 07:14 PM by Guilhem: slides
FP.JPBDefense . . . May 12, 2011, at 02:50 PM by Patrik Jansson:
FP.MonadicDynamicalSystemsInHaskellAndC . . . May 10, 2011, at 10:24 PM by Patrik Jansson:
PAD.ProgrammeGoals . . . May 09, 2011, at 11:44 AM by Patrik Jansson:
PAD.Veckom�te20110509 . . . May 09, 2011, at 08:36 AM by Patrik Jansson:
FP.RAWFP . . . May 06, 2011, at 11:42 PM by Patrik Jansson:
CE.IESD . . . May 06, 2011, at 04:05 PM by larssv:
CE.DAT110 . . . May 06, 2011, at 03:43 PM by larssv:
CE.DAT092 . . . May 06, 2011, at 03:42 PM by larssv:
Education.GruAdmMaj2011 . . . May 05, 2011, at 11:14 AM by �sa Samdell:
PAD.Veckom�te20110516 . . . May 02, 2011, at 12:44 PM by Patrik Jansson:
PAD.Veckom�te20110502 . . . May 02, 2011, at 12:43 PM by Patrik Jansson:
GSDP.SideBar . . . April 26, 2011, at 03:30 PM by Patrik Jansson:
PAD.Veckom�te20110428 . . . April 25, 2011, at 11:08 PM by Patrik Jansson:
PAD.S�ktryck . . . April 22, 2011, at 11:32 PM by Patrik Jansson:
CE.EESDDevelopment . . . April 18, 2011, at 08:38 AM by larssv:
PAD.StudentResultat . . . April 14, 2011, at 09:42 PM by Patrik Jansson:
PAD.Veckom�te20110414 . . . April 13, 2011, at 10:27 PM by Patrik Jansson:
FP.SSFSIS2010 . . . April 12, 2011, at 11:39 AM by Patrik Jansson:
VLSI.STMicroFlowA . . . April 11, 2011, at 11:33 AM by Kasyab P Subramaniyan: Added tips for running PLS
Tekn.Datorsystem . . . April 04, 2011, at 04:28 PM by Arne Linde:
PAD.�GRUDDoIT . . . April 04, 2011, at 12:48 PM by Patrik Jansson:
PAD.Veckom�te20110404 . . . April 04, 2011, at 12:41 PM by Patrik Jansson:
Education.GruAdm . . . March 31, 2011, at 11:52 AM by Victoria:
Education.GruAdmSep2010 . . . March 31, 2011, at 11:51 AM by Victoria:
PAD.Veckom�te20110328 . . . March 28, 2011, at 10:35 AM by Patrik Jansson:
FP.Preprints . . . March 25, 2011, at 11:17 PM by Patrik Jansson:
Education.GruAdmMar2011 . . . March 21, 2011, at 03:32 PM by �sa Samdell:
FP.PatrikJanssonStatus20110315 . . . March 20, 2011, at 11:19 PM by Patrik Jansson:
PAD.MPA . . . March 19, 2011, at 03:41 PM by Patrik Jansson:
CENotes.20110307 . . . March 08, 2011, at 02:29 PM by lars:
ProgLog.WorkshopSpring11 . . . March 07, 2011, at 09:38 PM by NAD: Updated my abstract.
CTFP11.Dan . . . March 02, 2011, at 12:32 PM by danr: wrong address!
FP.ComputationalVulnerabilityAssessment . . . March 01, 2011, at 10:33 AM by Patrik Jansson:
CTFP11.CTFP11 . . . February 25, 2011, at 01:24 AM by Dan: tried to add my name to an individual page
Education.GruKomJanuari2011 . . . February 23, 2011, at 04:29 PM by Victoria:
CENotes.20110221 . . . February 22, 2011, at 10:24 AM by lars:
DRTS.RecentChanges . . . February 21, 2011, at 11:02 PM by Patrik Jansson: Restored from vandalism
DCS.RecentChanges . . . February 21, 2011, at 11:00 PM by Patrik Jansson: Restored from vandalism
AJG.RecentChanges . . . February 21, 2011, at 10:59 PM by Patrik Jansson: Restored from vandalism
DecidabilityAlgorithms.RecentChanges . . . February 21, 2011, at 10:58 PM by Patrik Jansson: Restored from vandalism
Education.GruKomFebruari2011 . . . February 18, 2011, at 12:45 PM by Victoria:
CE.MasterThesisProposals . . . February 17, 2011, at 10:41 AM by Lars B:
SET.WM2011FPSessionPart2 . . . February 09, 2011, at 02:30 PM by Alejandro: Fix time!
SET.WM2011ProSecSessionInclCoffee . . . February 08, 2011, at 01:26 PM by Daniel:
SET.WM2011FPSessionPart1 . . . February 08, 2011, at 11:09 AM by Alejandro: Fix JP title
SET.WM2011TeachingSession . . . February 07, 2011, at 10:08 PM by Patrik Jansson:
CENotes.20110207 . . . February 06, 2011, at 08:30 PM by lars:
SET.WM2011 . . . February 05, 2011, at 10:01 PM by Patrik Jansson:
ForMath.PublicationsAndSlides . . . February 02, 2011, at 12:02 PM by C Dominguez:
SET.WM2011SEFMSession . . . January 31, 2011, at 09:53 AM by Richard:
SET.WM20911TeachingSession . . . January 30, 2011, at 08:25 PM by Bj�rn:
CTFP11.Tobias . . . January 30, 2011, at 08:05 PM by Tobias R:
Education.GruAdmNov2010 . . . January 29, 2011, at 05:10 PM by Victoria:
Education.GruKomOktober2010 . . . January 29, 2011, at 05:01 PM by Victoria:
CE.IPadAndKindleReservationLists . . . January 28, 2011, at 01:44 PM by Alen:
Education.GruKomSeptember2010 . . . January 28, 2011, at 11:44 AM by Victoria:
CE.RadarSignalProcessingUsingResidueNumberSystem . . . January 28, 2011, at 11:30 AM by Lars B:
SMS.SMS . . . January 28, 2011, at 07:02 AM by Patrik Jansson:
Education.GruKomJuni2011 . . . January 26, 2011, at 03:17 PM by Victoria:
CTFP11.Arnar . . . January 26, 2011, at 11:28 AM by Arnar: Notes from chapter 1
CENotes.20110124 . . . January 24, 2011, at 03:16 PM by lars:
CTFP11.CoursePlan . . . January 21, 2011, at 02:30 PM by jp:
Education.DigitalOchDatorteknik . . . January 18, 2011, at 05:24 PM by Roger Johansson:
FP.ComparingLibrariesForGenericProgrammingInHaskell . . . January 16, 2011, at 05:24 PM by Patrik Jansson:
Ompaketering-mp.ComputerSystemsAndNetworksCSN . . . December 28, 2010, at 09:58 PM by Patrik Jansson:
Ompaketering-mp.EmbeddedElectronicSystemDesignEESD . . . December 28, 2010, at 09:57 PM by Patrik Jansson: reverted spam
Ompaketering-mp.Energy-awareComputing . . . December 28, 2010, at 09:55 PM by Patrik Jansson: reverted spam
Ompaketering-mp.New-courseProposals . . . December 28, 2010, at 09:54 PM by Patrik Jansson: reverted spam
Ompaketering-mp.OverviewOfAllCoursesAtMasterLevel . . . December 28, 2010, at 09:53 PM by Patrik Jansson: reverted spam
FunC.SideBar . . . December 28, 2010, at 09:49 PM by Patrik Jansson: reverted spam
CENotes.20101213 . . . December 13, 2010, at 04:08 PM by larss:
DRTS.ThesisProjects . . . December 09, 2010, at 10:48 AM by Johan Karlsson: One or two new thesis projects will be announced in early January.
CENotes.20101129 . . . November 30, 2010, at 09:41 PM by larss:
CENotes.20101115 . . . November 12, 2010, at 10:54 AM by larss:
Education.GruKomNovember2010 . . . November 11, 2010, at 04:41 PM by Victoria:
Research.VR2010 . . . November 09, 2010, at 10:02 AM by Patrik Jansson:
FP.GraphicalProgrammingTool . . . November 08, 2010, at 09:16 PM by josefs: Created page
FP.HaddockSupportForMarkdownSyntax . . . November 08, 2010, at 08:35 PM by josefs: Created the page
FP.HackageQueryingTool . . . November 08, 2010, at 08:26 PM by josefs: Added the page
FP.EfficientGenericLibraries . . . November 05, 2010, at 11:40 AM by Patrik Jansson:
GSDP.GSDP . . . November 04, 2010, at 04:35 PM by Patrik Jansson:
CENotes.20101101 . . . November 02, 2010, at 10:24 AM by larss:
CENotes.20101019 . . . October 20, 2010, at 10:59 AM by larss:
Education.GruAdmOkt2010 . . . October 18, 2010, at 06:09 PM by Victoria:
FP.HCAR . . . October 12, 2010, at 03:04 PM by jp:
CENotes.20101004 . . . October 06, 2010, at 09:02 AM by larssv:
CENotes.20100920 . . . September 20, 2010, at 05:24 PM by larssv:
CENotes.20100906 . . . September 20, 2010, at 05:00 PM by larssv:
FP.WelcomeBackWalidSeminar . . . September 16, 2010, at 05:07 PM by Patrik Jansson:
FP.GenProg . . . September 16, 2010, at 04:59 PM by Patrik Jansson:
FP.ModellingCyberphysicalSystems . . . September 16, 2010, at 11:01 AM by Patrik Jansson:
FP.QuickCheckAndQuickSpec . . . September 15, 2010, at 11:56 AM by John Hughes:
FP.HighLevelProofsThatDontLeakLowLevelDetails . . . September 15, 2010, at 11:35 AM by John Hughes:
FP.ReflectionsOnThePost-ModernStage . . . September 15, 2010, at 11:34 AM by John Hughes:
FP.WalidTaha . . . September 15, 2010, at 11:32 AM by John Hughes:
Ompaketering-mp.Ompaketering-mp . . . September 09, 2010, at 04:48 PM by Peter Dybjer:
Ompaketering-mp.ComputerScienceAlrgorithmsLanguagesLogic . . . September 09, 2010, at 01:59 PM by larssv:
CE.SelfclockedCorrelator . . . September 09, 2010, at 01:54 PM by labe:
DCS.DCS . . . September 01, 2010, at 12:33 PM by Elad Michael Schiller:
FP.Haskell20years . . . August 25, 2010, at 04:21 PM by Patrik Jansson:
CENotes.20100823 . . . August 23, 2010, at 06:01 PM by larss:
Education.GruAdmMaj2010 . . . August 03, 2010, at 03:34 PM by Victoria E:
ForMathInternalPages.Drafts . . . July 11, 2010, at 05:34 PM by Ana:
Education.GruKomMaj2011 . . . July 11, 2010, at 04:49 PM by VE:
Education.GruAdmApr2011 . . . July 11, 2010, at 04:11 PM by VE:
Education.GruAdmFeb2011 . . . July 11, 2010, at 04:10 PM by VE:
Education.GruAdmDec2010 . . . July 06, 2010, at 01:17 PM by VE:
FP.Papers . . . June 17, 2010, at 10:51 PM by Patrik Jansson:
CTFP10.Schedule . . . June 10, 2010, at 02:05 PM by Patrik Jansson:
CS.SpringMeeting2010 . . . June 10, 2010, at 01:35 AM by kemp:
CS.SpringMeeting2010Schedule . . . June 09, 2010, at 07:03 PM by Bengt:
CS.SpringMeeting2010Abstracts . . . June 09, 2010, at 05:58 PM by kemp:
Tekn.Rutiner . . . June 08, 2010, at 09:25 PM by lars:
FP.ChalmersFPWorkshop2010 . . . June 07, 2010, at 11:16 PM by Emil: Added Josef's slides
CENotes.20100531 . . . May 31, 2010, at 08:26 PM by lars:
FunCInternal.SG20100528 . . . May 31, 2010, at 02:10 PM by Patrik Jansson:
FunCInternal.FunCInternal . . . May 31, 2010, at 02:04 PM by Patrik Jansson:
Education.GruKomDecember2010 . . . May 31, 2010, at 01:27 PM by Victoria E:
CS.JSSymposium . . . May 26, 2010, at 11:52 AM by Bengt:
FunCInternal.SG20100521 . . . May 21, 2010, at 11:10 AM by Patrik Jansson:
FP.PuttingFPToWorkUsingDSLs . . . May 17, 2010, at 11:38 AM by Patrik Jansson:
CS.JSSympoium . . . May 12, 2010, at 09:23 PM by Patrik Jansson:
Education.GruKomMaj2010 . . . May 11, 2010, at 10:06 PM by �sa Samdell:
Education.GruKomApril2010 . . . May 11, 2010, at 10:05 PM by �sa Samdell:
Education.GruKomMars2010 . . . May 11, 2010, at 10:05 PM by �sa Samdell:
Education.GruKomFeberuari2010 . . . May 11, 2010, at 10:04 PM by �sa Samdell:
Education.GruAdmMar2010 . . . May 11, 2010, at 12:35 PM by �sa Samdell:
Education.GruAdmApr2010 . . . May 11, 2010, at 12:30 PM by �sa Samdell:
Tekn.File . . . May 11, 2010, at 10:08 AM by larss:
CTFP10.CTFP10 . . . May 07, 2010, at 07:58 AM by Patrik Jansson:
CS.SpringMeeting2009Abstracts . . . April 21, 2010, at 11:46 PM by Patrik Jansson:
CENotes.20100419 . . . April 20, 2010, at 10:46 AM by lars:
ForMathInternalPages.KOM . . . April 14, 2010, at 08:47 AM by Ana:
GP.ComprehendingGenericLibraries . . . April 12, 2010, at 11:16 PM by Patrik Jansson:
FP.EfficientGenericProgramsAndSpecifications . . . April 12, 2010, at 11:14 PM by Patrik Jansson:
CE.CHAMPP . . . March 25, 2010, at 03:47 PM by larss:
ForMathInternalPages.KOMAttributes . . . March 22, 2010, at 03:34 PM by Ana:
FM.RecentChanges . . . March 21, 2010, at 09:20 PM by Patrik Jansson:
GruKomSept.RecentChanges . . . March 21, 2010, at 09:19 PM by Patrik Jansson:
CSE.RecentChanges . . . March 21, 2010, at 09:17 PM by Patrik Jansson:
IDMSc.IDMSc . . . March 21, 2010, at 09:16 PM by Patrik Jansson:
IDMSc.RecentChanges . . . March 21, 2010, at 09:13 PM by Patrik Jansson:
FunCInternal.SG20100319 . . . March 19, 2010, at 12:21 PM by Patrik Jansson:
FunC.Internal . . . March 19, 2010, at 09:08 AM by Patrik Jansson:
FunC.SG20100305 . . . March 19, 2010, at 09:07 AM by Patrik Jansson:
FunCInternal.SG20100305 . . . March 19, 2010, at 08:52 AM by Patrik Jansson:
FunC.SG20100205 . . . March 19, 2010, at 08:52 AM by Patrik Jansson:
FunCInternal.SG20100205 . . . March 19, 2010, at 08:51 AM by Patrik Jansson:
FunC.SG20100122 . . . March 19, 2010, at 08:51 AM by Patrik Jansson:
FunCInternal.SG20100122 . . . March 19, 2010, at 08:50 AM by Patrik Jansson:
ForMath.EventsAndOtherLinks . . . March 12, 2010, at 12:27 PM by Ana:
ForMathInternalPages.Documentation . . . March 12, 2010, at 12:22 PM by Ana:
FP.Erasmus . . . March 12, 2010, at 12:16 PM by Patrik Jansson:
ForMath.InternalPages . . . March 12, 2010, at 12:02 PM by Ana:
ForMath.Internal . . . March 12, 2010, at 11:55 AM by Ana:
CENotes.20100310 . . . March 10, 2010, at 04:30 PM by lars:
CE.CharacterizationOfSupply-sensitivityOfDigitalGates . . . March 03, 2010, at 04:14 PM by larssv:
CENotes.20100210 . . . February 26, 2010, at 10:03 AM by larssv:
CENotes.20100224 . . . February 26, 2010, at 09:54 AM by larssv:
Education.GruAdmFeb2010 . . . February 25, 2010, at 09:36 AM by �sa Samdell:
Tekn.ComputerSystems . . . February 19, 2010, at 09:32 AM by Arne Linde:
Research.CategoryTheoryAndFunctionalProgramming . . . February 14, 2010, at 05:51 PM by Patrik Jansson:
CTFP10.LiteratureList . . . February 14, 2010, at 05:50 PM by Patrik Jansson:
CTFP10.CoursePlan . . . February 14, 2010, at 05:48 PM by Patrik Jansson:
VLSI.STMicroFlowC . . . February 08, 2010, at 10:05 AM by erirym: added warning
Education.GruKomJanuari2010 . . . February 04, 2010, at 09:24 AM by �sa Samdell:
VLSI.AMSCribSheetWithHCMOS9GPTechnology . . . February 03, 2010, at 04:34 PM by Kasyab P Subramaniyan:
Education.GruAdmNov2009 . . . January 27, 2010, at 02:57 PM by �sa Samdell:
Education.GruAdmApr2009 . . . January 27, 2010, at 02:44 PM by �sa Samdell:
Education.GruAdmDec2009 . . . January 27, 2010, at 02:04 PM by �sa Samdell:
Education.GruAdmMaj2009 . . . January 27, 2010, at 01:32 PM by �sa Samdell:
Education.GruAdmOkt2009 . . . January 27, 2010, at 01:31 PM by �sa Samdell:
Research.PhdCourses . . . January 27, 2010, at 12:23 AM by Willard Rafnsson: Added the "PhD" course Category Theory and Functional Programming.
Education.GruKomDecember2009 . . . January 22, 2010, at 01:07 PM by �sa Samdell:
Education.GruKomNovember2009 . . . January 22, 2010, at 01:06 PM by �sa Samdell:
FP.RecruitmentContacts . . . January 22, 2010, at 10:24 AM by Patrik Jansson:
Profiles.G�borP�li . . . January 18, 2010, at 11:03 PM by G�bor P�li: Add some information about myself
SET.WM2010 . . . January 14, 2010, at 05:32 PM by Richard:
SET.WM2010SessionAppSE . . . January 14, 2010, at 05:31 PM by Richard:
CENotes.20100113 . . . January 13, 2010, at 10:52 PM by lars:
HAS.WM2010 . . . January 12, 2010, at 04:13 PM by Patrik Jansson:
HAS.Gothenburg . . . January 12, 2010, at 03:54 PM by Patrik Jansson:
HAS.WM2010Groups . . . January 12, 2010, at 03:33 PM by Patrik Jansson:
Tekn.Tips . . . January 12, 2010, at 03:11 PM by Dave: self-admin tips
SET.WM2010SessionFP1 . . . January 12, 2010, at 02:55 PM by Patrik Jansson:
SET.WM2010SessionProSec . . . January 12, 2010, at 11:36 AM by Patrik Jansson:
SET.WM2010SessionFP2 . . . January 11, 2010, at 01:30 PM by Koen:
SET.WM2010SessionSEuFM . . . January 11, 2010, at 12:40 PM by Richard:
SET.WM2010SessionTeach . . . January 09, 2010, at 09:35 PM by Patrik Jansson:
Adm.Examsupport . . . December 25, 2009, at 09:06 PM by Patrik Jansson:
CE.Remissvar . . . December 18, 2009, at 11:32 AM by lars:
IMPACT.Report2009Status . . . December 17, 2009, at 02:43 PM by Patrik Jansson:
CENotes.20091216 . . . December 16, 2009, at 04:05 PM by larss:
Education.GruKomOktober2009 . . . December 15, 2009, at 12:22 PM by �sa Samdell:
Education.GruKomSept2009 . . . December 15, 2009, at 12:21 PM by �sa Samdell:
Tekn.Groups . . . December 15, 2009, at 11:16 AM by Patrik Jansson:
CE.NewDAT095Project . . . December 11, 2009, at 10:46 AM by Sven Knutsson:
IMPACT.IMPACT . . . December 06, 2009, at 01:06 PM by Patrik Jansson:
FP.TypeTheoryForSustainabilityModelling . . . December 01, 2009, at 09:38 PM by Patrik Jansson:
CENotes.20091130 . . . November 30, 2009, at 10:20 PM by lars:
CE.StepwisePadDriverInDeep-submicronTechnology . . . November 26, 2009, at 11:42 AM by Lars:
CE.DAT115For2010 . . . November 24, 2009, at 12:06 PM by lars:
CSEtrack.CSEtrack . . . November 21, 2009, at 05:13 PM by Patrik Jansson:
CENotes.20091116 . . . November 18, 2009, at 10:55 AM by larssv:
DRTS.DRTS . . . November 11, 2009, at 01:54 PM by Raul Barbosa:
Education.Statistik . . . November 11, 2009, at 10:03 AM by Ana:
FP.SEusingTypedFP . . . November 03, 2009, at 04:22 PM by Patrik Jansson:
Research.VR2008 . . . October 31, 2009, at 05:39 PM by Dave:
Research.VRNextApply . . . October 30, 2009, at 11:19 PM by Patrik Jansson:
CENotes.20091019 . . . October 19, 2009, at 04:19 PM by lars s:
IMPACT.Report2009 . . . October 14, 2009, at 01:43 PM by Patrik Jansson:
IMPACT.VPrefList . . . October 14, 2009, at 01:34 PM by Patrik Jansson:
IMPACT.MasterSelfEval . . . October 14, 2009, at 09:51 AM by Patrik Jansson:
FP.ModellingClimateChange . . . October 13, 2009, at 04:15 PM by Patrik Jansson:
Education.IMPACTUtv�rderingsm�ten2008 . . . October 13, 2009, at 04:13 PM by Patrik Jansson:
Education.IMPACT . . . October 13, 2009, at 04:11 PM by Patrik Jansson:
CSEtrack.CourseList . . . October 08, 2009, at 11:58 AM by Patrik Jansson:
IMPACT.Goal . . . October 02, 2009, at 09:38 AM by Patrik Jansson:
IMPACT.AgendaUtv2009 . . . October 01, 2009, at 04:13 PM by Patrik Jansson:
CENotes.20091005 . . . October 01, 2009, at 03:06 PM by larssv:
ILG.Riskanalys . . . September 30, 2009, at 11:12 PM by Patrik Jansson:
GruKomSept.Okt2009 . . . September 28, 2009, at 12:37 PM by �sa Samdell:
CENotes.20090921 . . . September 21, 2009, at 09:52 PM by lars:
CENotes.20090824 . . . September 21, 2009, at 01:40 PM by lars:
FP.Deadlines . . . September 21, 2009, at 10:11 AM by Patrik Jansson:
CSEtrack.StudentAddCourse . . . September 21, 2009, at 09:56 AM by Patrik Jansson:
IMPACT.PedagogicalDevelopmentOfMastersProgrammesForTheBolognaStructureAtChalmers-IMPACT . . . September 12, 2009, at 11:10 PM by Patrik Jansson:
WGP09.PC . . . September 11, 2009, at 04:04 PM by Patrik Jansson:
IMPACT.AgendaUtv2008 . . . September 10, 2009, at 08:41 AM by Patrik Jansson:
Profiles.Larss . . . August 27, 2009, at 02:20 PM by Patrik Jansson:
WGP09.Programme . . . August 17, 2009, at 09:48 PM by Patrik Jansson:
WGP09.PresentationFormat . . . August 17, 2009, at 09:37 PM by Patrik Jansson:
EDIT.RecentChanges . . . August 12, 2009, at 12:25 AM by Patrik Jansson:
WGP09.HistoryOfGenericProgramming . . . August 04, 2009, at 12:43 AM by Patrik Jansson:
WGP09.Proceedings . . . July 06, 2009, at 11:40 PM by Patrik Jansson:
WGP09.Papers . . . July 06, 2009, at 11:17 PM by Patrik Jansson:
SET.DivisionMeetings . . . June 19, 2009, at 09:48 PM by Patrik Jansson:
FP.VeryLazyEvaluation . . . June 19, 2009, at 09:40 PM by Patrik Jansson:
VLSI.STMicroFlowB . . . June 18, 2009, at 10:51 AM by Kasyab P Subramaniyan: Added path to circuit simulation corners
FP.ChalmersFPWorkshop2009 . . . June 17, 2009, at 08:51 AM by Magnus B: Adding Magnus presentation
CENotes.20090615 . . . June 16, 2009, at 03:31 PM by lars s:
IMPACT.StudQuest2009 . . . June 16, 2009, at 12:15 AM by Patrik Jansson:
IMPACT.Pub . . . June 15, 2009, at 11:57 PM by Patrik Jansson:
IMPACT.Selfeval2009 . . . June 15, 2009, at 11:52 PM by Patrik Jansson:
CENotes.20080822 . . . June 11, 2009, at 01:57 PM by Patrik Jansson:
Education.MScApplicationScreening . . . June 05, 2009, at 09:03 PM by Patrik Jansson:
ID.RecentChanges . . . June 03, 2009, at 02:11 PM by Patrik Jansson:
CS.SpringMeeting2009 . . . June 03, 2009, at 02:10 PM by Patrik Jansson:
Education.GruKomMaj2009 . . . June 03, 2009, at 11:32 AM by �sa Lundgren:
CENotes.20090601 . . . June 02, 2009, at 02:36 PM by larss:
VLSI.UserTipsAndLinksToDetailedDocumentation . . . May 29, 2009, at 02:34 PM by Kasyab P Subramaniyan:
CS.SpringMeeting2009Schedule . . . May 26, 2009, at 04:34 PM by kemp:
Profiles.Profiles . . . May 21, 2009, at 10:27 PM by Patrik Jansson:
Profiles.JohnHughes . . . May 21, 2009, at 10:26 PM by Patrik Jansson:
Education.GruKomApril2009 . . . May 19, 2009, at 04:33 PM by �sa Lundgren:
FP.CaseStudiesInCryptol . . . May 19, 2009, at 03:44 PM by Patrik Jansson:
Profiles.KoenClaessen . . . May 17, 2009, at 09:05 PM by Patrik Jansson:
EScience.EScience . . . May 11, 2009, at 12:06 PM by Christian:
EScience.AgendaStyrgruppsm�te090528 . . . May 11, 2009, at 12:04 PM by Christian:
PmWikiSv.XLPage . . . May 04, 2009, at 10:03 AM by Patrik Jansson:
FP.Internal . . . April 29, 2009, at 08:40 AM by Patrik Jansson:
FP.VR2009 . . . April 27, 2009, at 02:26 PM by Patrik Jansson:
IMPACT.CSEReport . . . April 21, 2009, at 02:27 PM by Patrik Jansson:
IMPACT.Statistics . . . April 21, 2009, at 02:14 PM by Patrik Jansson:
WGP09.Review . . . April 17, 2009, at 02:04 PM by Patrik Jansson:
Education.GruAdmMar2009 . . . April 16, 2009, at 02:38 PM by �sa Lundgren:
VPref.VPref . . . April 03, 2009, at 01:32 PM by Patrik Jansson:
Research.Forskningsproppen . . . March 27, 2009, at 12:30 PM by Patrik Jansson:
FP.Description . . . March 25, 2009, at 10:52 PM by Patrik Jansson:
EScience.AgendaStyrgruppsm�te090325 . . . March 24, 2009, at 11:11 PM by Patrik Jansson:
EScience.WorkDone . . . March 24, 2009, at 11:05 PM by Patrik Jansson:
EScience.Links . . . March 20, 2009, at 08:37 AM by Patrik Jansson:
FP.ApplicationsToSubmit . . . March 19, 2009, at 08:55 PM by Patrik Jansson:
EScience.AgendaStyrgruppsm�te09032 . . . March 19, 2009, at 08:21 PM by Patrik Jansson:
Education.GruKomMars2009 . . . March 18, 2009, at 10:22 PM by �sa Lundgren:
CENotes.20090318 . . . March 18, 2009, at 04:27 PM by larssv:
WGP09.Lists . . . March 17, 2009, at 04:24 PM by Patrik Jansson:
EScience.AgendaStyrgruppsm�te090312 . . . March 09, 2009, at 08:55 PM by Patrik Jansson:
CENotes.20090309 . . . March 09, 2009, at 04:14 PM by larssv:
EScience.StrategicImportance . . . March 07, 2009, at 11:32 AM by Patrik Jansson:
FP.Wouter . . . March 06, 2009, at 09:41 AM by Wouter: Added Hawk examples
EScience.MeetingPIs200903 . . . March 03, 2009, at 08:52 AM by Patrik Jansson:
EScience.Education . . . March 01, 2009, at 11:29 PM by Patrik Jansson:
EScience.PIs . . . February 27, 2009, at 08:24 PM by Patrik Jansson:
Education.FAQ . . . February 27, 2009, at 10:42 AM by Patrik Jansson:
EScience.AgendaStyrgruppsm�te090226 . . . February 26, 2009, at 09:54 AM by Patrik Jansson:
EScience.Kommentarer20090219 . . . February 23, 2009, at 03:15 PM by Patrik Jansson:
CENotes.20090220 . . . February 23, 2009, at 09:17 AM by larssv:
Education.GruAdmFeb2009 . . . February 20, 2009, at 11:41 AM by rebecca:
EScience.AgendaStyrgruppsm�te090218 . . . February 18, 2009, at 11:53 AM by Patrik Jansson:
EScience.Overview . . . February 18, 2009, at 09:59 AM by Patrik Jansson:
EScience.UtlysningstextOmEScience . . . February 17, 2009, at 02:15 PM by Patrik Jansson:
EScience.HearingEScience090224 . . . February 14, 2009, at 01:19 AM by Patrik Jansson:
EScience.WorkGroupAText . . . February 13, 2009, at 11:57 AM by Patrik Jansson:
EScience.WorkGroupA . . . February 13, 2009, at 11:28 AM by Patrik Jansson:
EDIT.5453 . . . February 12, 2009, at 02:41 PM by Patrik Jansson:
CSE.EDIT5453 . . . February 12, 2009, at 02:40 PM by Patrik Jansson:
EScience.Courses . . . February 12, 2009, at 10:19 AM by Patrik Jansson:
EScience.Arbetsgrupper . . . February 11, 2009, at 10:17 AM by Patrik Jansson:
FP.YiModeForAgda . . . February 09, 2009, at 01:46 PM by Patrik Jansson:
FP.AgdaModeForYi . . . February 09, 2009, at 01:44 PM by Patrik Jansson:
Education.GruKomDecember2008 . . . February 09, 2009, at 12:03 PM by �sa Lundgren:
Education.GruKomFebruari2009 . . . February 05, 2009, at 01:00 PM by �sa Lundgren:
EScience.AgendaStyrgruppsm�te090205 . . . February 04, 2009, at 04:22 PM by Christian F:
EScience.AnteckningarStyrgruppsm�te20090202 . . . February 04, 2009, at 02:05 PM by Patrik Jansson:
EScience.IntroStyrgrupp20090202 . . . February 03, 2009, at 03:57 PM by Christian F: Laddade upp intro som pdf och �ndrade l�nken
EScience.AgendaStyrgruppsm�te090202 . . . February 03, 2009, at 02:16 PM by Patrik Jansson:
Education.GruKomJuni2009 . . . February 02, 2009, at 05:03 PM by �sa Lundgren:
Education.GruAdmDec2008 . . . January 29, 2009, at 11:24 AM by rebecca:
ID.ID . . . January 24, 2009, at 10:50 PM by Patrik Jansson:
WGP09.CFP . . . January 23, 2009, at 09:54 AM by Patrik Jansson:
CENotes.20090123 . . . January 22, 2009, at 03:21 PM by larssv:
Education.GruAdmNov2008 . . . January 22, 2009, at 03:14 PM by Patrik Jansson:
FP.Test . . . January 22, 2009, at 09:11 AM by Patrik Jansson:
IMPACT.AFacilitationVehicleToPromoteMasterProgrammeDevelopment-IMPACT . . . January 20, 2009, at 02:30 PM by Patrik Jansson:
Rasmus.Rasmus . . . January 20, 2009, at 09:35 AM by Patrik Jansson:
Education.MSc-thesisSupervision . . . January 19, 2009, at 05:07 PM by Patrik Jansson:
AoP.AoP . . . January 16, 2009, at 10:51 PM by Patrik Jansson:
AoP.Papers . . . January 16, 2009, at 10:38 PM by Patrik Jansson:
FP.TestingARadioBaseStationWithQuickCheck . . . January 15, 2009, at 03:30 PM by Patrik Jansson:
FP.TestingErlang-OTPWithQuickCheck . . . January 15, 2009, at 03:27 PM by Patrik Jansson:
Education.GruAdmJan2009 . . . January 15, 2009, at 10:59 AM by rebecca:
CENotes.20090109 . . . January 12, 2009, at 09:24 AM by larssv:
FM.MScThesisProposals . . . January 10, 2009, at 12:13 AM by Patrik Jansson:
Education.MScThesisFAQ . . . January 08, 2009, at 09:40 AM by Patrik Jansson:
FP.IFIPWG21Meeting64 . . . January 05, 2009, at 07:12 PM by Patrik Jansson:
Profiles.IFIPWG21Meeting64 . . . January 05, 2009, at 07:12 PM by Patrik Jansson:
FP.StaticCodeAnalysisForEmbeddedSystems . . . January 01, 2009, at 07:39 PM by Patrik Jansson:
FP.PapersToWrite . . . December 22, 2008, at 12:41 AM by Patrik Jansson:
Education.Erasmus . . . December 19, 2008, at 09:46 AM by Tina Ahlstr�m Gustavsson:
Education.Engineer . . . December 19, 2008, at 12:54 AM by Patrik Jansson:
FP.GAMSSoftwareTechnologyInfrastructure . . . December 14, 2008, at 12:09 AM by Patrik Jansson:
FP.GAMSDevelopmentToolsRefactoringAnalysisVisualisation . . . December 12, 2008, at 11:04 AM by Patrik Jansson:
VLSI.VLSI . . . December 10, 2008, at 02:34 PM by Tung Hoang:
FP.FPWebPages . . . December 05, 2008, at 12:14 AM by Patrik Jansson:
IMPACT.Report2008Status . . . December 02, 2008, at 08:54 AM by Patrik Jansson:
CS.TranslatingHaskellIntoAgda . . . December 01, 2008, at 04:25 PM by Ana Bove:
CS.SemanticsOfProgrammingLanguagesInAgda . . . December 01, 2008, at 04:24 PM by Ana Bove:
CENotes.20081128 . . . December 01, 2008, at 09:45 AM by larssv:
VLSI.STMicroFlowCAdmin . . . November 27, 2008, at 03:53 PM by erirym: Changed license servers
FP.GAMSModelRefactoring . . . November 26, 2008, at 05:08 PM by Patrik Jansson:
FP.GAMSRefactoring . . . November 26, 2008, at 05:07 PM by Patrik Jansson:
FP.LLVMforTimber . . . November 24, 2008, at 02:57 PM by Bj�rn:
FP.LLVMBackendForTimber . . . November 24, 2008, at 02:56 PM by Bj�rn:
Education.GruKomNovember2008 . . . November 24, 2008, at 11:39 AM by �sa Lundgren:
FP.SecureHaskellProgramming . . . November 24, 2008, at 10:04 AM by Patrik Jansson:
FP.ExploringFirst-OrderModels . . . November 24, 2008, at 10:03 AM by Patrik Jansson:
FP.ReasoningAboutInformationFlowInAWebBrowser . . . November 24, 2008, at 10:03 AM by Patrik Jansson:
FP.QuickCheckingCCodeViaHaskell . . . November 24, 2008, at 10:03 AM by Patrik Jansson:
FP.QuickCheckingStandardLibraries . . . November 24, 2008, at 10:03 AM by Patrik Jansson:
FP.EfficientSort . . . November 24, 2008, at 10:02 AM by Patrik Jansson:
FP.InteractiveParsingForHaskell . . . November 24, 2008, at 10:02 AM by Patrik Jansson:
CS.SimulationAndAnalysisOfP2pNetworksOnPlanetlab . . . November 21, 2008, at 04:54 PM by Devdatt Dubhashi:
CS.EmergenceOfSmallWorldsWithEconomicIncentives . . . November 21, 2008, at 04:53 PM by Devdatt Dubhashi:
CS.SimulationAndAnalysisOfAlgorithmsForContentDistributionOnP2pNetworks . . . November 21, 2008, at 04:46 PM by Devdatt Dubhashi: Algorithms for p2p networks
CS.ConstructiveAlgebraInFunctionalProgrammingAndTypeTheory . . . November 21, 2008, at 11:32 AM by Bengt:
CS.DependentTypeTheoryAndImperativeComputation . . . November 21, 2008, at 11:31 AM by Bengt:
CS.ExactRealNumberComputationInAgda . . . November 21, 2008, at 11:31 AM by Bengt:
CS.ProgrammingLanguageSupportForACourseOnTypeSystems . . . November 21, 2008, at 11:30 AM by Bengt:
CS.QuantifierEliminationAndFunctionalProgramming . . . November 21, 2008, at 11:29 AM by Bengt:
CE.Framtidsm�te081118 . . . November 19, 2008, at 12:02 PM by larssv:
CENotes.20081114 . . . November 14, 2008, at 05:40 PM by larssv:
CENotes.20081017 . . . November 14, 2008, at 05:20 PM by larssv:
WGP09.ICFP2009ApplicationForm . . . November 14, 2008, at 03:41 PM by Patrik Jansson:
FP.DSL . . . November 09, 2008, at 09:11 PM by Patrik Jansson:
Research.E-Science . . . November 07, 2008, at 10:06 PM by Patrik Jansson:
Education.GruAdmOkt2008 . . . November 07, 2008, at 09:46 AM by rebecca:
Research.IEEESoftware . . . November 04, 2008, at 01:55 PM by Patrik Jansson:
Education.Organisation . . . October 30, 2008, at 11:09 PM by Patrik Jansson:
VPref.Gru . . . October 30, 2008, at 11:06 PM by Patrik Jansson:
Education.EDITZ-�versyn . . . October 30, 2008, at 01:22 PM by Patrik Jansson:
Adm.MPK . . . October 27, 2008, at 01:44 PM by Patrik Jansson:
FP.Obsidian . . . October 27, 2008, at 12:04 PM by Joel:
Education.PlanVT2009 . . . October 21, 2008, at 09:12 AM by Patrik Jansson:
Education.PlanHT2008 . . . October 21, 2008, at 09:02 AM by Patrik Jansson:
Education.GruAdmSep2008 . . . October 20, 2008, at 03:18 PM by Olof Torgersson:
Education.AppointingMasterDirectors . . . October 17, 2008, at 05:11 PM by Patrik Jansson:
Research.FP . . . October 15, 2008, at 10:06 PM by Patrik Jansson:
Education.MScApplicationCorrelations . . . October 15, 2008, at 10:05 PM by Patrik Jansson:
ID.IDMeetingNotes . . . October 15, 2008, at 11:37 AM by Patrik Jansson:
IMPACT.Apply2009 . . . October 14, 2008, at 11:41 PM by Patrik Jansson:
Education.GruKomOktober2008 . . . October 14, 2008, at 11:15 PM by Patrik Jansson:
Education.�GRU2009 . . . October 12, 2008, at 07:21 PM by Patrik Jansson:
Education.StartEvaluation . . . October 08, 2008, at 10:22 AM by Patrik Jansson:
Education.TwoPhaseEvaluation . . . October 08, 2008, at 10:02 AM by Patrik Jansson:
IMPACT.Report2008 . . . October 03, 2008, at 08:56 AM by Patrik Jansson:
Education.KST . . . October 01, 2008, at 11:48 AM by Patrik Jansson:
Education.SrCe . . . October 01, 2008, at 11:47 AM by Patrik Jansson:
Adm.Faktura . . . October 01, 2008, at 11:46 AM by Patrik Jansson:
Education.Overview . . . September 30, 2008, at 12:30 AM by Patrik Jansson:
AoP.Participants . . . September 27, 2008, at 07:02 PM by Patrik Jansson:
IMPACT.Eval . . . September 18, 2008, at 11:33 AM by Patrik Jansson:
Education.Sj�lvv�rderingMaster2008 . . . September 18, 2008, at 11:31 AM by Patrik Jansson:
Education.IMPACTProjectEvaluation . . . September 18, 2008, at 11:27 AM by Patrik Jansson:
Education.StudenttalHT2008 . . . September 15, 2008, at 11:54 PM by Patrik Jansson:
FP.Derivation-CarryingCodeUsingDependentTypes . . . September 15, 2008, at 09:03 PM by Patrik Jansson:
Education.ExjobbsQuotasFor2008ForCSSET . . . September 15, 2008, at 11:54 AM by Ana Bove:
Education.CSEMScThesisCourse . . . September 12, 2008, at 04:28 PM by Patrik Jansson:
IDMSc.PhysComp . . . September 12, 2008, at 01:24 PM by Patrik Jansson:
Education.Courses08-09 . . . September 11, 2008, at 02:24 PM by Patrik Jansson:
Education.Omtentor . . . September 10, 2008, at 05:22 PM by Patrik Jansson:
Education.GruKomSeptember2008 . . . September 08, 2008, at 10:52 PM by Patrik Jansson:
Education.PlanHT2009 . . . September 08, 2008, at 10:51 PM by Patrik Jansson:
Education.Courses09-10 . . . September 08, 2008, at 10:44 PM by Patrik Jansson:
Education.GU-ansvarig . . . September 08, 2008, at 10:24 PM by Patrik Jansson:
AoP.Examination . . . September 08, 2008, at 08:08 PM by Patrik Jansson:
CENotes.20080905 . . . September 05, 2008, at 04:17 PM by Lars S:
FP.ICFP08Travel . . . August 29, 2008, at 02:45 PM by Patrik Jansson:
Education.Assistentbemanning . . . August 28, 2008, at 03:19 PM by Patrik Jansson:
Education.IT-fakultetensGruKom . . . August 23, 2008, at 03:56 PM by Patrik Jansson:
CE.InfoMeetings . . . August 22, 2008, at 12:47 PM by Lars S:
Education.GruAdmAug2008 . . . August 13, 2008, at 02:18 PM by Patrik Jansson:
VLSI.AMSFlow035 . . . August 11, 2008, at 03:12 PM by Lena Peterson: This document describes the design flow for the 0.35 um process (TECH_C35B4)
SET.Internal . . . July 28, 2008, at 10:25 AM by sibylle :
Research.RecentChanges . . . July 19, 2008, at 12:42 PM by Patrik Jansson:
Education.VPSRID20092013 . . . June 19, 2008, at 04:17 PM by Patrik Jansson:
Education.VPIDMSc20092013 . . . June 19, 2008, at 04:13 PM by Patrik Jansson:
Education.Verksamhetsplan2009-2013 . . . June 19, 2008, at 04:07 PM by Patrik Jansson:
Education.�GRU-uppf�ljningsm�ten . . . June 13, 2008, at 09:48 PM by Patrik Jansson:
Education.Summer2008 . . . June 11, 2008, at 09:01 AM by Patrik Jansson:
Education.GruKomJuni2008 . . . June 09, 2008, at 09:42 PM by Patrik Jansson:
Education.�GRUTIMAL . . . June 09, 2008, at 12:39 PM by Patrik Jansson:
VLSI.AMSFlowA . . . June 02, 2008, at 01:18 PM by Magnus Sj�lander:
CE.VLSI . . . June 02, 2008, at 01:15 PM by Magnus Sj�lander:
Education.Budget . . . May 27, 2008, at 11:23 PM by Patrik Jansson:
GP.GP . . . May 26, 2008, at 07:13 PM by Patrik Jansson:
AoP.Sem9 . . . May 26, 2008, at 09:23 AM by Patrik Jansson:
Education.GruAdmMaj2008 . . . May 23, 2008, at 03:22 PM by Patrik Jansson:
Education.Studiev�gledareGU . . . May 22, 2008, at 09:34 PM by Patrik Jansson:
Education.Roles . . . May 22, 2008, at 09:28 PM by Patrik Jansson:
Education.�K . . . May 22, 2008, at 12:58 AM by Patrik Jansson:
Education.STURE . . . May 22, 2008, at 12:14 AM by Patrik Jansson:
AoP.Sem8 . . . May 21, 2008, at 11:58 AM by Patrik Jansson:
AoP.Sem1 . . . May 21, 2008, at 08:54 AM by Patrik Jansson:
Education.AboutGrundUtbPagesInDifferentServers . . . May 12, 2008, at 10:34 AM by Ana Bove:
Education.AboutMasterWebPages . . . May 12, 2008, at 10:34 AM by Ana Bove:
Education.MailFromAna . . . May 12, 2008, at 10:28 AM by Ana Bove:
Education.Suggestions . . . May 09, 2008, at 10:29 PM by Patrik Jansson:
Education.GruKomMaj2008 . . . May 09, 2008, at 02:17 PM by Patrik Jansson:
Education.FoCALNamnbyte . . . May 09, 2008, at 02:17 PM by Patrik Jansson:
Adm.Exp . . . May 08, 2008, at 10:06 AM by Patrik Jansson:
Education.ProgreCSE . . . May 05, 2008, at 11:23 PM by Patrik Jansson:
Education.CollabCSE . . . May 05, 2008, at 11:20 PM by Patrik Jansson:
ID.StaffanBj�rk . . . April 23, 2008, at 02:35 PM by Staffan Bj�rk:
Education.GruAdmApr2008 . . . April 21, 2008, at 04:16 PM by Patrik Jansson:
AoP.Sem5 . . . April 18, 2008, at 02:12 PM by Patrik Jansson:
ILG.Heldagsm�te080417 . . . April 16, 2008, at 10:31 PM by Patrik Jansson:
Education.Tentamenstillf�llen . . . April 16, 2008, at 10:20 PM by Patrik Jansson:
Education.VPCSGU . . . April 15, 2008, at 01:43 PM by Patrik Jansson:
FP.GenericProgramsAndProofs . . . April 14, 2008, at 11:37 PM by Patrik Jansson:
Education.Sj�lvv�rderingsmallen . . . April 09, 2008, at 11:39 AM by Patrik Jansson:
AoP.Sem3 . . . April 08, 2008, at 03:11 PM by Patrik Jansson:
AoP.Sem4 . . . April 08, 2008, at 02:41 PM by Marcin Zalewski:
AoP.Sem2 . . . April 07, 2008, at 12:40 PM by JP:
Education.GrundutbildningensWebbsidor . . . April 06, 2008, at 11:36 PM by Patrik Jansson:
Education.VPNDS20092013 . . . April 06, 2008, at 11:34 PM by Patrik Jansson:
Education.VPSRCSSET20092013 . . . April 06, 2008, at 11:17 PM by Patrik Jansson:
Education.GruKomApril2008 . . . April 04, 2008, at 09:51 AM by Patrik Jansson:
Education.CourseEvaluation . . . April 02, 2008, at 11:47 PM by Patrik Jansson:
Education.VPCE20092013 . . . March 28, 2008, at 10:05 PM by Patrik Jansson:
FP.VRProposals . . . March 28, 2008, at 12:40 PM by Patrik Jansson:
Education.GruAdmMar2008 . . . March 26, 2008, at 09:26 AM by Rebecca Cyr�n:
Education.Ekonomirutiner . . . March 19, 2008, at 09:51 PM by Patrik Jansson:
Research.AlgebraOfProgramming . . . March 19, 2008, at 09:39 AM by Patrik Jansson:
Education.VPFoCAL20092013 . . . March 17, 2008, at 08:42 PM by Patrik Jansson:
Education.VPID20092013 . . . March 17, 2008, at 08:30 PM by Patrik Jansson:
Education.VPCS20092013 . . . March 17, 2008, at 09:40 AM by Patrik Jansson:
Education.VPNS20092013 . . . March 17, 2008, at 09:02 AM by Patrik Jansson:
Education.VPSET20092013 . . . March 14, 2008, at 09:51 AM by Patrik Jansson:
Education.GruKomMars2008 . . . March 13, 2008, at 10:55 PM by Patrik Jansson:
FP.Other . . . March 11, 2008, at 10:56 PM by Patrik Jansson:
FP.080311Workshop . . . March 11, 2008, at 10:56 PM by Patrik Jansson:
FP.CollaborationsInsideChalmers . . . March 11, 2008, at 10:53 PM by Patrik Jansson:
FP.BuildingTheGroupAndItsReputation . . . March 11, 2008, at 10:51 PM by Patrik Jansson:
FP.WorkingMoreAsAGroup . . . March 11, 2008, at 10:49 PM by Patrik Jansson:
FP.ResearchDirections . . . March 11, 2008, at 10:26 PM by Patrik Jansson:
Education.CollabIESD . . . March 11, 2008, at 02:08 PM by Lars Bengtsson:
Education.NyA . . . March 10, 2008, at 01:55 PM by Patrik Jansson:
Education.BAT . . . March 10, 2008, at 01:52 PM by Patrik Jansson:
AJG.AJG . . . March 06, 2008, at 04:36 PM by Patrik Jansson:
ILG.Strategiarbete2008Planering . . . March 06, 2008, at 04:16 PM by Lena Peterson:
Education.ITIT . . . March 06, 2008, at 11:51 AM by Patrik Jansson:
Education.VP2008 . . . March 06, 2008, at 11:48 AM by Patrik Jansson:
Education.Examinator . . . March 06, 2008, at 11:01 AM by Patrik Jansson:
Education.HandledareCS . . . March 06, 2008, at 10:40 AM by Patrik Jansson:
Research.Infrastructure . . . February 22, 2008, at 02:08 PM by Patrik Jansson:
CSE.Education . . . February 21, 2008, at 12:02 PM by Patrik Jansson:
Main.ListOfAllPages . . . February 21, 2008, at 12:01 PM by Patrik Jansson:
Education.GruAdmFeb2008 . . . February 20, 2008, at 08:14 PM by Patrik Jansson:
ILG.080207VP1Instruktion . . . February 13, 2008, at 12:39 PM by Patrik Jansson:
SET.MSSoftwareEngineeringAmpTechnology . . . February 08, 2008, at 11:06 PM by Sibylle :
Education.GruKomFebruari2008 . . . February 07, 2008, at 11:46 PM by Patrik Jansson:
Education.CSEMScThesisCourse080201 . . . February 05, 2008, at 09:55 AM by Patrik Jansson:
Education.MPK . . . February 01, 2008, at 11:15 PM by Patrik Jansson:
Education.PA . . . February 01, 2008, at 11:12 PM by Patrik Jansson:
Education.SR . . . February 01, 2008, at 11:10 PM by Patrik Jansson:
Education.Exjobbsansvarig . . . February 01, 2008, at 11:06 PM by Patrik Jansson:
Education.DiversityEDIT . . . February 01, 2008, at 10:51 PM by Patrik Jansson:
Education.SolveIT . . . February 01, 2008, at 10:41 PM by Patrik Jansson:
FP.CompGenLib . . . January 28, 2008, at 02:13 PM by Patrik Jansson:
FP.ProjectsToDo . . . January 28, 2008, at 02:02 PM by Patrik Jansson:
Main.SET . . . January 23, 2008, at 11:37 PM by Patrik Jansson:
Research.ProjectsToDo . . . January 22, 2008, at 12:39 PM by Patrik Jansson:
ILG.M�tesplan . . . January 21, 2008, at 11:36 PM by Patrik Jansson:
Education.GruAdmJan2008 . . . January 17, 2008, at 03:09 PM by Patrik Jansson:
Main.SETDivisionMeetings . . . January 15, 2008, at 03:05 PM by Patrik Jansson:
Main.PatrikJansson . . . January 13, 2008, at 12:43 AM by Patrik Jansson:
Education.AvanceradNiv� . . . January 12, 2008, at 11:12 PM by Patrik Jansson:
Education.Grundniv� . . . January 12, 2008, at 11:11 PM by Patrik Jansson:
TEST.HomePage . . . January 07, 2008, at 09:18 PM by lj: