[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
Call For Participation Ninth International Symposium on Functional and Logic Programming FLOPS 2008 April 14-16 Ise, JAPAN http://www.math.nagoya-u.ac.jp/~garrigue/FLOPS2008/ Early Registration Ends on March 14, 2008 ----------------------------------------- FLOPS is a forum for research on all issues concerning declarative programming, including functional programming and logic programming, and aims to promote cross-fertilization between the two paradigms. Previous FLOPS meetings were held in Fuji Susono (1995), Shonan Village (1996), Kyoto (1998), Tsukuba (1999), Tokyo (2001), Aizu (2002), Nara (2004) and Fuji Susono (2006). VENUE The meeting will be held at the Ise City Plaza, located in Ise, Japan, famous for its shrine rebuilt every 20 year since 13 centuries ago. REGISTRATION The registration is now open at the symposium home page: http://www.math.nagoya-u.ac.jp/~garrigue/FLOPS2008/ PROCEEDINGS The proceedings will be published as a volume in Lecture Notes in Computer Science, Springer, Volume 4989, and distributed at the symposium. INVITED SPEAKERS Peter Dybjer (Chalmers, Sweden) Naoki Kobayashi (Tohoku, Japan) Torsten Schaub (Potsdam, Germany) PROGRAM April 14 13:30-14:30 Model-based Knowledge Representation and Reasoning via Answer Set Programming Torsten Schaub 15:00-16:00 Integrating Answer Set Reasoning with Constraint Solving Techniques Veena Mellarkod, Michael Gelfond Optimizing Compilation of CHR with Rule Priorities Leslie De Koninck, Peter Stuckey, Gregory Duck 16:30-17:30 Certified exact real arithmetic using co-induction in arbitrary integer base Nicolas Julien Pure, Declarative, and Constructive Arithmetic Relations (Declarative Pearl) Oleg Kiselyov, William Byrd, Daniel Friedman, Chung-chieh Shan April 15 9:30-10:30 On the Algebraic Foundation of Proof Assistants for Intuitionistic Type Theory Peter Dybjer 11:00-12:00 On-Demand Refinement of Dependent Types Hiroshi Unno, Naoki Kobayashi Proving Properties About Lists using Containers Rawle Prince, Neil Ghani, Conor McBride 13:30-15:00 Termination of Narrowing in Left-Linear Constructor Systems Germán Vidal Complexity Analysis by Rewriting Martin Avanzini, Georg Moser Rewriting and call-time choice: the HO case Francisco Javier López-Fraguas, Juan Rodríguez-Hortalá, Jaime Sánchez-Hernández 15:30-16:30 Semantics and Pragmatics of New Shortcut Fusion Rules Janis Voigtländer A Generalization of the Folding Rule for the Clark-Kunen Semantics Javier Álvez, Paqui Lucio 17:00-18:00 Types for Hereditary Head Normalizing Terms Makoto Tatsuta A New Translation for Semi-classical Theories --- Backtracking without CPS Satoshi Kobayashi April 16 9:30-10:30 Substructural Type Systems for Program Analysis Naoki Kobayashi 11:00-12:30 Undoing Dynamic Typing (Declarative Pearl) Nick Benton Typed Dynamic Control Operators for Delimited Continuations Yukiyoshi Kameyama, Takuo Yonezawa Strictness Analysis Algorithms Based on an Inequality System for Lazy Types Hirofumi Yokouchi 14:00-15:00 Quantitative Logic Programming Revisited Mario Rodríguez-Artalejo, Carlos A. Romero-Díaz Formalizing a Constraint Deductive Database Language based on Hereditary Harrop Formulas with Negation Susana Nieva, Jaime Sánchez-Hernández, Fernando Sáenz-Pérez 15:30-16:30 Declarative Diagnosis of Missing Answers in Constraint Functional- Logic Programming Rafael Caballero, Mario Rodríguez-Artalejo, Rafael del Vado Vírseda EasyCheck - Test Data for Free Jan Christiansen, Sebastian Fischer PC CO-CHAIRS Jacques Garrigue (Nagoya, Japan) Manuel Hermenegildo (Madrid, Spain and New Mexico, USA) PC MEMBERS Maria Alpuente (Valencia, Spain) Sergio Antoy (Portland, OR, USA) Matthias Blume (TTI, Chicago, USA) Tyng-Ruey Chuang (Academia Sinica, Taiwan) Zhenjiang Hu (Tokyo, Japan) Oleg Kiselyov (FNMOC, Monterey, USA) Herbert Kuchen (Muenster, Germany) Dale Miller (INRIA, Palaiseau, France) Atsushi Ohori (Tohoku, Japan) Enrico Pontelli (New Mexico, USA) Kristoffer Rose (IBM Watson, USA) Kazunori Ueda (Waseda, Japan) Peter Van Roy (Louvain-la-Neuve, Belgium) Benjamin Werner (INRIA, Palaiseau, France) LOCAL CHAIR Shoji Yuen (Nagoya, Japan) Previous FLOPS: FLOPS 2006, Fuji: http://hagi.is.s.u-tokyo.ac.jp/FLOPS2006/ FLOPS 2004, Nara: http://logic.is.tsukuba.ac.jp/FLOPS2004/ FLOPS 2002, Aizu: http://www.ipl.t.u-tokyo.ac.jp/FLOPS2002/ FLOPS 2001, Tokyo: http://www.ueda.info.waseda.ac.jp/flops2001/ SPONSORS Japan Society for Software Science and Technology (JSSST) SIG-PPL International Information Science Foundation IN COOPERATION ACM SIGPLAN Association for Logic Programming (ALP) Asian Association for Foundation of Software (AAFS) INQUIRIES to flops2008 at math.nagoya-u.ac.jp