con.racket-lang.org
Racket: RacketCon 2013
http://con.racket-lang.org/2013
RacketCon: 29 September 2013. Is a public meeting for everyone interested in Racket: developers, contributors, programmers, educators, and by-standers. It is an opportunity for all members of the community to come together to share plans, ideas, and enthusiasm. RacketCon will enable the entire Racket community to mingle: to update each other, to exchange ideas, to collaborate, and to help shape the future of Racket. RacketCon is hosted by the College of Computer and Information Science. Random Test Case ...
ccs.neu.edu
Sam Tobin-Hochstadt
http://www.ccs.neu.edu/home/samth
The most important decisions a scholar makes are what problems to work on. School of Informatics and Computing. Email: samth@cs.indiana.edu. Blog: Scripts to Programs. I'm looking for new Ph.D students at Indiana University Computer Science. If you are interested. Towards Practical Gradual Typing. Earl Dean, Daniel Felty, Matthias Felleisen. To appear at ECOOP 2015. Shriram Krishnamurthi, Eli Barzilay, Jay McCarthy. To appear at SNAPL 2015. Monotonic References for efficient gradual typing. My research f...
cs.ox.ac.uk
MPC 2015
http://www.cs.ox.ac.uk/conferences/MPC2015
Wwwcsox.ac.uk/conferences/MPC2015/index.html. Mathematics of Program Construction 2015 - Welcome. The Mathematics of Program Construction (MPC) conferences aim to promote the development of mathematical principles and techniques that are demonstrably practical and effective in the process of constructing computer programs, broadly interpreted. The 2015 MPC conference will be held in Königswinter, Germany, from 29th June to 1st July 2015. The previous conferences were held in Twente, The Netherlands.
tfp2016.org
Trends in Functional Programming 2016 : Program committee
http://www.tfp2016.org/pc.html
The 17th Symposium on Trends in Functional Programming. University of Maryland (US). Eacute;cole Polytechnique Fédérale de Lausanne (CH). University of Wroclaw (PL). University of A Coruña (ES). University of Chicago (US). University of Novi Sad (SR). University of Amsterdam (NL). Chalmers University of Technology (SE). Radboud University Nijmegen (NL). University of California, Santa Cruz (US). University of Massachusetts, Lowell (US). Eacute;cole Polytechnique Fédérale de Lausanne (CH).
tfp2016.org
Trends in Functional Programming 2016 : Call for Papers
http://www.tfp2016.org/cfp.html
The 17th Symposium on Trends in Functional Programming. Submissions of draft papers:. April 25, 2016. May 2, 2016. June 1, 2016. June 7, 2016. June 8–10, 2016. June 14, 2016. Submission for formal review:. July 14, 2016. October 31, 2016. November 30, 2016. The symposium recognizes that new trends may arise through various routes. As part of the Symposium's focus on trends we therefore identify the following five article categories. High-quality articles are solicited in any of these categories:. Validat...
con.racket-lang.org
Racket: RacketCon 2011
http://con.racket-lang.org/2011
RacketCon: 23 and 24 July 2011. Is a public meeting for everyone interested in Racket: developers, contributors, programmers, educators, and by-standers. It is an opportunity for all members of the community to come together to share plans, ideas, and enthusiasm. RacketCon will enable the entire Racket community to mingle: to update each other, to exchange ideas, to collaborate, and to help shape the future of Racket. RacketCon will hosted by the College of Computer and Information Science. At Northeaste...
con.racket-lang.org
Racket: RacketCon
http://con.racket-lang.org/2014
RacketCon: 20 September 2014. Was held in St. Louis on September 20th 2014. Videos of the talks are available, and linked to from the schedule. Extracting a Goose from a Klein Bottle. Carry on Making that Racket. YouPatch: A Racket-powered startup. Racket for a networked multiplayer game. Infinite Functional Entertainment at 60 FPS! Purely Functional 3D in Typed Racket. Minimart: Organizing Squabbling Actors. Sound: why is it so darn imperative? Like a Blind Squirrel in a Ferrari. Emacs à la mode DrRacket.
SOCIAL ENGAGEMENT