Dear colleagues,
The deadline for MSFP 2012 has been extended by one week to FRIDAY 23
DECEMBER. See details below.
Best regards,
James Chapman and Paul Blain Levy
MSFP 2012 co-chairs
--
Fourth Workshop on
MATHEMATICALLY STRUCTURED FUNCTIONAL PROGRAMMING
25 March, Tallinn, Estonia
A satellite workshop of ETAPS 2012
http://cs.ioc.ee/msfp/msfp2012/
The fourth workshop on Mathematically Structured Functional
Programming is devoted to the derivation of functionality from
structure. It is a celebration of the direct impact of Theoretical
Computer Science on programs as we write them today. Modern
programming languages, and in particular functional languages, support
the direct expression of mathematical structures, equipping
programmers with tools of remarkable power and abstraction. Where
would Haskell be without monads? Functional reactive programming
without arrows? Call-by-push-value without adjunctions? Type theory
without universes? The list goes on. This workshop is a forum for
researchers who seek to reflect mathematical phenomena in data and
control.
The first MSFP workshop was held in Kuressaare, Estonia, in July 2006,
affiliated with MPC 2006 and AMAST 2006. The second MSFP workshop was
held in Reykjavik, Iceland as part of ICALP 2008. The third MSFP
workshop was held in Baltimore, USA, as part of ICFP 2010.
Important Dates:
================
Submission of papers: 23 December 2011
Notification: 25 January 2012
Final versions due: 6 Feburary 2012
Workshop: 25 March 2012
Invited Speakers:
=================
Danko Ilik, Goce Delčev University of Štip, Republic of Macedonia
Neil Ghani, University of Strathclyde, UK
Submission:
===========
Papers must report previously unpublished work and not be submitted
concurrently to another conference with refereed proceedings. Accepted
papers must be presented at the workshop by one of the authors.
There is no specific page limit, but authors should strive for brevity.
Accepted regular papers will be published in the Electronic
Proceedings in Theoretical Computer Science (EPTCS). After the
workshop, there might be an opportunity to publish selected papers in
a journal special issue.
All submissions must be in PDF format and use the EPTCS style
files. Submissions can be made through the EasyChair website, at
http://www.easychair.org/conferences/?conf=msfp2012
ETAPS:
======
European Joint Conferences on Theory and Practice of Software (ETAPS)
is the primary European forum for academic and industrial researchers
working on topics relating to software science. ETAPS, established in
1998, is a confederation of six main annual conferences (one of them,
POST, being new in 2012), accompanied by satellite workshops. ETAPS
2012 is the fifteenth event in the series.
http://www.etaps.org/2012
Host City:
==========
Tallinn, a city of 412,000 people, is the capital and largest city of
Estonia, a small EU member country in Northern Europe, bordering
Russia to the East and Latvia to the south. Located in the north of
the country, on the southern shores of the Gulf of Finland, opposite
Helsinki in Finland, Tallinn is most well known for its picturesque
medieval Old Town, a UNESCO World Heritage site. But it also has a
vivid cultural scene, outperforming most European centres of similar
size. In 2011, Tallinn, along with Turku in Finland, is the Cultural
Capital of Europe.
Tallinn is easy to travel to. Estonia is part of Schengen and the
Eurozone. The Lennart Meri International Airport of Tallinn /TLL) is
only 4km from the city centre.
Programme Committee:
====================
* James Chapman (co-chair), Institute of Cybernetics, Tallinn, Estonia
* Paul Blain Levy (co-chair), University of Birmingham, UK
* Thorsten Altenkirch, University of Nottingham, UK
* Robert Atkey, University of Strathclyde, Glasgow, UK
* Nils Anders Danielsson, Chalmers University and University of Gothenburg,
Sweden
* Martin Escardo, University of Birmingham, UK
* Ichiro Hasuo, University of Tokyo, Japan
* Ralf Hinze, University of Oxford, UK
* Neelakantan Krishnaswami, Microsoft Research, Cambridge, UK
* Daniel R. Licata, Carnegie Mellon University, Pittsburgh, PA
* Ulrich Schoepp, LMU Munich, Germany
* Alex Simpson, University of Edinburgh, UK
* Matthieu Sozeau, INRIA, Paris, France
* Sam Staton, University of Cambridge, UK
Further Information:
====================
For more information about the workshop, go to:
http://cs.ioc.ee/msfp/msfp2012/
With any other questions please do not hesitate to contact the
co-chairs at msfp2012(a)easychair.org.
[For admin and other information see: http://www.mta.ca/~cat-dist/ ]
Logic, Algebra and Truth Degrees 2012
http://www.jaist.ac.jp/rcis/latd12/
First Call for Papers
The third official meeting of the EUSFLAT Working Group on Mathematical
Fuzzy Logic [1] will be held on 10-14 September 2012 in Kanazawa, Japan.
The conference is organized by Research Center for Integrated Science [2],
Japan Advanced Institute of Science and Technology [3].
Mathematical Fuzzy Logic is a subdiscipline of Mathematical Logic which
studies the notion of comparative truth. The assumption that 'truth comes
in degrees' has proved to be very useful in many, both theoretical and
applied, areas of Mathematics, Computer Science and Philosophy.
The main goal of this meeting is to foster collaboration between
researchers in the area of Mathematical Fuzzy Logic, and to promote
communication and cooperation with members of neighbouring fields.
The featured topics include, but are not limited to, the following:
. Proof systems for fuzzy logics: Hilbert, Gentzen, natural deduction,
tableaux, resolution, computational complexity, etc.
. Algebraic semantics: residuated lattices, MTL-algebras, BL-algebras,
MV-algebras, Abstract Algebraic Logic, functional representation, etc.
. Game-theory: Giles games, Rényi-Ulam games, evaluation games, etc.
. First-order fuzzy logics: axiomatizations, arithmetical hierarchy,
model theory, etc.
. Higher-order fuzzy logical systems: type theories, Fuzzy Class Theory,
and formal fuzzy mathematics.
. Philosophical issues: connections with vagueness and uncertainty.
. Applied fuzzy logical calculi: foundations of logical programming,
logic-based reasoning about similarity, description logics, etc.
We also welcome contributions on any relevant aspects of related logical
systems (such as substructural and quantum logics, and many-valued logics
in general).
Conference Web Site:
http://www.jaist.ac.jp/rcis/latd12/
Important dates:
. 22 April 2012: deadline for submissions
. 3 June 2012: notifications sent
. 10-14 September 2012: conference
Programme Committee:
. Stefano Aguzzoli (University of Milano, Italy)
. Matthias Baaz (Vienna University of Technology, Austria)
. Petr Cintula (Academy of Sciences, Czech Republic)
. Carles Noguera (CSIC, Spain)
. Hiroakira Ono (JAIST, Japan), Chair
. James Raftery (University of KwaZulu-Natal, South Africa)
. Constantine Tsinakis (Vanderbilt University, USA)
Invited Speakers:
. Rostislav Horčík (Academy of Sciences, Czech Republic)
. Emil Jeřábek (Academy of Sciences, Czech Republic)
. Daniele Mundici (University of Florence, Italy)
. Greg Restall (University of Melbourne, Australia)
. Luca Spada (University of Salerno, Italy)
Tutorial:
. Felix Bou (University of Barcelona, Spain)
If you are interested in presenting a paper, please submit a 2–4 pages
abstract at
http://www.easychair.org/conferences/?conf=latd2012
Your submission will be confirmed automatically on the e-mail address
you provide. The accepted abstracts will be available on-line
after the final decision of the program committee. If you have any
problems to submit an abstract, please contact us at mail to:
latd2012(a)jaist.ac.jp
The deadline for contributions is 22 April 2012. The notification of
acceptance/rejection will be sent until 3 June 2012.
Conference dates:
The scientific program will start Monday morning (10 September) and finish
Friday noon (14 September). Wednesday afternoon we plan an excursion.
Venue:
The conference will be held in the city of Kanazawa [4,5,6], located in the
Ishikawa prefecture of Japan on the Japan Sea.
The venue is the Ishikawa Prefectural Museum of Art [7] in the center
of Kanazawa.
Local Organizing Committee:
. Norbert Preining (JAIST, Japan), Chair
. Katsuhiko Sano (JAIST, Japan)
. Kazushige Terui (Kyoto University, Japan)
. Shunsuke Yatabe (AIST, Japan)
For further information please contact: latd2012(a)jaist.ac.jp
[1] http://www.mathfuzzlog.org/
[2] http://www.jaist.ac.jp/rcis/en/
[3] http://www.jaist.ac.jp/
[4] http://en.wikipedia.org/wiki/Kanazawa,_Ishikawa
[5] http://www.kanazawa-tourism.com/
[6] http://wikitravel.org/en/Kanazawa
[7] http://www.ishibi.pref.ishikawa.jp/index_j.html
(本案内を重複してお受け取りの際はご容赦ください)
Logic-ml の皆様,
東北大学の江口と申します.
下記の要領で東北大学ロジックセミナー(田中一之研究室)を開催いたします.
興味のある方は参加をご検討ください.
日時:12月26日(月),16時から.
場所:東北大学北青葉山キャンパス理学総合棟1201号室
発表者:新井 敏康 (千葉大学 大学院理学研究科)
タイトル:Searching witnesses of $\Sigma^{0}_{2}$-formulas in proofs
アブストラクト:
We can find a witness of a PA-provable $\Sigma^{0}_{2}$-formula
as limits of an elementary recursive function,
whose convergence is ensured by weakly descending chains of ordinals.
東北大学ロジックセミナーの詳細につきましては下記をご参照ください.
https://sites.google.com/site/sendailogichomepage/
--
江口 直日
東北大学 大学院理学研究科 数学専攻
産学官連携研究員
980-8578 宮城県仙台市青葉区荒巻字青葉6ー3
E-mail: eguchi(a)math.tohoku.ac.jp
We announce the following talk in Kobe Colloquium on Logic, Statistics and
Informatics:
-------------------------------------------------------------------------
Date and time: Dec. 12, 2011 (Mon.), 15:10 -- 16:40
Place: Presentation Room of "Fuchino Group"
on the 4th Floor of Science and Technology Research Building 3 (Shizenkagakutou Sangokan)
(see: http://www.kobe-u.ac.jp/en/access/rokko/campus.htm)
Speaker: Professor Dr. Peter Vojtas
(Department of Software Engineering of the Charles University in Prague)
Title of the talk: Soundness and completeness of fuzzy Prolog/Datalog.
-------------------------------------------------------------------------
Abstract:
We start with using user preference search as a motivation for
a many valued (fuzzy) model of Prolog/Datalog/Querying. We mention
problems of classical approach with refutation and clausal rules. We
base our semantics on implicative rules and many valued modus ponens. We
prove soundness and completeness of our semantics. We discuss also
clausal approach and fuzzy resolution.
--
best regards Saka\'e Fuchino (渕野 昌)
-------------------------------------------------------------------------
Kobe University
Graduate School of System Informatics
Rokko-dai 1-1, Nada, Kobe 657-8501
e-mail: fuchino(a)diamond.kobe-u.ac.jp
web page: http://kurt.scitec.kobe-u.ac.jp/~fuchino/
-------------------------------------------------------------------------
Logic, Algebra and Truth Degrees 2012
http://www.jaist.ac.jp/rcis/latd12/
First Call for Papers
The third official meeting of the EUSFLAT Working Group on Mathematical
Fuzzy Logic [1] will be held on 10-14 September 2012 in Kanazawa, Japan.
The conference is organized by Research Center for Integrated Science
[2],
Japan Advanced Institute of Science and Technology [3].
Mathematical Fuzzy Logic is a subdiscipline of Mathematical Logic which
studies the notion of comparative truth. The assumption that 'truth
comes
in degrees' has proved to be very useful in many, both theoretical and
applied, areas of Mathematics, Computer Science and Philosophy.
The main goal of this meeting is to foster collaboration between
researchers
in the area of Mathematical Fuzzy Logic, and to promote communication
and
cooperation with members of neighbouring fields.
The featured topics included, but are not limited to, the following:
. Proof systems for fuzzy logics: Hilbert, Gentzen, natural deduction,
tableaux, resolution, computational complexity, etc.
. Algebraic semantics: residuated lattices, MTL-algebras, BL-algebras,
MV-algebras, Abstract Algebraic Logic, functional representation, etc.
. Game-theory: Giles games, Renyi-Ulam games, evaluation games, etc.
. First-order fuzzy logics: axiomatizations, arithmetical hierarchy,
model theory, etc.
. Higher-order fuzzy logical systems: type theories, Fuzzy Class Theory,
and formal fuzzy mathematics.
. Philosophical issues: connections with vagueness and uncertainty.
. Applied fuzzy logical calculi: foundations of logical programming,
logic-based reasoning about similarity, description logics, etc.
We also welcome contributions on any relevant aspects of related logical
systems (such as substructural and quantum logics, and many-valued
logics
in general).
Conference Web Site:
http://www.jaist.ac.jp/rcis/latd12/
Important dates:
. 22 April 2012: deadline for submissions
. 3 June 2012: notifications sent
. 10-14 September 2012: conference
Programme Committee:
. Stefano Aguzzoli (University of Milano, Italy)
. Matthias Baaz (Vienna University of Technology, Austria)
. Petr Cintula (Academy of Sciences, Czech Republic)
. Carles Noguera (CSIS, Spain)
. Hiroakira Ono (JAIST, Japan), Chair
. James Raftery (University of KwaZulu-Natal, South Africa)
. Constantine Tsinakis (Vanderbilt University, USA)
Invited Speakers:
. Rostislav Horcik (Academy of Sciences, Czech Republic)
. Emil Jerabek (Academy of Sciences, Czech Republic)
. Daniele Mundici (University of Florence, Italy)
. Greg Restall (University of Melbourne, Australia)
. Luca Spada (University of Salerno, Italy)
Tutorial:
. Felix Bou (CICS, Spain)
If you are interested in presenting a paper, please submit a 2–4
pages
abstract at
http://www.easychair.org/conferences/?conf=latd2012
Your submission will be confirmed automatically on the e-mail address
you provide. The accepted abstracts will be available on-line
after the final decision of the program committee. If you have any
problems to submit an abstract, please contact us at mail to:
latd2012(a)jaist.ac.jp
The deadline for contributions is 22 April 2012. The notification of
acceptance/rejection will be sent until 3 June 2012.
Conference dates:
The scientific program will start Monday morning (10 September) and
finish
Friday noon (14 September). Wednesday afternoon we plan an excursion.
Venue:
The conference will be held in the city of Kanazawa [4,5,6], located
in the
Ishikawa prefecture of Japan on the Japan Sea.
The venue is the Ishikawa Prefectural Museum of Art [7] in the center
of Kanazawa.
Local Organizing Committee:
. Norbert Preining (JAIST, Japan), Chair
. Katsuhiko Sano (JAIST, Japan)
. Kazushige Terui (Kyoto University, Japan)
. Shunsuke Yatabe (AIST, Japan)
For further information please contact: latd2012(a)jaist.ac.jp
[1] http://www.mathfuzzlog.org/
[2] http://www.jaist.ac.jp/rcis/en/
[3] http://www.jaist.ac.jp/
[4] http://en.wikipedia.org/wiki/Kanazawa,_Ishikawa
[5] http://www.kanazawa-tourism.com/
[6] http://wikitravel.org/en/Kanazawa
[7] http://www.ishibi.pref.ishikawa.jp/index_j.html
皆様
桔梗宏孝@神戸大学システム情報学研究科です.
2011年12月1日(木)の 17:00 から下記のように Lyon 1 大学の Amador Martin-Pizarro 氏による
モデル理論におけるMorleyの定理に関する神戸情報数理コロキウムの講演を予定しております.
講演者の Amador Martin-Pizarro 氏には,モデル理論の専門の方だけでなくロジック全般の
general audience 向けの講演になるよう,お願いしてあります.興味のある方は御参加ください.
なお,この回の次の神戸コロキウムでは,2011年12月12日 15:10 から Professor
Peter Vojtas (Charles Univ. (プラハ大学)) による many valued Prolog に
関する講演を予定しております.これについては改めてご案内いたします.
----------------------------------------------------------------------------------
神戸情報数理コロキウム
日時:2011年12月1日(木)17:00 〜 18:30
場所:神戸大学自然科学総合研究棟3号館4階421室(渕野グループ内プレゼンテーション室)
講演者: Amador Martin-Pizarro (リヨン1大学)
題目: Morley's theorem and Geometric Model Theory
アブストラクト:A countable theory is uncountably categorical if it only has a
unique model (up to isomorphism) on each
uncountable cardinal. Morley proved that a theory is uncountably
categorical if it is categorical on cardinality the continuum.
His proof uses the fact that every model can be built from basic
bricks, called strongly minimal sets (which generalise the
concept of an absolutely irreducible algebraic curve). The goal of
this talk is to give an overview (to a general audience) of
some of the ideas of the proof based on examples. Moreover, we will
link the classification of strongly minimal sets to results
in other areas of mathematics, specially number theory, such as the
existence of infinite Mersenne primes and Schanuel's
conjecture.
-------------------------------------------
神戸大学自然科学総合研究棟3号館への行き方:
http://kurt.scitec.kobe-u.ac.jp/~kikyo/seminar/scitec3.pdf
(重複して受け取られた場合はどうぞご容赦ください。)
京都大学の末永と申します。
来年1月に POPL 2012 と併設で開催される
PEPM 2012 のご案内をお送りいたします。
今回も日本からの4本の論文を含む
見所満載のプログラムになっております。
Early registration は12月24日までとなっております。
POPL ともども皆様の参加をお待ち申し上げております。
京都大学
末永幸平
ksuenaga(a)sato.kuis.kyoto-u.ac.jp
--
ACM SIGPLAN 2012 Workshop on Partial Evaluation and Program Manipulation
http://www.program-transformation.org/PEPM12
January 23-24, 2012. Philadelphia, PA, USA (co-located with POPL'12)
Call For Participation
Online registration is open at
https://regmaster3.com/2012conf/POPL12/register.php
Early registration deadline is December 24, 2011
The PEPM Symposium/Workshop series brings together researchers
and practitioners working in the broad area of program
transformation, which spans from refactoring, partial evaluation,
supercompilation, fusion and other metaprogramming to model-driven
development, program analyses including termination, inductive
programming, program generation and applications of machine learning
and probabilistic search. PEPM focuses on techniques, supporting
theory, tools, and applications of the analysis and manipulation of
programs.
In addition to the presentations of regular research papers, the PEPM
program includes tool demonstrations and `short paper' presentations
of exciting if not fully polished research.
PEPM has established a Best Paper award. The winner will be
announced at the workshop.
INVITED TALKS
Compiling Math to High Performance Code
Markus Pueschel (ETH Zuerich, Switzerland)
http://www.inf.ethz.ch/~markusp/index.html
Specification and verification of meta-programs
Martin Berger (University of Sussex, UK)
http://www.informatics.sussex.ac.uk/users/mfb21/
ACCEPTED PAPERS
Regular research papers:
Naoki Kobayashi, Kazutaka Matsuda and Ayumi Shinohara.
Functional Programs as Compressed Data
Kazutaka Matsuda, Kazuhiro Inaba and Keisuke Nakano.
Polynomial-Time Inverse Computation for Accumulative Functions with
Multiple Data Traversals
Dana N. Xu.
Hybrid Contract Checking via Symbolic Simplification
Susumu Katayama.
An Analytical Inductive Functional Programming System that Avoids
Unintended Programs
Roberto Giacobazzi, Neil Jones and Isabella Mastroeni.
Obfuscation by Partial Evaluation of Distorted Interpreters
Michael Gorbovitski, Yanhong A. Liu, Scott Stoller and Tom Rothamel.
Composing Transformations for Instrumentation and Optimization
Elvira Albert, Jesus Correas Fernandez, German Puebla and
Guillermo Roman-Diez.
Incremental Resource Usage Analysis
Takumi Goto and Isao Sasano.
An approach to completing variable names for implicitly typed
functional languages
Martin Hirzel and Bugra Gedik.
Streams that Compose using Macros that Oblige
Vlad Ureche, Tiark Rompf, Arvind Sujeeth, Hassan Chafi and Martin Odersky.
StagedSAC: A Case Study in Performance-Oriented DSL Development
Markus Degen, Peter Thiemann and Stefan Wehr.
The Interaction of Contracts and Laziness
Surinder Kumar Jain, Chenyi Zhang and Bernhard Scholz.
Translating Flowcharts to Non-Deterministic Languages
Francisco Javier Lopez-Fraguas, Enrique Martin-Martin and
Juan Rodriguez-Hortala.
Well-typed Narrowing with Extra Variables in Functional-Logic Programming
Geoff Hamilton and Neil Jones.
Superlinear Speedup by Distillation: A Semantic Basis
Short papers:
Jacques Carette and Aaron Stump.
Towards Typing for Small-Step Direct Reflection
Janis Voigtlaender.
Ideas for Connecting Inductive Program Synthesis and Bidirectionalization
Tool demonstration papers:
Edvard K. Karlsen, Einar W. Hoest and Bjarte M. Oestvold.
Finding and fixing Java naming bugs with the Lancelot Eclipse plugin
Adriaan Moors, Tiark Rompf, Philipp Haller and Martin Odersky.
Scala-Virtualized
Elvira Albert, Puri Arenas, Samir Genaim, Miguel Gomez-Zamalloa
and German Puebla.
COSTABS: A Cost and Termination Analyzer for ABS
各位
今年の12/1-2に高松でJSAI-IsAIの一部として開催される
法律と情報学のワークショップJURISIN2011
http://research.nii.ac.jp/~ksatoh/jurisin2011.html
のプログラムをお送り致します。多数の方のご参加をお待ちしております。
登録は、
http://www.ai-gakkai.or.jp/jsai-isai/2011/#registration
の情報をご覧ください。
12/1には法言語学(Forensic Linguistics)研究で有名な明治大学法学部の堀田秀吾教授
12/2にはIJCAIでResearch Excellence Awardを受賞したKowaski教授の招待講演があります。
どうぞよろしくお願いいたします。
佐藤 健
国立情報学研究所
===============================================================
JURISIN 2011 Program
Dec. 1, 2011
12:45-13:00 Opening Remark:
Ken Satoh (National Institute of Informatics and Sokendai)
13:00-14:00 Invited Talk I
Implications of Forensic Linguistics for Juris-informatics
Syugo Hotta (Meiji University)
14:00-14:30 Document Structure Analysis with Syntactic Model and
Parsers: Application to Legal Judgments
Hirokazu Igari, Akira Shimazu and Koichiro Ochimizu
14:30-15:00 Recall-Oriented Evaluation Metrics for Consistent
Translation of Japanese Legal Sentences
Yasuhiro Ogawa, Masaki Mori and Katsuhiko Toyama
15:00-15:30 Using Classification to Support Legal Knowledge Engineers
in the Eunomos Legal Document Management System
Luigi Di Caro, Llio Humphreys and Guido Boella
15:30-16:00 Coffee Break
16:00-16:30 Prerequisite-Effect Structure on Intuitionistic Kripke Model
Katsuhiko Sano, Shingo Hagiwara and Satoshi Tojo
16:30-17:00 The Concept and Definition of Software Accountability in
Legal Engineering
Ryo Hayasaka and Koichiro Ochimizu
Dec. 2, 2011
9:30-10:30 Invited Talk II
WUENIC: A Case Study in Rule-based Knowledge Representation
and Reasoning
Robert Kowalski(Imperial College London) and Anthony Burton
10:30-11:00 Coffee Break
11:00-11:30 A Substance-Field based Argumentation Framework
Wachara Fungwacharakorn, Nuanwan Soonthornphisaj
and Boonserm Kijsirikul
11:30-12:00 Deliberation Process Support System for Citizen Judge Trial
Based on Structure of Factors
Takanori Sato, Shogo Okada and Katsumi Nitta
12:00-12:30 A Semantics of Argumentation under Incomplete Information
Ken Satoh and Kazuko Takahashi
12:30-12:45 Concluding Remark:
Ken Satoh (National Institute of Informatics and Sokendai)