Georg Neis und Mpi-Sws - Info zur Person

(1 - 12 von 13

)

Two MPI-SWS students receive Google Fellowships | Saarland...

saarland-informatics-campus.de

Fourth-year PhD student Georg Neis won a Google PhD Fellowship for his work in Programming Technology. First-year PhD student Ezgi Cicek was awarded anÂ Anita Borg Scholarship.They join MPI-SWS PhD student Juhi Kulshrestha, who received a Google Fellowship for …

Georg Neis

people.mpi-sws.org

Georg Neis. Affiliation: MPI-SWS & Saarland University Phone: (+49) Office: Room 334, Campus E1 5, Saarbrücken

Georg Neis – MPI SWS

www.mpi-sws.org

Georg Neis. Doctoral Student. Contact. Email: @ Web: https://people.mpi-sws.org/~neis · Imprint · Data Protection · Contact · . © Copyright by Max Planck Institute for Software Systems All rights reserved. Es fehlt: linkedin

Viktor Vafeiadis - Publications

people.mpi-sws.org

Chung-Kil Hur, Georg Neis, Derek Dreyer, Viktor Vafeiadis. Technical report MPI-SWS (January 2014) [Project page with Coq scripts] The transitive composability of relation transition systems. Chung-Kil Hur, Georg Neis, Derek Dreyer, Viktor Vafeiadis.

Schloss Dagstuhl : Participant List

www.dagstuhl.de

Politec. de Madrid, ES); Georg Neis (MPI-SWS - Saarbrücken, DE); Chih-Hao Luke Ong (University of Oxford, GB); Andrew M. Pitts (University of Cambridge, GB) ...

POPL 2013: 40th ACM SIGACT-SIGPLAN Symposium on Principles of...

popl.mpi-sws.org

Chung-Kil Hur (Microsoft Research), Georg Neis (MPI-SWS and Saarland University), and Derek Dreyer and Viktor Vafeiadis (MPI-SWS) The Sequential Semantics of Producer Effect Systems. Ross Tate (Cornell University)

Paco: A Coq Library for Parameterized Coinduction

plv.mpi-sws.org

Paco: A Coq Library for Parameterized Coinduction Chung-Kil Hur, Georg Neis, Derek Dreyer and Viktor Vafeiadis Max Planck Institute for Software Systems (MPI-SWS) Paco is a Coq library implementing parameterized coinduction.

ICFP : Program

icfpconference.org

:30-11:30 Session 6: Theorem provers; Pilsner: A Compositionally Verified Compiler for a Higher-Order Imperative Language: Georg Neis, MPI-SWS (Germany); Chung-Kil Hur, Seoul National University (Republic of Korea); Jan-Oliver Kaiser, MPI-SWS (Germany); Craig McLaughlin, University of Glasgow (UK); Derek ...

ICFP : The 15th ACM SIGPLAN International Conference on...

www.icfpconference.org

:55 The Impact of Higher-Order State and Control Effects on Local Relational Reasoning: Derek Dreyer (MPI-SWS); Georg Neis (MPI-SWS); Lars Birkedal ...

Mathematically Structured Programming Group @ University of...

msp.cis.strath.ac.uk

As an important consequence, parameterized coinduction can easily support complex nested induction-coinduction. We also implemented the parameterized coinduction as the Coq library called "paco", which can be found at: http://plv.mpi-sws.org/paco. This is joint work with Georg Neis, Derek Dreyer and Viktor Vafeiadis, ...

Alle Infos zum Namen "Georg Neis"

Verwandte Suchanfragen zu Georg Neis

Arnim Staschke
Lars Birkedal
Derek Dreyer

Karl-Heinz Overhageboeck
Markus Poguntke
Niko Paltzer

Andi Scharfstein
Angelika Meier
Marc Overhageböck

Person "Neis" (2)
Vorname "Georg" (36045)
Name "Neis" (397)

sortiert nach Relevanz / Datum

Erweiterte Suche

Person-Suchen: A B C D E F G H I J K L M N O P Q R S T U V W X Y Z

Georg Neis und Mpi-Sws Person-Info