Categories

• news 81

news

• Talk on Extracting Functional Programs from Coq, in Coq by Danil Annenkov
• MSc Thesis defence on Sum types in Futhark
• ConCert: A Smart Contract Certification Framework in Coq
• PhD Defence: Danil Annenkov
• HIPERFIT Summit
• HIPERFIT Workshop
• PhD Defence: Troels Henriksen
• PhD Defence: Martin Dybdal
• PhD Defence: Maj-Britt Nordfang
• Blockchain Meeting
• PhD Defence: Frederik Meisner Madsen
• Talk on Nessie by John Reppy
• PhD Defence: Martin A. Jönsson
• Talk on File System Scalability by André Brinkmann
• PhD Status Seminar for Troels Henriksen
• Accelerate
• PhD Defence: Lykke Rasmussen
• HIPERFIT Workshop
• PhD Defence: Simon Ellersgaard Nielsen
• Chapel: Parallel Programmability from Desktops to Supercomputers
• Automated Loan Credit Rating
• Status of the GPU-targeting Futhark compiler
• PhD Defence: Troels Blum
• PhD Defence: Simon A F Lund
• The HIPERmark Benchmark Toolkit
• Analyzing the Swiss National Bank's euro exchange rate policy: A latent likelihood approach
• Talk on Optimal Hedge Tracking Portfolios in a Limit Order Book
• Talk on Functional Array Streams
• HIPERFIT Bachelor Projects
• Talk on Compiling APL to Accelerate
• Talk on kdb+ by Conor Tworny
• Conference on Exchange Rate Stability
• Talks on Streaming in Data Parallelism
• Talk on The Fundamental Theorem of Derivative Trading
• Talk by Grigori Fursin on Collaborative and Reproducible Computer Engineering
• Talks by Rolf Poulsen and Martin Elsman at GetF'IT
• HIPERFIT Workshop
• New HIPERFIT PhD Scholarship
• Talk by Amos Robinson on Fusion
• HIPERFIT Seminar on Automated Solution of Differential Equations
• MSc Thesis defence on Multireduce and Multiscan on Modern GPUs
• Two New HIPERFIT PhD Scholarships
• HIPERFIT Fall Activities
• Internal HIPERFIT PhD Workshop
• HIPERFIT Seminar on July 2, 2013
• Global Systems Science
• Bohrium Day
• HIPERFIT Get FIT Event
• HIPERFIT Talks at Events for the Danish Quant Network and CFIRs Company Forum
• February Seminar
• Talk by Robert Bernecky on APEX
• September Seminar
• ICFP 2012 in Copenhagen
• PhD positions in parallel FP
• One Day Workshop on SaC and APL
• June Seminar
• Seminar in May and Martin Elsman
• Seminar today canceled
• April Seminar and Workshop in Chicago
• Seminar in March and additional funding
• HIPERFIT seminar in February postponed
• Call for collaboration with SMEs
• Happy New Year and come to our seminar
• January Seminar and new Post Docs
• 2nd HIPERFIT workshop December 1st and 2nd
• Kevin Hammond Visiting
• November Seminar and 2nd workshop
• Seminar, Guest, and Reading Material
• Jeroen Weijers visiting September 5 7
• Dave Cliff
• Center Manager Position
• Next two seminar talks
• Simcorp position 2011
• Manuel Chakravarty
• Nordea Computer Science student 2011
• DIKU talk and Summer Seminar
• Open Positions and Events in June
• Center Manager Position and PhD and Postdoc Positions
• 1st HIPERFIT workshop next week
• Events And Positions
• Starting