Search for 'all'
0 results
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 …
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
Drexel University
… for several tech companies, all of which are now defunct. Most of my work was related …
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. …
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. …
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 …
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 …
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 …