Filters








3 Hits in 4.8 sec

Information Flow and Its Applications 1 Executive Summary

Samson Abramsky, Jean Krivine, Michael Mislove, Samson Abramsky, Jean Krivine, Michael Mislove, Samson Abramsky, Jean Krivine, Michael Mislove
Dagstuhl Reports   unpublished
This report documents the program and the outcomes of Dagstuhl Seminar 12352 "Information Flow and Its Applications".  ...  Mislove The seminar "Information Flow and Its Applications" that took place in Schloss Dagstuhl in August 2012, has been the latest in a series of meetings concerning information flow that began with the  ...  Flow and Its Applications  ... 
fatcat:o2qwo3v725drjhn7bhhb5g37q4

Identities in modular arithmetic from reversible coherence operations [article]

Peter Hines
2013 arXiv   pre-print
We give a single example (taken from an uncountably infinite set of similar examples, and based on structures used in models of reversible logic and computation) of a category whose structural isomorphisms  ...  This paper investigates some issues arising in categorical models of reversible logic and computation.  ...  However, a passing comment in the appendix of [14] (expanded upon in a talk given by the author at Dagstuhl Seminar 12352, 'Information Flow and its Applications' [3] ) observes that in various settings  ... 
arXiv:1304.7128v1 fatcat:h7pfp4wjfvconaznqodn5wtdca

2012 Jahresbericht Annual Report Jahresbericht Annual Report

Kontakt Geschäftsstelle, Schloss Dagstuhl, Heike Clemens, Jutka Gasiorowski
2013 unpublished
Acknowledgments Many thanks to the Dagstuhl office and its helpful and patient staff; huge thanks to the organizers of the previous seminars in the series for setting us up for success; and thanks to all  ...  the participants, who worked hard and were amiable company all week.  ...  Software Clone Management Towards Industrial Application (12071) Software Synthesis (12152) Verifying Reliability (12341) Information Flow and Its Applications (12352) Coalgebraic Logics (12411)  ... 
fatcat:qmtsqeo23jcjffzwbvuoasqchq