News
Talk by visiting researcher Kristina Sojakova: IPDL: A Probabilistic...
cs.au.dk
Title: IPDL: A Probabilistic Dataflow Logic for Cryptography
Abstract:
While there have been many successes in verifying cryptographic security proofs of...
HoTT 2019: Homotopy Type Theory, Aug 2019, Pittsburgh PA, U.S.A.
resources.illc.uva.nl
... Sweden) Formalization in Coq: Kristina Sojakova (Cornell University, USA) Higher topos theory: Mathieu Anel (Carnegie Mellon University, USA) Semantics of ...
LI2012
li2012.univ-mrs.fr
The talk is based on joint work with Steve Awodey and Kristina Sojakova. Thursday 1, 14:00. Stéphane Gaussent (Université Nancy 1), Coherent presentations ...
Netzwerk-Profile
LinkedIn: Kristina Sojakova | LinkedIn
berufliche Netzwerk, das Fach- und Führungskräften wie Kristina Sojakova dabei
...
Interessen
Michael Kohlhase & Kristina Sojakova, Towards an Atlas of Formal...
philpapers.org
LF has been designed as a meta-logical framework to represent logics, and has become a standard tool for studying properties of logics. Building on the newly...
Business-Profile
Xing: Kristina Sojakova - Client Experience Leader, Global - Bratislava -...
Berufserfahrung, Kontaktdaten, Portfolio und weitere Infos: Erfahr mehr – oder kontaktier Kristina Sojakova direkt bei XING.
Just a moment...
www.zoominfo.com
View Kristina Sojakova's business profile as Manager at Syneos Health Inc. Find contact's direct phone number, email address, work history, and more.
Firmen-Mitarbeiter
Theoretical Computer Science Till Mossakowski
www.theo.ovgu.de
· Mihai Codescu, Fulya Horozal, Michael Kohlhase, Till Mossakowski, Florian Rabe and Kristina Sojakova. The Distributed Ontology Language (DOL): Use Cases, Syntax, and Semantics. In: TKE (Terminology and Knowledge Engineering) Conference Christian Galinski, Oliver Kutz, Christoph Lange and Till Mossakowski. Modelling ...
Herkunft
Kristina Sojakova - The Mathematics Genealogy Projectwww.genealogy.math.ndsu.nodak.edu › ...
www.genealogy.math.ndsu.nodak.edu
Kristina Sojakova. MathSciNet. Ph.D. Carnegie Mellon University UnitedStates. Dissertation: Higher inductive types as homotopy-initial algebras.
Projekte
Thread: [Hol-info] Call for Participation: Modules and Libraries for...
sourceforge.net
... Design of a Proof Repository Architecture Stefania Dumbrava, Fulya Horozal and Kristina Sojakova, A Case Study on Formalizing Algebraic ...
HOL theorem-proving system / List hol-info Archives
sourceforge.net
... Fulya Horozal and Kristina Sojakova, A Case Study on Formalizing Algebraic ... Ganesh Gopalakrishnan (Univ of Utah) Shmuel Ur (IBM) Scott Stoller (SUNY ...
Bücher
Homotopy Type Theory: Univalent Foundations of Mathematics - Google...
books.google.de
Homotopy type theory is a new branch of mathematics that combines aspects of several different fields in a surprising way. It is based on a recently discovered...
Logical Foundations of Computer Science: International Symposium,...
books.google.de
This book constitutes the refereed proceedings of the International Symposium on Logical Foundations of Computer Science, LFCS 2013, held in San Diego, CA, USA...
Recent Trends in Algebraic Development Techniques: 19th International...
books.google.de
This book constitutes the thoroughly refereed post-conference proceedings of the 19th International Workshop on Recent Trends in Algebraic Development...
RoboCup 2004: Robot Soccer World Cup VIII - Google Books
books.google.de
ThesearetheproceedingsoftheRoboCup2004Symposium,heldattheInstituto Superior T ́ ecnico, in Lisbon, Portugal in conjunction with the RoboCup c- petition. The...
Musik
Full text of "Inductive types in homotopy type theory"
archive.org
1 2 STEVE AWODEY, NICOLA GAMBINO, AND KRISTINA SOJAKOVA possible to prove the uniqueness of recursively-defined functions. Furthermore, the ...
Dokumente zum Namen
[ ] A General Framework for Relational Parametricity
arxiv.org
From: Kristina Sojakova [view email] [v1] Mon, 30 Apr :14:39 UTC (73 KB) [v2] Fri, 4 May :22:25 UTC (73 KB) [v3] Fri, 11 May ...
Homotopy Type Theory: Univalent Foundations of Scratchpost.org
scratchpost.dreamhosters.com
Kristina Sojakova. In addition, there were the following short- and long-term visitors, including student visitors, whose contributions to the Special Year were also ...
The equivalence of the torus and the product of two circles in ...arxiv.org › cs
arxiv.org
Submission history. From: Kristina Sojakova [view email] [v1] Tue, 13 Oct :38:45 UTC (22 KB). Full-text links: ...
From megacz at cs.berkeley.edu Wed Jan 5 03:01: From ...
lists.seas.upenn.edu
From sojakova.kristina at gmail.com Thu Nov :50: From: sojakova.kristina at gmail.com (Kristina Sojakova) Date: Thu, 17 Nov :50:
Wissenschaftliche Veröffentlichungen
dblp: 42. POPL 2015: Mumbai, India
dblp.uni-trier.de
Bibliographic content of 42. POPL 2015: Mumbai, India
Kristina Sojakova - dblpdblp.org › Persons
dblp.org
Sojakova16. Kristina Sojakova: The Equivalence of the Torus and the Product of Two Circles in Homotopy Type Theory.
Veröffentlichungen allgemein
Recent Trends in Algebraic Development Techniques | SpringerLink
link.springer.com
This book constitutes the thoroughly refereed post-conference proceedings of the 20th International Workshop on Algebraic Development Techniques, WADT 2010,...
Towards Logical Frameworks in the Heterogeneous Tool Set Hets |...
link.springer.com
LF is a meta-logical framework that has become a standard tool for representing logics and studying their properties. Its focus is proof theoretic, employing...
Towards Logical Frameworks in the Heterogeneous Tool Set ...link.springer.com › chapter
link.springer.com
Mihai Codescu; Fulya Horozal; Michael Kohlhase; Till Mossakowski; Florian Rabe; Kristina Sojakova. Mihai Codescu. 1. Fulya Horozal. 2. Michael Kohlhase. 2.
Artikel & Meinungen
"dblp Kristina Sojakova" - Blog Malin
www.blog-malin.com
Jul http dblp org rec journals corr abs Steven Awodey Nicola Gambino Kristina Sojakova Inductive types in homotopy type theory ...
Sonstiges
Kristina Sojakova | Professional Profile - LinkedIn
www.linkedin.com
View Kristina Sojakova's profile on LinkedIn, the world's largest professional community. Kristina's education is listed on their profile. See the complete profile on LinkedIn and discover Kristina's connections and jobs at similar companies.
Kristina Sojakova | LinkedIn
www.linkedin.com
View Kristina Sojakova's professional profile on LinkedIn. LinkedIn is the world's largest business network, helping professionals like Kristina Sojakova discover ...
Kristina Sojakova - Credly
www.credly.com
Kristina Sojakova. Client Experience Advisor, North America | IBM. New York, New York. Badges. 1 badge. Sort by: Most Popular. IBM Certified Manager. IBM.
CoMeT | Speaker Profile
halley.exp.sis.pitt.edu
Some Basic Geometric Constructions in Homotopy Type Theory By: KRISTINA SOJAKOVA , Ph.D. Student Carnegie Mellon University at: 2:00 PM - 3:00 PM Location: Traffic 21 Classroom Gates&Hillman Centers ...
Kristina Sojakova (kristinas) - Libraries.io
libraries.io
Kristina Sojakova. Tracking 204 commits to 6 open source packages. Company: Carnegie Mellon University. Repositories. kristinas/hinitiality · Coq - Last ...
Kristina Sojakova (kristinasojakov) auf Pinterest
www.pinterest.co.uk
See what Kristina Sojakova (kristinasojakov) has discovered on Pinterest, the world's biggest collection of everyone's favourite things.
Kristina Sojakova (kristinasojakov) – Profil | Pinterest
www.pinterest.com.au
Pozrite sa, čo Kristina Sojakova (kristinasojakov) objavil(a) na Pintereste, najväčšej zbierke nápadov.
Kristina Sojakova - EasyChaireasychair.org › person841
easychair.org
Kristina Sojakova. Organization: Appalachian State University. Web page: http://www.cs.cmu.edu/~ksojakov/. Pages in this Program. LICS on Tuesday, July 10th.
Kristina Sojakova @kikinka_s Photos & Videos on Instagram - Orepic
orepic.com
Kristina Sojakova Photos & Videos on Instagram. @kikinka_s. 67Photos and videos 266Followers 497Following. 3 days ago. City That Never Sleeps - introduced by Martin Scorsese movie night at Museum of Modern Art #lovenyc # moma #nyc #movienight #citykitty days ago. best coffee companion, miss this ...
Pin by Kristina Sojakova on Hugo puppy ❤️ | Retriever puppy, Puppies,...
www.pinterest.co.uk
Tento pin objavil(a) Kristina Sojakova. Objavte (a uložte si) svoje vlastné piny na Pintereste.
High Tatras ... horses in the mountains | Horses, High tatras, Animals
www.pinterest.fr
Cette épingle a été découverte par Kristina Sojakova. Découvrez vos propres épingles sur Pinterest et enregistrez-les.
Pin by Kristina Sojakova on coffee - pinterest.chwww.pinterest.ch › pin
www.pinterest.ch
This Pin was discovered by Kristina Sojakova. Discover (and save!) your own Pins on Pinterest.
: Programming Language Semantics (Sp'15)
symbolaris.com
Programming Language Semantics (Spring 2015) Instructor: André Platzer (office: T 1:00-2:00, GHC 9103) Teaching Assistant: Kristina Sojakova (ksojakov@andrew) (office: M 2:00-3:00, GHC 7121) Units: 12: Semester: Spring 2015: Time: TR 10:30-11:50: Place: GHC 4303: This course counts as a Programming Languages star course in the …
Towards Logical Frameworks in the Heterogeneous Tool Set Hets |...
www.springerprofessional.de
LF is a meta-logical framework that has become a standard tool for representing logics and studying their properties. Its focus is proof theoretic,
POPL 2015: 42nd ACM SIGACT-SIGPLAN Symposium on Principles of...
popl.mpi-sws.org
Higher Inductive Types as Homotopy-Initial Algebras Kristina Sojakova (Carnegie Mellon University) Session 1B: Security (AG66, Chair: Karthikeyan Bhargavan, Inria) Runtime Enforcement of Security Policies on Black Box Reactive Programs Minh Ngo (University of Trento) Fabio Massacci (University of Trento) Dimiter Milushev (KU Leuven) Frank Piessens (KU Leuven)
Epizoda Zákaznícka spokojnosť nad zlato (Kristína Sojáková ...
www.audiolibrix.com
· Kristína Sojáková je Slovenka, ktorá strávila väčšinu svojej doterajšej kariéry v zahraničí. Už 15 rokov sa spája jej meno so svetovým IT gigantom IBM. Z kancelárie v New Yorku sa stará o zákaznícku spokojnosť a úzke prepojenie tejto oblasti s technológiami a biznisom. Svoju prácu nedávno ešte viac priblížila k IT, keď sa stala manažérkou pre IT Operations.
au:Sojakova_K in:math - SciRate Search
scirate.com
Homotopy type theory is a new branch of mathematics which merges insights from abstract homotopy theory and higher category theory with those of logic and ...
Kristina Sojakova - Cornell CS - Cornell Universitywww.cs.cornell.edu › ...
who.rocq.inria.fr
Contact. Office: Gates Hall 332; Email: ks858 AT cornell.edu; Phone: (412) Research. Since December I have been working with Greg Morrisett ...
Analysis_DFOL.hs | searchcode
searchcode.com
Analysis_DFOL.hs in thesis located at /02-development/Hets/DFOL
sortiert nach Relevanz / Datum