Academic research in Logic Programming goes back at least as far as the early 1970s -- that is already more than 35 years. During most of that time, ICLP has been the premier venue for presenting academic research, and many more related workshops and symposia exist.  At the same time, Logic Programming is being used widely in industry. However, it has enjoyed at lot less visibility there, and until now it has lacked a designated forum that brings together industrial practitioners and researchers.           

                                                                                                                                                                                                             

The goal of this first Commercial Users of Logic Programming (CULP) workshop is to put the commercial and practical use (and users) of Logic Programming in the spotlight. It aims at providing professionals with an opportunity to share their experience, and to enable contacts with other commercial users and academics.                                                                                                      

                                                                                                                                                                                                             

Programme [pdf]

 

• 9.30 - 10.20: Session 1
  • 9.30 - 9.55: Mike Elston, Scientific Software and Systems Ltd. From Prolog to Porsche: experiences developing a large scale financial application in Prolog.
  • 9.55 - 10.20: Terrance Swift, CENTRIA. The logic of programming in Prolog: then and now.
• 10.20 - 10.50: Coffee break
• 10.50 - 12.40: Session 2
  • 10.50 - 11.15: Molham Aref, LogicBlox. Logic for enterprise decision automation applications.
  • 11.15 - 11.40: Lindsey Spratt, Ontology Works Inc. The Ontology Works deductive database system.
  • 11.40 - 12:05: David Warren, XSB Inc. From data to knowledge.
  • 12.05 - 12.40: Discussion
• 12.40 - 14.40: Lunch break
• 14.40 - 15.55: Session 3
  • 14.40 - 15.05: Hai-Feng Guo, Logical Software Solutions. TransBraille: completely automatic backtranslation of braille mathematics documents.
  • 15.05 - 15.30: Benjamin Grosof, Vulcan. Hyper logic programs in SILK for business and science: an overview.
  • 15.30 - 15.55: CANCELLED : Walter Wilson, SDA Inc. An automated targeting system for US customs and border patrol inspectors.

Format

CULP is organized as a workshop co-located with the 25th International Conference on Logic Programming. The workshop takes place on July 16, 2009, in the Pasadena Convention Center in Pasadena, California, USA.                                                                                                                                                                                   

                                                                                                                                                                                                             

Presentations will have 25 minute slots, of which at least 5 are reserved for discussion. They inform participants about the use of logic programming in an industrial setting.

Insights and reflections on many aspects are sought. For example, but not exclusively:                                                                    

1. Logic Programming in the different stages and styles of commercial development,
   

2. Engineering, scalability and usability issues,                                                                                                                                                                  
   

3. Success stories and (non-)viability of Logic Programming in particular  application areas,                                                                                                                                                                                     
   

4. Aspects not directly related to application development, such as marketing, recruitment, management,...,                                                                                                                                         
   

5. ... 
   

                                                                                                                                                                                                                                                                                                                                                                                                                   

Novel research results are not expected. Of course, novel fields of application and novel approaches will be very welcome.

Submissions

If you are interested in presenting at CULP 2009, send an e-mail to

                                                                                                                                          tom -dot- schrijvers -at- cs -dot- kuleuven -dot- be

with your name, affiliation and a short description (at most one page) of the proposed talk. Full paper submissions are not required.