Searched: Janis *Voigtlaender[^A-Za-z]
Results from BX12 web
The following contributions were selected (out of 15 submissions) for presentation at the workshop: Anthony Anjorin, Gergely Varro and Andy Schürr. Complex Attribute ...
The following co-located meetings with overlapping interests are directly adjacent to BX 2012: ESOP 2012: 22nd European Symposium on Programming FASE 2012: 15th International ...
BX 2012 is co-located with the following events: CC 2012: 21st International Conference on Compiler Construction ESOP 2012: 22nd European Symposium on Programming ...
Bidirectional transformations (bx) are a mechanism for maintaining the consistency of at least two related sources of information. Such sources can be databases, software ...
INCLUDE{AimsAndTopics} INCLUDE{PublicationVenue} Submission Guidelines INCLUDE{SubmissionGuidelines} Important Dates INCLUDE{ImportantDates} Invited Speakers INCLUDE ...
Call For Papers ACM SIGPLAN 2010 Workshop on PARTIAL EVALUATION AND PROGRAM MANIPULATION (PEPM'10) Madrid, Spain January, 2010 (Co-located with POPL 2010) http:/ ...
PEPM 2010 is co-located with POPL 2010.
First International Workshop on Bidirectional Transformations (BX 2012) CONFERENCEDAYS Tallinn, Estonia co-located with ETAPS 2012 URLPEPM10 @
Papers Acceptance Rate Participants
We are proud to feature the following two invited talks: Juan de Lara (Autonomous University of Madrid, Spain): Bidirectional Transformations with Graphical Constraints ...
Submission Guidelines INCLUDE{SubmissionGuidelines} Important Dates INCLUDE{ImportantDates}
Previous Informal Meetings Coupled Software Transformations Workshop, Portugal 2011 Dagstuhl Seminar Bidirectional Transformations "bx", Germany 2011 GRACE Int. Meeting ...
The abstracts of invited talks and accepted contributions are available here and here. Where provided by the speakers (of non-whiteboard-only talks), slides are linked ...
Program Chairs Frank Hermann (Technical University of Berlin, Germany; University of Luxembourg, Luxembourg) Janis Voigtl nder (University of Bonn, Germany) Program ...
Proceedings Accepted regular papers will appear as a volume of EC-EASST. A preliminary version of the proceedings, including the short papers and lightning talk abstracts ...
Registration for BX 2012 will be part of the registration for ETAPS 2012.
The PEPM Symposium/Workshop series aims to bring together researchers and practitioners working in the areas of program transformation and generation. For PEPM 2006 ...
At PEPM'10, we will have a video talk premiering new movie processing technology that a team at the University of Kansas is developing based on applicative functors ...
A Steering Committee comprising organizers of past and upcoming BX-related events has been formed (to develop by following a rotation scheme in the future): Krzysztof ...
The abstracts are available here, here, and here. Monday, January 18, 2010 Chairs' Welcome: 9:00 9:05 Invited Talk 1: 9:05 10:05 Lennart Augustsson: O, Partial Evaluator ...
PEPM has a special category of papers called tool demo papers. The main purpose of a tool paper is to display other researchers in the PEPM community a completed, ...
INCLUDE{ConferenceHeader} INCLUDE{AimsAndTopics} INCLUDE{PublicationVenue} Submissions can use LNCS or EC-EASST style. See the submission guidelines for details. ...
BX 2012 for Papers Dates Committee Submission BX 2012 Program Talks Papers Schedule Meetings ESOP 2012 FASE 2012 GT-VMT 2012 VSSE 2012 LDTA 2012 FESCA 2012 ... and ...
++ Follow on Twitter 2011-07-31 Program Committee formed. 2011-04-25 Workshop date fixed. 2011-03-11 BX accepted as ETAPS 2012 workshop. STOPINCLUDE
TWiki.BX12 Web Preferences The following settings are web preferences of the TWiki.BX12 web. These preferences overwrite the site-level preferences in TWIKIWEB . ...
HistoricalStatistics for TWiki.BX12 Web Month: Topic views: Topic saves: File uploads: Most popular topic views: Top contributors for topic save and uploads: Feb ...
Please see the ETAPS 2012 page for more information.

Number of topics: 30
Results from GPCE10 web
HistoricalStatistics for TWiki.GPCE10 Web Month: Topic views: Topic saves: File uploads: Most popular topic views: Top contributors for topic save and uploads: Feb ...

Number of topics: 1
Results from HART14 web
The following co-located meetings with overlapping interests are directly adjacent to BX 2012: ESOP 2012: 22nd European Symposium on Programming FASE 2012: 15th International ...
BX 2012 is co-located with the following events: CC 2012: 21st International Conference on Compiler Construction ESOP 2012: 22nd European Symposium on Programming ...
Haskell is an advanced purely-functional programming language. Pure functional programming is programming with equations, often defined by pattern-matching. Rewriting ...
INCLUDE{AimsAndTopics} Invited Speaker INCLUDE{InvitedTalks} INCLUDE{PublicationVenue} Important Dates INCLUDE{ImportantDates} Program Committee INCLUDE{ProgramCommittee ...
Call For Papers ACM SIGPLAN 2010 Workshop on PARTIAL EVALUATION AND PROGRAM MANIPULATION (PEPM'10) Madrid, Spain January, 2010 (Co-located with POPL 2010) http:/ ...
PEPM 2010 is co-located with POPL 2010.
The workshop has been cancelled. Second Workshop on Haskell And Rewriting Techniques (HART 2014) CONFERENCEDAYS VENUE co-located with ICFP 2014 URLHART14
Papers Acceptance Rate Participants
Submission: Sat, July 12, 2014 (extended) Notification: Mon, July 21, 2014 Workshop: CONFERENCEDAYS
We are proud to feature an invited talk by Oleg Kiselyov!
INCLUDE{PublicationVenue} Important Dates INCLUDE{ImportantDates}
A previous meeting was held as HART 2013.
The workshop has been cancelled.
Program Chairs Kristoffer Rose (Two Sigma Investments, LLC, USA) Janis Voigtl nder (University of Bonn, Germany) Program Committee Members Bertram Felgenhauer (University ...
Submission and Proceedings We solicit two types of submissions: Extended abstracts. Presenting original research, and also preliminary reports of work in progress ...
Registration for HART 2014 will be part of the registration process for ICFP 2014.
The PEPM Symposium/Workshop series aims to bring together researchers and practitioners working in the areas of program transformation and generation. For PEPM 2006 ...
At PEPM'10, we will have a video talk premiering new movie processing technology that a team at the University of Kansas is developing based on applicative functors ...
A Steering Committee comprising organizers of past and upcoming BX-related events has been formed (to develop by following a rotation scheme in the future): Krzysztof ...
Submission is electronically at https://www.easychair.org/conferences/?conf hart2014.
The abstracts are available here, here, and here. Monday, January 18, 2010 Chairs' Welcome: 9:00 9:05 Invited Talk 1: 9:05 10:05 Lennart Augustsson: O, Partial Evaluator ...
PEPM has a special category of papers called tool demo papers. The main purpose of a tool paper is to display other researchers in the PEPM community a completed, ...
INCLUDE{ConferenceHeader} News INCLUDE{WebNews} INCLUDE{AimsAndTopics} Invited Speaker INCLUDE{InvitedTalks} INCLUDE{PublicationVenue}
HART 2014 for Papers Dates Committee Submission Program Invited Talk Papers Schedule Local Information Venue Registration Accommodation History Previous Meeting ...
2014-02-10 Program Committee formed. 2014-02-01 Invited speaker confirmed. 2014-01-16 Workshop date fixed. 2013-12-19 HART accepted as ICFP 2014 workshop. STOPINCLUDE ...
TWiki.HART14 Web Preferences The following settings are web preferences of the TWiki.HART14 web. These preferences overwrite the site-level preferences in TWIKIWEB ...
HistoricalStatistics for TWiki.HART14 Web Month: Topic views: Topic saves: File uploads: Most popular topic views: Top contributors for topic save and uploads: Feb ...
Please see the ICFP 2014 page for more information.

Number of topics: 32
Results from Main web
BxGroup Set GROUP Main.EelcoVisser JanisVoigtlaender FrankHermann Set ALLOWTOPICCHANGE BxGroup Related topics: WIKIUSERSTOPIC , TWikiGroups, TWIKIWEB .TWikiAccessControl ...
BxGroup Set GROUP Main.EelcoVisser JanisVoigtlaender Set ALLOWTOPICCHANGE HartGroup Related topics: WIKIUSERSTOPIC , TWikiGroups, TWIKIWEB .TWikiAccessControl Main ...
PepmGroup Set GROUP Main.EelcoVisser RobertGlueck OegeDeMoor JanisVoigtlaender JeremySiek KhooSiauCheng SimonThompson OlegKiselyov ShinChengMu ElviraAlbert AndreeaCostea ...
TransformGroup Set GROUP Main.EelcoVisser, TomTourwe, MikeVanEmmerik, StephenCheng, JohnGrant, MartinBravenboer, TomMens, HolgerKienle, JoseLuizFiadeiro, PieterVanGorp ...

Number of topics: 4
Results from PEPM10 web
The following papers (in no particular order) will be presented at the workshop. Regular research papers: Christopher Brown and Simon Thompson. Clone Detection and ...
PEPM 2010 is co-located with the following events: DAMP 2010: Workshop on Declarative Aspects of Multicore Programming PADL 2010: Symposium on Practical Aspects of ...
The PEPM Symposium/Workshop series aims to bring together researchers and practitioners working in the areas of program manipulation, partial evaluation, and program ...
INCLUDE{AimsAndTopics} The SIGPLAN Republication Policy and ACM's Policy and Procedures on Plagiarism apply. Papers should be submitted electronically via the workshop ...
Call For Papers ACM SIGPLAN 2010 Workshop on PARTIAL EVALUATION AND PROGRAM MANIPULATION (PEPM'10) Madrid, Spain January, 2010 (Co-located with POPL 2010) http:/ ...
PEPM 2010 is co-located with POPL 2010.
ACM SIGPLAN 2010 Workshop on Partial Evaluation and Program Manipulation (PEPM'10) CONFERENCEDAYS Madrid, Spain co-located with POPL'10 Sponsored by ACM SIGPLAN URLPEPM10 ...
Papers Acceptance Rate Participants
The paper submission deadline has been extended until Mon, October 12, 2009, 12:00 noon, Apia time. Paper submission: PAPERSUBMISSION Author notification: PAPERNOTIFICATION ...
We are proud to present the following two invited talks: Lennart Augustsson (Standard Chartered Bank, UK): O, Partial Evaluator, Where Art Thou? BR BR Abstract: Partial ...
INCLUDE{SubmissionGuidelines} Important Dates INCLUDE{ImportantDates} Electronic Submission Papers must be submitted electronically in PDF format at http://www.easychair ...
Dates, Venues, Statistics PEPM 2009: Savannah, Georgia, USA; 2 day workshop; 51 participants; 36 submissions, 20 accepted. PEPM 2008: San Francisco, California, USA ...
The abstracts are available here, here, and here. Monday, January 18, 2010 Chairs' Welcome: 9:00 9:05 Invited Talk 1: 9:05 10:05 Lennart Augustsson: O, Partial Evaluator ...
Program Chairs John Gallagher (Roskilde University, Denmark, and IMDEA Software, Spain) Janis Voigtl nder (University of Bonn, Germany) Program Committee Members Wei ...
Registration for PEPM 2010 is part of the registration for POPL 2010, here. The deadline for reservations in the conference hotel at block price is December 28, 2009 ...
The PEPM Symposium/Workshop series aims to bring together researchers and practitioners working in the areas of program transformation and generation. For PEPM 2006 ...
At PEPM'10, we will have a video talk premiering new movie processing technology that a team at the University of Kansas is developing based on applicative functors ...
Authors are strongly encouraged to consult the advice for authoring research papers and tool papers before submitting. The PC Chairs welcome any inquiries about the ...
The abstracts are available here, here, and here. Monday, January 18, 2010 Chairs' Welcome: 9:00 9:05 Invited Talk 1: 9:05 10:05 Lennart Augustsson: O, Partial Evaluator ...
PEPM has a special category of papers called tool demo papers. The main purpose of a tool paper is to display other researchers in the PEPM community a completed, ...
INCLUDE{ConferenceHeader} News INCLUDE{WebNews} INCLUDE{AimsAndTopics} Follow this link for the complete for Papers. There is also a more compact PDF version.
PEPM 2010 for Papers Dates Committee Advice for Authors Research Paper Tool Paper Submission PEPM Program Talks Papers Feature Schedule Local Information Venue Registration ...
2011-01-24 PEPM'11 in Austin. 2010-01-21 Proceedings in the ACM DL. 2010-01-18 49 participants. 2009-11-26 Schedule available. 2009-11-10 Special feature announced ...
TWiki.PEPM10 Web Preferences The following settings are web preferences of the TWiki.PEPM10 web. These preferences overwrite the site-level preferences in TWIKIWEB ...
HistoricalStatistics for TWiki.PEPM10 Web Month: Topic views: Topic saves: File uploads: Most popular topic views: Top contributors for topic save and uploads: Feb ...
Please see the local arrangements page of POPL 2010 for more information.

Number of topics: 30
Results from PEPM11 web
Call For Papers ACM SIGPLAN 2010 Workshop on PARTIAL EVALUATION AND PROGRAM MANIPULATION (PEPM'10) Madrid, Spain January, 2010 (Co-located with POPL 2010) http:/ ...
PEPM 2010 is co-located with POPL 2010.
Papers Acceptance Rate Participants
Dates, Venues, Statistics PEPM 2010: Madrid, Spain; 2 day workshop; 49 participants; 45 submissions, 18 accepted. PEPM 2009: Savannah, Georgia, USA; 2 day workshop ...
Registration for PEPM 2011 is part of the registration for POPL 2011, here. The deadline for reservations in the Omni Austin Hotel Downtown(Texas) at the special ...
The PEPM Symposium/Workshop series aims to bring together researchers and practitioners working in the areas of program transformation and generation. For PEPM 2006 ...
At PEPM'10, we will have a video talk premiering new movie processing technology that a team at the University of Kansas is developing based on applicative functors ...
Authors are strongly encouraged to consult the advice for authoring research papers and tool papers before submitting. The PC Chairs welcome any inquiries about the ...
The abstracts are available here, here, and here. Monday, January 18, 2010 Chairs' Welcome: 9:00 9:05 Invited Talk 1: 9:05 10:05 Lennart Augustsson: O, Partial Evaluator ...
PEPM has a special category of papers called tool demo papers. The main purpose of a tool paper is to display other researchers in the PEPM community a completed, ...
INCLUDE{ConferenceHeader} News INCLUDE{WebNews} PEPM 2011 is the 20th edition of the PEPM series! To celebrate this 20th anniversary, the general chairs from the ...
HistoricalStatistics for TWiki.PEPM11 Web Month: Topic views: Topic saves: File uploads: Most popular topic views: Top contributors for topic save and uploads: Feb ...

Number of topics: 16
Results from PEPM12 web
Call For Papers ACM SIGPLAN 2010 Workshop on PARTIAL EVALUATION AND PROGRAM MANIPULATION (PEPM'10) Madrid, Spain January, 2010 (Co-located with POPL 2010) http:/ ...
PEPM 2010 is co-located with POPL 2010.
Papers Acceptance Rate Participants
Dates, Venues, Statistics PEPM 2011: Austin, Texas, USA; 2 day workshop; 33 participants; 35 submissions, 15 accepted. PEPM 2010: Madrid, Spain; 2 day workshop; 49 ...
Registration for PEPM 2012 is part of the registration for POPL 2012, here. The deadline for reservations in the Sheraton Society Hill Hotel in Philadelphia's historic ...
At PEPM'10, we will have a video talk premiering new movie processing technology that a team at the University of Kansas is developing based on applicative functors ...
Journal special issues of selected papers from PEPM meetings Special issue of Higher-Order and Symbolic Computation for PEPM'10 Special issue of Higher-Order and ...
John Gallagher Siau-Cheng Khoo Oleg Kiselyov German Puebla Jeremy Siek Simon Thompson Janis Voigtl nder chair
The abstracts are available here, here, and here. Monday, January 18, 2010 Chairs' Welcome: 9:00 9:05 Invited Talk 1: 9:05 10:05 Lennart Augustsson: O, Partial Evaluator ...
PEPM has a special category of papers called tool demo papers. The main purpose of a tool paper is to display other researchers in the PEPM community a completed, ...
INCLUDE{ConferenceHeader} Online registration open at https://regmaster3.com/2012conf/POPL12/register.php Early registration deadline is December 24, 2011 News INCLUDE ...
HistoricalStatistics for TWiki.PEPM12 Web Month: Topic views: Topic saves: File uploads: Most popular topic views: Top contributors for topic save and uploads: Feb ...

Number of topics: 14
Results from PEPM13 web
A best paper award will be announced at the workshop.
Call For Papers ACM SIGPLAN 2010 Workshop on PARTIAL EVALUATION AND PROGRAM MANIPULATION (PEPM'10) Madrid, Spain January, 2010 (Co-located with POPL 2010) http:/ ...
PEPM 2010 is co-located with POPL 2010.
Papers Acceptance Rate Participants
Dates, Venues, Statistics PEPM 2012: Philadelphia, Pennsylvania, USA; 2 day workshop; 46 participants; 37 submissions, 19 accepted. PEPM 2011: Austin, Texas, USA ...
Registration for PEPM 2013 is part of the registration for POPL 2013. Please go to their online registration page. You must register an account before being shown ...
The PEPM Symposium/Workshop series aims to bring together researchers and practitioners working in the broad area of program transformation and generation. We hope ...
At PEPM'10, we will have a video talk premiering new movie processing technology that a team at the University of Kansas is developing based on applicative functors ...
Journal special issues of selected papers from PEPM meetings Special issue of Higher-Order and Symbolic Computation for PEPM'12, forthcoming Special issue of Higher ...
The abstracts are available here, here, and here. Monday, January 18, 2010 Chairs' Welcome: 9:00 9:05 Invited Talk 1: 9:05 10:05 Lennart Augustsson: O, Partial Evaluator ...
PEPM has a special category of papers called tool demo papers. The main purpose of a tool paper is to display other researchers in the PEPM community a completed, ...
INCLUDE{ConferenceHeader} PEPM Proceedings is available for free download from ACM DL during the POPL week! News INCLUDE{WebNews} INCLUDE{AimsAndTopics} Follow this ...
HistoricalStatistics for TWiki.PEPM13 Web Month: Topic views: Topic saves: File uploads: Most popular topic views: Top contributors for topic save and uploads: Feb ...

Number of topics: 15
Results from PEPM14 web
A best paper award will be announced at the workshop.
PEPM 2010 is co-located with POPL 2010.
Papers Acceptance Rate Participants
At PEPM'10, we will have a video talk premiering new movie processing technology that a team at the University of Kansas is developing based on applicative functors ...
Journal special issues of selected papers from PEPM meetings Special issue of Higher-Order and Symbolic Computation for PEPM'12, forthcoming Special issue of Higher ...
The abstracts are available here, here, and here. Monday, January 18, 2010 Chairs' Welcome: 9:00 9:05 Invited Talk 1: 9:05 10:05 Lennart Augustsson: O, Partial Evaluator ...
PEPM has a special category of papers called tool demo papers. The main purpose of a tool paper is to display other researchers in the PEPM community a completed, ...
INCLUDE{ConferenceHeader} PEPM Proceedings will be available for free download from ACM DL during the POPL week! News INCLUDE{WebNews} INCLUDE{AimsAndTopics} Follow ...
HistoricalStatistics for TWiki.PEPM14 Web Month: Topic views: Topic saves: File uploads: Most popular topic views: Top contributors for topic save and uploads: Feb ...

Number of topics: 11