Write a Blog >>

0 results

People (9 results)
Mark Grebe

Mark Grebe

University of Kansas

… am a first year, part time, PhD student with Dr. Gill. My research interests include applying functional languages to solve problems in the Embedded Systems space, programming language design, and Computer Science education at all levels …

Geoffrey Mainland

Geoffrey Mainland

Drexel University

… for several tech companies, all of which are now defunct. Most of my work was related …

Tachio Terauchi

Tachio Terauchi

JAIST

… I am a Japan born Japanese, educated mostly in America. I have B.S. from Columbia and M.S. and Ph.D. from UC Berkeley, all in computer science. I was an assistant professor at Tohoku University from 2007 to 2011, and an associate professor …

Events (23 results)

All You Need is the Monad... What Monad Was That Again?

PPS 2016 When: Sat 23 Jan 2016 09:00 - 09:20 People: Norman Ramsey

… …

Keynote Talk: Generalising Abstraction

Off the Beaten Track When: Sat 23 Jan 2016 14:00 - 14:45 People: Robert Atkey

… is invariant under all changes of representation that act identically given …

Bisimulation Up-to Techniques for Psi-calculi

CPP When: Tue 19 Jan 2016 14:00 - 14:30 People: Johannes Å. Pohjola, Joachim Parrow

… algebraic and congruence properties of bisimilarity apply to all calculi within … these bisimulation proof methods can be adapted to psi- calculi. We formalise all our …

Constructing the Propositional Truncation using Non-recursive HITs

CPP When: Tue 19 Jan 2016 11:00 - 11:30 People: Floris van Doorn

… fully formalized all results in a new proof assistant, Lean. …

News (2 results)

PEPM 2016 Papers Now Available

Author: Ruzica Piskac

All PEPM’16 research papers are now freely available from the ACM Digital Library via http://conf.researchr.org/track/POPL-2016/pepm-2016-main#Proceedings . All papers will be freely available via these links for one year after POPL’16. …

POPL 2016 Papers Now Available

Author: Ruzica Piskac

All POPL’16 research papers are now freely available from the ACM Digital Library via http://conf.researchr.org/track/POPL-2016/POPL-2016-papers#Proceedings . All papers will be freely available via these links for one year after POPL’16. …

Attending Information (4 results)

Hilton St. Petersburg Bayfront

… Petersburg, that are all in close proximity of the hotel:

  • [Dali Museum](http …

Student Volunteers

… /POPL-2016/small/popl-logo5.jpg"

Call for Volunteers

All student volunteers … * Admission to all conference events (based on available space and workload …

Visas

… the ESTA page.

All other …, please send all requests to the Office of SIG Services via e-mail …

Financial Support

… registration, travel, accommodation, and reasonable meal expenses. All reimbursements …

Tracks (8 results)

PLMW

… for registration to all students interested in programming languages research (funded … and social activities

All funded students are staying at the main conference Hilton …. The workshop registration is open to all. Students with alternative sources …

PADL

… PADL is a forum for researchers and practitioners to present original work emphasizing novel applications and implementation techniques for all forms …)

All submissions must be original work written in English. Submissions must …

VMCAI

… policy on conflict of interest. All Program Committee chairs should read … are perceived to be related.

Not all of these criteria are perfectly objective … is primarily by the PC members themselves. All PC members should be given a copy …

General (4 results)

PLMW Homepage

… in 14 different countries. PLMW 2016 is open for registration to all students … than 90 attendees are expected!

Attending and social activities

All funded …

CPP 2016 Homepage

… Certified Programs and Proofs CPP is an international forum on theoretical and practical topics in all areas, including computer science, mathematics, and education, that consider certification as an essential paradigm for their work …

PADL Homepage

… emphasizing novel applications and implementation techniques for all forms …