cse | Profiles / PatrikJansson

My official homepage is at http://www.chalmers.se/cse/EN/people/jansson-patrik

Travel / workshops / vacation:

2013-06-10/12: Second Open Global Systems Science Conference (in Brussels)
2013-06-22/29: Prel. family vacation
2013-07-01/05: 70th Meeting of IFIP WG 2.1 on Algorithmic Languages and Calculi (@Schloss Reisensburg, near Ulm, Germany)
2013-07-08/31: Family vacation
2013-09-22/28: ICFP + associated workshops, Boston, MA, USA

If I'm away, and you need to contact somebody

about the GSDP project please try with David Tabara instead
on the research side, you could try contacting somebody else in the Functional Programming or ProgLog research groups.
on the education side (about the AFP course) - see the homepage.
on the "Head of division"-side: for adm. support contact Jonna Amgard, or move one level up to the Head of Department (Jan Jonsson)
(on the "Head of programme"-side: from 2013-03-01 Roger Johansson has taken over, contact the D programme team.)

If you really need to get hold of me, you could always try calling +46 (0)7-6369-4349.

Log/links

2013-04-17/21: In St.Petersburg presenting a position paper on a Sustainable Energy Future through Education and Research
2013-04-16: Cezar Ionescu's Advanced Functional Programming course in Potsdam
2013-04-22: Nice talk about parallelism by Kevin Hammond.

  https://github.com/ParaPhrase/skel

2013-03-29/2013-04-07: Family vacation (påsklov, Budapest)
2013-03-29: SOLVED! LaTeX Error: File `mathdots.sty' not found.

  sudo apt-get install texlive-generic-extra

2013-03-27: https://ec.europa.eu/digital-agenda/help-us-improve-our-analysis-and-measurement
2013-03-26: Some blog entries about recent publications touching on Global Systems Science: Sustainable Energy Future, Testing vs proving, Dependent types and economic modelling
2013-03-25/26: FP winter meeting
2013-02-12/18: Family vacation (vintersportlov, Hudiksvall + Gräftåvallen)
2013-02-07/08: "Global Systems Science: role of models and data" workshop (in Brussels)
2013-02-01: Towards a Research programme in Global Systems Science. One important aspect will be discussed in the "GSS: models and data" workshop later this week.
2013-01-22: Don't interrupt a programmer
2013-01-17: Intressant film om det nedlagda pappersbruket Papyrus i Mölndal
2013-01-14/15: CSE department steering group kick-off meeting (Nääs Fabriker)
2013-01-08: http://www.chalmers.se/s2/EN/news/news-archive/project-supports-female
2012-12-15: Färdiga självvärderingsrapporter skickade till HSV: Datateknik civ.ing., kandidat, master
2012-12-07: GSDP second year evaluation meeting (Brussels)
2012-11-30: SMOSZ új hely
2012-11-19: Interesting talks about FP and C++. Should be related to Concepts = Type Classes.
2012-11-15/18: Vacation (Budapest)
2012-11-08/10: GSDP annual conference (Brussels): First Open Global Systems Science Conference
2012-10-29/2012-11-05: Vacation (Egypt)
2012-10-22/24: HSV-evaluation writing workshop (near Gothenburg)
20121020: Command line VPN activation
nmcli con up id Chalmers
20121006/14: IFIP WG 2.1 meeting #69 in Ottawa
20121007: Interesting paper about technology transfer and DSLs: Lessons learned from real DSL experiments by David Wile.
20120728: A nice blog entry about FP in the real world
20120503/04: GSDP meeting in Barcelona
20120502: Parametricity workshop @ Strathclyde
20120421: Read about problems with exponential growth: http://physics.ucsd.edu/do-the-math/2012/04/economist-meets-physicist/
20120414: Läser Datateknolosektionens styrelseprotokoll
20120403: nLab dependent type theory
20120319: Haskell parallelism: installing ghc-7.4.1, gtk and ThreadScope, cabal install parallel. Exercises for the PFP course.
20120317: Instruktioner för BankID på kort, SEB Ubuntu 10.04, 32-bitar.
20120217: The CSE department announces a position as Professor in Formal Methods
20120217: DSLs in the real world - blog post about the upcoming EclipseCon 2012
20120130: Tydlig (svensk) video-instruktion om att göra enkäter med Google Docs
20120125: Interesting projects: http://code.google.com/apis/gdata/ , http://code.google.com/p/google-docs-fs/
20120111: Links to many global models
20111228: Nice fusion examples
20111227: Useful read to understand Haskell / ghc / cabal install package problems
20111218: http://xkcd.com/976/
20111123: The portal page at GU for the Advanced Functional Programming course - linked here to help it gain strength in search results.
20111113: Read the FET call on 'science of global systems' - (in)directly generated from the GSDP project
20111113: Read the FET Proactive Intiative: Dynamics of Multi-Level Complex Systems (DyM-CS). I could be in a such application, but it is too late to pull at one.
20111111: Programming for kids
20111027: An interesting alternative Haskell mode for emacs
20111019: Interesting Science Code Manitesto about public access to scientific software.
20111006: Fyra lärare (+fyra till senare) erbjuds forskarutbildning på Chalmers!
20111003: Nice BSc thesis proposal: Water: en ersättning för Fire, baserad på versionshantering
20110924: Interesting read about increased female enrollment in CS
20110907: First commits to a public GitHub repository: the CSE-programme description (current draft)
20110905: Snart är nya vägen klar från Enånger till Hudiksvall
20110829: All the magic numbers in one place (ekonomi, administration: projektnummer, kostnadsställe, KST, ...)
20110826: Tünde is a member of the Young Academy of Sweden
20110825: Help your kids explore computing
20110822: Hänvisningskoder för Chalmers bordstelefoner
20110816: Welcomed new CSE students to Chalmers
20110811: Chalmers språkregler
20110729: Preliminary meeting schedule for IFIP WG 2.1: every 37 weeks, next meeting (#68) in Rome in Feb. 2012.
20110705: IFIP WG 2.1 (of which I am a member) now has a wikipedia page
20110629: Quite a nice piece of "Proof engineering": Relation-Algebraic Theories in Agda
20110612: Sibylle Schupp has announced a Ph.D. Position (Source-Code Analysis/Generic Libraries) in Hamburg
20110610: Learn programming in 10000 hours!
20110525: Interesting-looking workshop on Software Research and Climate Change
20110524: Chalmers ACM publication page
20110518: Geek feminism 1 and 2
20110513: To read: http://en.wikipedia.org/wiki/How_to_Solve_It
20110511: Läser igenom 2010/2011 års dtek-styrelsemötesprotokoll
20110511: Anyanyelvi tábor (Summer camp for Hungarian-speaking kids in Sweden.)
20110505: 21 pages of FP exam in three hours
20110503: Science of Global Systems
20110501: Fun from "Cortègen": Save the environment - walk to work, Wheel in wheel
20110427: Att skriva rapporter med LaTeX
20110415: Chalmers library is experimenting with Publication profiles
20110411: Morality and temptation - a blog entry with commuting diagrams and generic functional programming.
20110401: Academic writing (Calvin and Hobbes)
20110324: Submitted Embedded Parser Generators to ICFP 2011
20110324: Interesting video about (physics) teaching: make sure to be explicit about false turns
20110317: Nice blog by Bob Harper
20110315: This looks like an interesting introductory course: Cyber Millenium
20110228: An overview of Open Access publishing and an even shorter version.
20110203: An interesting start-up company SkrivaPå using Haskell to implement enabling technology for contract signing.
20110129: Chalmers file server migration seems to have "double-encoded" all utf-8 file names. To fix it, use convmv -f UTF8 -t latin1 or similar.
20110128: LaTeX: mathtools.sty not found. Solution: sudo apt-get install texlive-latex3
20101220: Hard facts about white Christmas from SMHI - Gothenburg seems to have around one in three years
20101130: Fritz Henglein got the Hiperfit grant!
20101128: Theorems for Free! Parametricity for Dependent Types: work in progress by Bernardy, Jansson, Paterson
20101103: Interesting language: ATS combining a subset of C++ with a functional language + dependent types.
20101102: Stow your ghc versions
20101015: It turns out that cabal install bzlib (indirectly used by timberc) requires sudo apt-get install libbz2-dev
20101010: Interesting papers by Andy Pitts: Parametric polymorphism and operational equivalence and Polymorphism is Set Theoretic, Constructively
20100831: Computer Sweden rapporterar om Funktionell Programmerings frammarsch
20100830: Finally got time to set up eduroam properly following these instructions including copying this file: remote12.chalmers.se:/etc/pki/tls/cert.pem.
20100820: Climate change - computer model
20100816: Type checking with type families makes my head hurt. I need (optional) explicit type application in Haskell (like foo<Bar>(x) in C++).
20100813: Interesting combination: SE and Martin-Löf type theory
20100810: Installing some Haskell software
20100629: Interesting read about HPC and programming languages
20100629: Read the new five-year plan for Chalmers (related documents)
20100213: I wish more people would use the international date standard!
20100212: Installed Ubuntu Netbook Remix 9.10 for the second time (on Sony Vaio X11S1E this time). The graphics driver needs these instructions including the mem=2000MB.
20091222: the-year-in-haskell/ and a nice Haskell tutorial
20091221: PhD comics - note the emergency button below the strip!
20091217: Ponty vagy Pinty = Karp eller Fink
20091204: Why do machine-oriented programmers confuse Halloween and Christmas? Because oct 31 = dec 25.
20091201: Teacher pages about MSc theses
20091127: Chalmers is advertising a 4-year position as assistant professor in the broad field of Information and Communication Technology. The position comes with funding for a PhD student and there are possibilities for a tenure. Information and ad can be found at http://www.chalmers.se/advance and the department can be found at http://www.chalmers.se/cse/EN/. If you have further questions please contact the head of department Catarina Coquand, catarina.coquand@chalmers.se.
20091119: Arguments in favour of Advanved Functional Programming: Curiosity --- math meets machine, widely applicable (Climate Modelling, Banking, Telecom, ...), Industry wants FP experts, Gothenburg is _the place_ for FP! Haskell Platform downloads, Eric's amazing Channel9 viewing figures. Higher-order functions in Visual Basic, monads in F#...
20091107: Nice summary of Lord of the Rings at xkcd Movie Narrative Charts
20091103: Setting up JPB's lic.
20091031: <a href="http://jansson.homelinux.com/julia/">Julias första egna hemsida</a>
20091030: Celebrating a new Putting FP to Work Using DSLs grant
20091023: Read about Seemingly impossible functional programs
20091011: Read about multi-core Haskell
20090930: A nice verification project (using Haskell models and a C implementation of an OS micro-kernel) http://ertos.nicta.com.au/research/l4.verified/
20090922: Engrish for a smile or two http://www.engrish.com/2005/10/help-oneself/, http://www.engrish.com/2007/10/are-you-smiling/, http://www.engrish.com/2002/12/cafeteria-sign/, http://www.engrish.com/2008/04/i-wash-it-in-what/,
20090827: Haskell catching a math error
20090713: Learned more about WALL-E - Erik's favourite film
20090710: Fixade droppande Mora-kran enl. denna tydliga instruktion.
20090703: http://www.engineergirl.org/
20090614: Haskell for Maths looks fun.
20090611: Wouter Swierstra talks about Chalk
20090506: Avhandling om skogskanter
20090504: Read about Debugging template metaprogramming
20090427: Read about Haskabelle fun
20090421: Large increase in applicants to engineering education
20090324: Talking to Don Syme about F#
20090323: Upgraded to OpenOffice 3 on my Ubuntu 8.10 laptop
20090319: Läser fakultetsrådets protokoll för Januari (med intressant presentation om karriärvägar och de strategiska ansökningarna) och Februari (med diskussion om grundutbildningsekonomi med små kurser, lärarutbildning mm.).
20090314: BioHaskell by Ketil Malde (Haskell libs for bioinformatics)
20090225: Haskell Style Guide
20090217: Some polytypic links what is, copy of GP from wikipedia?, recent W. Cook talk, "The evolution of a Haskell programmer", some comment, LtU on reflection, Bootstrapping cabal-install, POPL impact list (I think), some LtU comment
20090217: Chalmers email sub-domain clean-up information: http://www.chalmers.se/its/SV/epostinfo
20090216: Swedish spell-checking in emacs

  sudo apt-get install aspell-sv

20090211: Reading about Wikipedia:Non-Uniform Memory Access,Wikipedia:Cache only memory architecture, Wikipedia:Symmetric multiprocessing, Wikipedia:Asymmetric multiprocessing, Wikipedia:Grand Challenge problem, http://www.gridipedia.eu/, Taverna, Scientific wokrflow software OMII BPLE, Wikipedia:Folding@Home > 4 petaFLOPS!, Wikipedia:BEinGRID EU-project for business applications of GRID-computing, Wikipedia:Enabling Grids for E-sciencE, Wikipedia:NorduGrid developing the middleware ARC, Wikipedia:EUFORIA project, Wikipedia:Advanced Resource Connector middleware, Wikipedia:Globus Toolkit, Compare Grids and clouds, http://www.gridcafe.org/, Wikipedia:LAPACK, Wikipedia:OpenMP - an API for multi-threaded, shared memory parallelism, Wikipedia:GROMACS - a molecular dynamics simulation package, Enabling Grids for E-science, Wikipedia:KnowARC, Wikipedia:Open Grid Forum, http://www.swegrid.se/
20090210: Reading about Wikipedia:Grid computing, BOINC
20090203: Problem with cabal install haddock solved by

  sudo aptitude install libedit-dev

20090203: Students may be interested in an FP summer project
20090127: Mitt första möte som del av fakultetsrådet: http://document.chalmers.se/doc/937111484
20081210: Swedish hyphenation in LaTeX (texlive): sudo apt-get install texlive-lang-swedish
20081209: New mobile phone number: 07-6369-4349
20081206: Reading: Some numerics in Haskell: http://www.hmatrix.googlepages.com/, a Haskell IDE http://leksah.org/, associated types, and a Haskell Cheat Sheet
20081205: http://haskell.org/asn1/
20081205: http://comonad.com/haskell/category-extras/
20081205: Towards Haskell to FPGA compilation: http://www.cs.york.ac.uk/~mfn/reduceron2/
20081205: A new journal is started by Peter Apell: Chalmers Open Journal of Student Research (CHOJS) (vice rektor decision)
20081127: Moved my old web pages from cs to cse and added a redirect. Copied all the files and directories from the old site to the new (using rsync --archive --progress). Created a file .htaccess in the top level directory of the old site (/deprecated/cs/homepages/patrikj - do chmod a+r as well) with the following content:

RewriteEngine On

RewriteCond %{HTTP_HOST} ^.*cs\.chalmers\.se$ [NC]
RewriteRule ^(.*)$ http://www.cse.chalmers.se/~patrikj/$1 [R=301,L]

20081119: cabal install pandoc - a nice program to convert from markdown (almost plain text) to more structured formats (like HTML, LaTeX, .....). The ubuntu version is "old" (Jan 2008) so apt-get install pandoc did not provide the features I needed (code blocks in particular).
20081117: sudo apt-get install texlive-publishers
20081110: Educate yourself: http://www.gapminder.org/ has amazing visualisations of world development statistics
20081027: lhs2TeX-1.14 with Agda support (http://people.cs.uu.nl/andres/lhs2tex/Agda.html)
20081022: Thomas Arts is lobbying for software in Sweden: http://swedsoft.se/
20081009: Where should repos be stored locally? Is cvs.coverproject.org:/usr/local/CVS really a stable place?
20081009: http://www.kth.se/ingenjorsutbildningarna/program.html
20081009: C3SE: http://www.c3se.chalmers.se/index.php/Main_Page
20080709: Useful keybindings when using NX client for remote desktop work: (from NoMachine via this blog)

Ctrl + Alt + M to minimize or maximize fullscreen window
Ctrl+Alt+Shift+Esc to get rid of a not responding session
Ctrl + Alt + T to terminate a session
Ctrl + Alt + F to switch to fullscreen/windowed
Ctrl + Alt + arrow keys to viewport navigation
Ctrl + Alt + keypad arrow keys to viewport navigation
Ctrl + Alt + R to switch “auto-resize/viewport” mode.
Ctrl + Alt + E to toggle the lazy encoding
Ctrl + Alt + J to fix a visualization problem
Alt + F4 when the window manager is present, suspend or terminate a session

20080621: Finally got bidirectional access to GCal from Thunderbird + Lightning + Provider. The "New Calendar" menu entry was greyed out. After some searching I found the following discussion explaining that an "old" version of c++ is needef _before installing_ lightning. On my ubuntu 8.04 system this was the missing command:

  sudo apt-get install libstdc++5

followed by a reinstall of the provider and lightning (0.8) plugins.

20080529: The JFP LaTeX style file imports "epsf.sty" which was missing in my Ubuntu texlive setup. Problem solved by adding this package:

  sudo apt-get install texlive-generic-recommended

20080123: Läser D-programmets alumniundersökning 2007: http://www.chalmers.se/sections/ar_student/programhemsidor/datateknik_180_200_p/o/enkatresultat . Det vore bra att utnyttja "kontakten" med dessa alumner för att göra intervjuer för rekryteringsmaterial.
20080112: Mina första erfarenheter med wikin - skapar ett par toppnivåsidor och ger läsrättigheter till alla på Site.SideBar (den var blank annars).

Some old travel:

2012-05-17/18: Vacation / working at home

2012-05-28/2012-06-04: local workshops
- Mon-Tue: RAWFP Workshop2012
- Wed-Thu: DITMed: nätverksträff
- Mon: CSE teachers' meeting
2012-05-10/18: Not at Chalmers
- 2012-05-11: Funeral in Sundsvall
- 2012-05-14/16: "GSDP workshop on Global systems as networks of networks" in Florence
2012-04-02/05: DSL for Global Systems modelling work meeting.
2011-10-10/11: GSDP yearly conference (in Berlin)

...

20090129-20090201: vacation (Åre)
20080919-27: WGP'08 + ICFP'08 + Haskell'08 in Victoria, BC, Canada (FP.ICFP08 travel details)
20080714-18: MPC'08 in Marseille, France (directions from Marseille to CIRM)

PatrikJansson

Links

Log/links