CV SUMMARY: Received the Best Promising Paper Award at the Third International Work-Conference on the Interplay between Natural and Artificial Computation (2009). Recently appointed as Advisory Board Member, International Federation for Computational Logic (July 2010). Awarded a Marie Curie Chair of Excellence by the European Commission (2008-2011).  Honoured in 1997 by the Association for Logic Programming as one of the Founders of the Logic Programming field. Received the Calouste Gulbenkian Award for Science and Technology. Received the Oustanding Achievement Award for Research, Teaching and Administration, SFU 2002-07; the 1999 CAGIS Distinguished Service Award; and the MSTL Innovative Teaching Program Award 1996-7. 14 other international research awards/honours. Three literary awards. Over 120 scholarly publications, 5 service related publications, two keynote speeches,  numerous invited talks.  Past Chair of the Cognitive Sciences Program at SFU (1998-99), past member of NSERC's Grant Selection Committee (1991-94), and Compulog Net/ Compulog Americas Coordinator. Present Lab Director and Past President of the Association for Logic Programming. Science for Peace Board Member and Past Publications Director.

Summary of Research Interests

My scientific leitmotifs are to help bridge the gap between the formal and the humanistic sciences, and to achieve more human-like communication with computers. In the process, I hope to understand more about language in a general sense (including, for example, languages in terms of which molecular biology problems can be fruitfully expressed) and I typically produce results of both foundational and practical value for computational logic/linguistics/intelligence/molecular biology.

 Citizenship dual Argentine/Canadian

 Academic Degrees and Studies

         1977 Doctorat de Specialite en Intelligence Artificielle, Aix-Marseille II University
         1976 Diplome d'Etudes Approfondis, Aix-Marseille II University
         1974 Computador Cientifico, Buenos Aires University
         1974 Unconcluded studies in Literature, 14 subjects, Faculty of Philosophy and Literature, Buenos Aires University

Professional and Academic Background

         2008-2011 Marie Curie Chair, University of Tarragona, Spain
         2004-2007 Foreign Collaborator, CONTROL project (with Denmark and France)
         2003 Directeur de Recherche Etranger, CNRS, LPL, Universite de Provence, France
         2002 Consultant, Vancouver Software Labs 
         2001 to 2005 Founder and Chairperson, LifeIntel (http://www.lifeintel.com) 
         1986 to date Director, Logic and Functional Programming Laboratory, , Simon Fraser University
         1995   Industrial Fellow, MPR Teltech Ltd., British Columbia  
         1998-99 Chair, Cognitive Sciences Program, Simon Fraser University 
         1991 to date Professor, School of Computing Sciences, Simon Fraser University
         1987-88 Consultant, International Artificial Intelligence
         1985-86 Consultant, IBM Toronto
         1982-91 Associate Professor, Simon Fraser University
         1982 Visiting Professor, University of Kentucky
         1981 Visiting Adjunct Professor, University of Bahia Blanca
         1979-82 Adjunct Researcher, Argentine National Scientific Research Council
         1978-79 Head of Systems Division, Vialidad Nacional, Argentina
         1978-82 Adjunct Professor, Buenos Aires University
         1974-75 Researcher under contract, full time, Argentine National Institute of Hydrological Sciences
         1973 Scholarship, Argentine National Institute of Hydrological Sciences
         1973 Head of Teaching Assistants, Center of Advanced Studies in Exact Sciences
         1973-75 Teaching Assistant, Exact Sciences Faculty, Buenos Aires Universit
         1968-72 English teacher, various primary and high schools in Buenos Aires

Languages:  fluent in English, Spanish (both mother tongues) and French (8th year Alliance Francaise, Buenos Aires); some Italian and Portuguese, 3rd year of German at Goethe Institute.

Hobbies:  story writer, guitar player, vocalist (specializing in Latin American music), song composer, salsa dancer, tango dancer. 

I. RESEARCH 

22. Advisory Board Member, International Federation for Computational Logic (IFCoLog), as from 2010.

21. Best Promising Paper Award, Third International Work-Conference on the Interplay between Natural and Artificial Computation (2009).

20.  Chair of Excellence Award from the European Commission in 2006, for my work on Constraint Solving and Language Processing for Bioinformatics.

19. IMDEA Software Advisory Board Member, since 2008.

18. Killam Commitee Member (Canada Arts Council), 2007-2010.

17. Past President, Association for Logic Programming, 2005- 2009.

16. President  of the Association for Logic Programming, January 2001 to January 2005.

15. Honoured as one of the Founders of Logic Programming This is an honour  bestowed by the  Association of Logic Programming in  1997, to recognize the pioneers of the field:

           Maurice Bruynooghe, Belgium
           Keith Clark, UK
           Jacques Cohen, USA
           Alain Colmerauer, France
           Veronica Dahl, Canada
           Maarten van Emden, Canada
           Herve Gallaire, France
           Robert Kowalski, UK
           Jack Minker, USA
           Fernando Pereira, USA
           Luis Moniz Pereira, Portugal
           Ray Reiter, Canada
           Alan Robinson, USA
           Peter Szeredi, Hungary
           David H.D. Warren, UK

MS2. Intelligent methodologies for Life Sciences, in particular Molecular Biology:

Several years ago, the agreeable surprise that our book with Harvey Abramson Logic Grammars [M3] had been extensively used to help find the human genome convinced me that casting life sciences problems in linguistic/grammatical terms has enormous potential. I have combined this new interest with my own field of expertise in two ways:
- With Andre Levesque and Manuel Zahariev, I developed efficient software for plant pathology identification from signature oligos [M17]. Our results, which are used daily now, reduced what used to be a six month-person effort at Agriculture and AgriFood Canada to an average 15 minutes of computing.
- With Maryam Bavarian, I applied the high level methods I have developed for processing language to the automatic analysis of biological sequences [J26] and to RNA secondary structure design [P52].

MS3. Properties as constraints—from parsing to cognitive modeling

From trying to create knowledge bases from human language [M12,M14], the need for more flexible linguistic models became apparent. Among those aiming at accepting the typically imperfect input that results from spontaneous speech, we noted the Property based paradigm, evolved by Blache from Bes' original 5P formalism, which relies on property satisfaction between categories, allowing us to parse incomplete and even incorrect input in a very modular and adaptable way. I obtained a position as Chercheur Etranger at Universite de Provence in order to develop a methodology for parsing Property Grammars which invisibly interprets linguistic descriptions as directly executable specifications, and shows all partial analyses even upon failure [P44]. More generally, our work shows for the first time that direct renditions of flexible, constraint based parsing formalisms can be made to run efficiently while preserving a one-to-one correspondence between the conceptual and the representational levels. Our results generalize into directly executable cognitive models (P45]).

With Kimberly Voll, we have investigated the  use of these methodologies in error detection and correction of radiology reports as obtained from speech recognition. As well, we’ve developed methods for the intelligent reconstruction of implicit human language structures, both from an Assumptive logic point of view [J22] (which metagrammatically extends parsers so that implicit structures are understood from context), and from a constraint reasoning point of view [P49]. Applications to language processing include: application to coordination, with Dulce Aguilar Solis [P47], and to long distance dependencies [M16].

With Philippe Blache, I have obtained very encouraging results on extracting noun phrases from arbitrary text (we use text from the newspaper Le Monde) [P54], and with Baohua Gu, I have generalized these results into concept extraction through natural language-- specifically, we have adapted my parser to extract concepts as well as targeted syntactic phrases, and to use English rather than French, with encouraging results [56,59]. However, much work remains to be done on the semantic component.

MS4. Integrating high level methodologies into a new language: HYPROLOG 

Motivated by language processing problems, I developed with Paul Tarau et al. Assumption grammars/logic programming including linear affine, intuitionistic and timeless assumptions [P31,P48,J19,J22]. With Henning Christiansen, I combined my earlier work on diagnosis through datalog grammars and abduction [M15] with Constraint Handling Rules (CHR) instead of datalog, and used it for the automatic diagnosis and correction of syntactic errors [J25]. We use abduction in a novel, direct way, without the overhead of alternating abductive steps with resolution steps, as in previous approaches.
These successes led us to finally integrate assumptions and abduction into HYPROLOG, a new logic programming language with hypothetical reasoning capabilities [P53]. It shows a novel flexibility in the interaction between the different paradigms, including all additional built-in predicates and constraint solvers that may be available through CHR, whose syntax it partially borrows from and is used to implement integrity constraints associated to assumptions or to abducibles. As well, it seems to provide the most efficient of known implementations for abduction in logic programming. For assumptions, the current HYPPROLOG version runs only three times slower than BinProlog, where assumptions are hard wired. A four-year collaboration with France and Denmark (the CONTROL project) underlies these endeavors. A new workshop series on Constraint Solving and Language Processing has sprung from this collaboration. 

2.1 ARTICLES IN REFEREED PUBLICATIONS 

Journals: Published or Accepted

J) 29. Dahl, V. (in press) An introduction to Natural Language Processing- the Main Problems.  Triangle Journal.

J) 28.  Dahl, V. and Garcia, A. J. (in press) Programacion Logica.  Triangle Journal.

J) 27. Zahariev, M., Dahl, V., Chen, W. and Levesque, A. (2009) Efficient Algorithms for the Discovery of Oligonucleotide Barcoded from Sequence Databases.  International Journal on Molecular Ecology Resources.

J) 26. Bavarian, M. and Dahl, V. (2006) Constraint-based methods for biological sequence analysis. In: Journal of Universal Computer Science (invited contribution: extension of a previous version which was selected as one of the best papers at PROLE'05).

J) 25. Christiansen, H. and Dahl, V. (2003) Logic Grammars for Diagnosis and Repair. In: International Journal on Tools in AI, vol. 12, n. 3, pp. 227-248 (invited contribution: extension of a previous version which was selected as one of the best papers at ICTAI'02).

J) 24. Tse, S. and Dahl, V.  (2002) Learning and using mathematics the natural way. Applied Mathematics Letters.
Dahl, 3. 

J) 23. Tarau, P. and Dahl, V.  (2001) High level networking with mobile code and first order-And continuations. Theory and Practice of Logic Programming, 1(1), 359:380, March 2001, CUP.

J) 22. Voll, K., Yeh, T. and Dahl, V. (2001) An Assumptive Logic Programming Methodology for Parsing. Journal of Artificial IntelligenceTools, vol. 10(4), 573:588  (invited contribution: extension of a previous version which was selected as one of the best papers at ICTAI'00).

J) 21. Dahl, V., Tarau, P., Accuosto, P., Rochefort, S. and Scurtescu, M. (1999) A Spanish Interface to LogiMOO - Towards Multilingual Virtual Worlds. Informatica, vol 2.

J) 20. Tarau, P., De Bosschere, K., Dahl, V. and Rochefort, S. (1999) LogiMOO: An Extensible Multi-User Virtual World with Natural Language Control.Logic Programming Journal, 38(3), 331:353.

J) 19. Dahl, V., Tarau, P., Accuosto, P. , Rochefort, S. and Scurtescu, M. (1998) Assumption Grammars for Knowledge-Based Systems. Informatica, 22(4), 435:444 (Invited contribution: extension of a previous version which was selected as one of the best papers at NLDB'97).
J) 18. J. Andrews, V. Dahl, and F. Popowich (1996) Characterizing Logic Grammars: A Substructural Approach. Journal of Logic Programming 26(3): 235-283.
J) 17. Dahl, V. (1995) Understanding and Translating Language- Challenges of the 90's. AI Communications 8(2), ISSN 0921-7126: 71-77 (expanded version of Calouste Gulbenkian Award for Science and Technology Address, Lisbon, Dec. 1994).
J) 16. Huang, Y.N., Dahl, V. and Han, J.W. (1995) Fact Updates in Logic Databases. Int. Journal of Software Engineering and Knowledge Engineering, vol. 5, No. 3, pp. 467-491.
J) 15. Dahl, V. (1994) Natural language processing and logic programming. Journal of Logic Programming, 12 (1), pp. 681-714, 1994 (invited contribution).
J) 14. V. Dahl (1993) What the study of language can contribute to AI. AI Communications, 6(2):92-106.
J) 13. V. Dahl, F. Popowich, and M. Rochemont (1993) A principled characterization of dislocated phrases: Capturing barriers with Static Discontinuity Grammars. Linguistics and Philosophy, 16(4):331-352, August 1993.
J) 12. V. Dahl, G. Sidebottom, and J. Ueberla (1993) Automatic configuration through constraint-based reasoning. Int'l. Journal of Expert Systems: Research and Applications, 6(4):561-579.
J) 11. V. Dahl. Incomplete types for logic databases. Applied Mathematics Letters, 4(3):25-28, 1991.
J) 10. V. Dahl. Describing linguistic knowledge about constraints in user-friendly ways. Int'l. Journal of Expert Systems: Research and Applications, 3(2):131-146, 1990.
J) 9.V. Dahl and F. Popowich. Parsing and generation with Static DiscontinuityGrammars. New Generation Computing,   8(3):245-274, December 1990.
J) 8. Dahl, V. and Massicotte, P. (1990) Interpreting static discontinuity grammars. Applied Mathematics Letters, 3:21-24, 1990.J) 7. V. Dahl. Discontinuous grammars. Computational Intelligence, 5(4):161-179, 1989.
J) 6. V. Dahl. Gramaticas discontinuas: una herramienta computacional con aplicaciones en la teoria de reccion y ligamiento. Revista Argentina de Linguistica, 2(2):375-392, 1986.

J) 5. V. Dahl. More on gapping grammars. In Proc. International Conference on V Generation Computer Systems, Tokyo, Ohmsha Publishing Co., pages 669-677, 1984. 

J) 4. Dahl, V. and McCord, M. C. (1983) Treating Coordination in Logic Grammars. American Journal of Computational Linguistics 9(2): 69-91.

J) 3. Dahl, V. (1983) On Logic Programmed Representations of Knowledge. COMPUTER, Special issue on Knowledge Representation, N. Cercone and G. McCalla (eds.), vol. 16, No. 10, pp. 106-113 . 

J) 2. V. Dahl. On database systems development through logic (1982) ACM Transactions on Database Systems, 7(1):102-123.

J) 1. V. Dahl. Translating Spanish into Logic through Logic (1981) American Journal of Computational Linguistics, 13:149-164.

Monographs, Books or Book Chapters

M) 21. Dahl, V. Decoding Nucleic Acid Strings through Human Language (2010) Language as a Complex System: Interdisciplinary Approaches (Bel-Enguix, G. and Jiménez-López, M.D. (editors) Cambridge Scholars Publishing, 2010, ISBN (13): 978-1-4438-1762-2)
M) 20. Dahl, V., Jimenez-Lopez, M. D. and Perriquet, O. (2010) Poetic RNA: Adapting RNA Design Methods to the Analysis of Poetry. PAAMS 2010, volume 2. Advances in Intelligent and Soft Computing series of Springer Verlag.
M) 19. Dahl, V. and Maharshak, E. (2009) DNA Replication as a Model for Computational Linguistics. In J. Mira et al. (Eds.): IWINAC’09 (Best Paper Award), LNCS 5601, pp. 346-355, 2009. LNCS, Springer-Verlag M) 16. Dahl, V. (2004)
M) 18. Dahl, V., Gu, B., and Maharshak, E. (2009) A Hyprolog methodology for Property Grammars. In J. Cabestany et al. (Eds.): IWANN 2009, Part I, LNCS 5517, pp. 480–487, 2009. LNCS, Springer-Verlag.  

M) 17. Christiansen, H. and Dahl, V. (2009) Abductive Logic Grammars. In: Ono, H., Kanazawa, M. and de Queiroz, R.J.B, Logic, Language, Information and Computation, LNCS 5514, Springer, ISBN 978-3-642-02260-9, pp. 170-181. M)
16. Treating Long-Distance Dependencies through Constraint Reasoning. In: LNAI 3438 (invited contribution: expanded version of a paper chosen as one of the best at CSLP'04).

M) 15. Dahl, V. (2002) On Implicit Meanings. In: Computational Logic: From Logic Programming into the Future . F. Sadri and T. Kakas (eds.) (invited contribution), volume in honour of Bob Kowalski, Springer-Verlag.

M) 14. Dahl, V. (2002) How to speak to your  computer so that it will listen. In: C. R. Ramakrishnan and S. Krishnamurthi (eds.). Lecture Notes in Computing Science 2257, Springer-Verlag.

M) 13. Dahl, V. (1999) The logic of language. In: K. Apt, V. Marek and D.S. Warren (eds.) The Logic Programming Paradigm: A 25-year perspective. Springer-Verlag, pp. 429:451.

M) 12. Dahl, V. (1999) From Speech to Knowledge. In: M.T.Pazienza (ed.) Information Extraction: towards scalable, adaptable systems. Springer-Verlag, LNAI (Lecture Notes in Artificial Intelligence) 1714, pp.49:75.

M) 11. Tarau, P. and Dahl, V. (1999) A Logic Programming Infrastructure for Internet Programming. In: Wooldridge, M. J. and Veloso, M. (eds.) Artificial Intelligence Today -- Recent Trends and Developments, Springer, LNAI 1600, 431:456, ISBN 3-540-66428-9.

M) 10. Tarau, P. and Dahl, V. (1998) A Coordination Logic for Agent Programming in Virtual Worlds. In: Conen, W. and Neumann, G. (Eds.), Coordination Technology for Collaborative Applications - Organizations, Processes, and Agents. Springer-Verlag, ISBN 3-540-64170-X.

M) 9. Li, R., Moniz Pereira, L. and Dahl, V. (1998) Refining Action Theories with Abductive Logic Programming. In: J. Dix, L. M. Pereira and T.C. Przymusinski (eds.), , Lecture Notes in Artificial Intelligence 1471, Springer-Verlag, 123-138, 1998. (Selected extended paper from LPKR'97: ILPS'97 Workshop on Logic Programming and Knowledge Representation, 1997)

M) 8. Tarau, P., Dahl, V. and Fall, A. (1996) Backtrackable State with Linear Affine Implication and Assumption Grammars. In: Lecture Notes in Computer Science 1179, Springer Verlag: Concurrency and parallelism, Programming, Networking, and Security. Jaffar, J. and Yap, R. (eds.), pp. 53-64.

M) 7. Tarau, P. and Dahl, V. (1995) Logic Programming and Logic Grammars with First-Order Continuations. LNCS Series, Springer-Verlag, vol. 883, pp. 213-229.M)
6. Abramson, H. and Dahl, V. (1995) Extending Logic Gramamars with ID-LP Specifications. In: A. Sobrino (ed.) Ensayos sobre programacion logica. Univ. de Santiago de Compostela Press, pp. 261-282.
M) 5. V. Dahl. Comment on implementing Government-Binding theories (1992) In R. Levine, editor, Formal Linguistics: Theory and Practice, pages 276-289. Oxford University Press.

M) 4. Dahl, V.  (1991) On logic programming as a representation of knowledge. In O. N. Garcia and Y. Chien, editors, Knowledge-Based  Systems: Fundamentals and Tools. IEEE Computer Society Press, 1991. (special edited collection: expanded version of the articles published in October 1983 issue of COMPUTER magazine [24])

M) 3. H. Abramson and V. Dahl. Logic Grammars. Monograph, Symbolic Computation AI Series. Springer-Verlag, 1989.
M) 2. V. Dahl and P. Massicotte. Processing techniques for discontinuous grammars. In Meta-Programming for Logic Programming, pages 141-156. MIT Press, 1988.

M) 1. V. Dahl. Logic Programming for Constructive Expert Systems. Database Systems and Applications. Benjamin/Cummings, 1986.

Articles in Refereed Conference/Workshops Proceedings: Published or Accepted

P) 67. Bel Enguix, G., Jimenez-Lopez, M.D., and Dahl, V. (2009) DNA and Natural Languages: Text Mining. In: IC3K 2009: Proc. International Joint Conference on Knowledge Discovery, Knowledge Engineering and Knowledge Management, INSTICC, Madeira, pp. 140-145.

P) 66. Bel Enguix, G., Jimenez-Lopez, M.D., and Dahl, V. (2009) Teaching Logic Programming Tools for Interdisciplinary Computing. In: Proc. European Computer Science Summit 2009: Informatics among the Sciences- Scientific Principles in Informatics. Paris, October 7-9 2009, pp. 31-40.

P) 65. Bel Enguix, G., Jimenez-Lopez, M.D., and Dahl, V. (2009) Mining Linguistics and Molecular Biology Texts through Specialized Concept Formation. Poster, NLPCS'09.

P) 64. Dahl, V. and Gu, B. (2008) On Cognitive Based Property Grammars. In  Proc. CSLP 2009, Hamburg, Germany.

P) 63. Gu, B.,  Popowich,  F. and Dahl, V. (2008) Recognizing Biomedical Named Entities in Chinese Research Abstracts. In Proceedings of the 21th Canadian Conference on Artificial Intelligence (AI-2008). Windsor, Ontario, May 28-30, 2008.

P) 61. Dahl, V. and Maharshak, E. (in press) DNA Replication as a Model for Computational Linguistics. LNCS, Springer-Verlag. Best Promising Paper Award, 3rd International Work-Conference on the Interplay between Natural and Artificial Computation, 2009.

P) 60. Bel Enguix, G., Jimenez-Lopez, M.D., and Dahl, V. (in press) Mining Linguistics and Molecular Biology Texts through Specialized Concept Formation. Poster, NLPCS'09.

P) 59. Dahl, V. and Gu, B. (2008) On Semantically Based Property Grammars. In Proc. CSLP 2008, Hamburg, Germany.

P) 58. Gu, B.,  Popowich,  F. and Dahl, V. (2008) Recognizing Biomedical Named Entities in Chinese Research Abstracts. In Proceedings of the 21th Canadian Conference on Artificial Intelligence (AI-2008). Windsor, Ontario, May 28-30, 2008.

P) 57. Baohua Gu, Veronica Dahl, and Fred Popowich (2007). Recognizing Biomedical Named Entities in the Absence of Human Annotated Corpora. In Proceedings of IEEE International Conference on Natural Language Processing and Knowledge Engineering (NLP-KE 2007). Beijing, China, August 30 - September 1, 2007.
P) 56. Veronica Dahl and Baohua Gu (2007). A CHRG Analysis of ambiguity in Biological Texts. In Proceedings of 4th International Workshop on Constraints and Language Processing (CSLP-2007), part of the Sixth International and Interdisciplinary Conference on Modeling and Using Context (Context07), Roskilde University, Denmark, 20-24 August 2007.

P) 55. Dahl, V. and  Gu, B.  (2006) Semantic Property Grammars for Knowledge Extraction from Biomedical Text. In Proceedings of 22nd International Conference on Logic Programming (ICLP-2006).

P) 54. Dahl, V. and Blache, P. (2005) Extracting Selected Phrases through Constraint Satisfaction. In: Proc. Constraint Satisfaction and Language Processing SLP'05, Sitges, October 05.

P) 53. Christiansen, H. and Dahl, V. (2005) HYPROLOG: a New Logic Programming Language with Assumptions and Abduction. In: Proc. International Conference on Logic Programming 05 (ICLP'05), Sitges, Spain, Oct 1-5, 2005.

P) 52. Bavarian, M. and Dahl, V. (2005) RNA Secondary Structure Design Using Constraint Handling Rules. In Proc. Workshop on Constraints for Bioinformatics, ICLP'05, Sitges, Spain, Oct 5, 2005.
P) 51. Bavarian, M. and Dahl, V. (2005) Constraint Based Methods for Biological Sequence Analysis. In Proc. PROLE'05 (Spanish Workshop on Programming and Languages), Granada, Spain, Sept 12-16.

P) 50. Christensen, H. and Dahl, V. (2005) Modeling and Using Context. In Proc. 5th International and Interdisciplinary Conference CONTEXT 2005, Paris, France.
P) 49. Dahl, V. Treating Long-Distance Dependencies through Constraint Reasoning. In Proc. 3rd International Workshop on Multiparadigm Constraint Programming Languages, Saint-Malo, France, Sept. 2004.
P) 48. Dahl, V. and Tarau, P. Assumptive Logic Programming. In Proc. ASAI'04, Cordoba, Sept. 2004.
P) 47. Aguilar Solis, D. and Dahl, V. An assumptive grammar treatment of coordination. In Proc. Iberamia '04, Mexico.
P) 46. Christiansen, H. and Dahl, V. (2004). Assumptions and Abduction in Prolog. In: Proc. MULTICPL'04 (Third International Workshop on Multiparadigm Constraint Programming Language, Saint-Malo, France, Sept
P) 45. Dahl, V. and Voll, K. (2004) Concept Formation Rules: An Executable Cognitive Model of Knowledge Construction. In Proc. First International Workshop on Natural Language Understanding and Cognitive Sciences (NLUCS'04), Porto, Portugal, April 2004.

P) 44. Dahl, V. and Blache, P. (2004) Directly Executable Constraint Based Grammars.  In Proc. Journees Francophones de Programmation en Logique avec Contraintes,  Angers, France, June 2004.  

P) 43. Barranco-Mendoza, A. Persaoud, D.R. and Dahl, V. (2004) A property-based model for lung cancer diagnosis. 8th Annual Int. Conf. on Computational Molecular Biology, RECOMB 2004, San Diego, California, March 27-31 (poster).

P) 42. Barranco-Mendoza, A. Persaoud, D.R. and Dahl, V. (2004) Intelligent system for early diagnosis of lung cancer using a multidisciplinary approach. ASI Exchange, Vancouver, B.C., Canada, March 9 (poster).

P) 41. Bès, G., Dahl, V., Guillot, D., Lamadon, L., Milutinovici. I. and Paulo, J. (2003) A parsing system for balanced parenthesis in NL texts.  Poster and Demo at the Lorraine-Saarland Workshop on Prospects and Advances in the Syntax/Semantics Interface, Loria-Nancy. 

P) 40. Dahl, Veronica (2001). Meaningful communication with computers, the web, and robots: research directions. In: Proc. SLPLT01 (Second International Workshop on Spanish Language Processing and Language Technologies), Jaen, Spain, Sept. 2001.

P) 39. Aguilar-Solis, D., and Dahl, V. (2001) Spanish as a Data Definition Language.  Ibidem.

P) 38. Voll, K., Yeh, T. and Dahl, V. (2000) An Assumptive Logic Programming Methodology for Parsing. In Proc. 12th Int'l Conference on Tools with Artificial Intelligence 2000.

P) 37. Rochefort, S., Tarau, P. and Dahl, V. (2000) Feature Interaction Resolution Through Hypothetical Reasoning. Proc. 4th World Multiconference on Systemics, Cybernetics and Informatics (SCI2000), Orlando, USA.

P) 36. Andrews, J., Dahl, V. and Jayaraman, B. (1999) Logic Grammars, Compositional Semantics, and Overgeneration. In: S. Fong and P. Sabatier (eds.) Proc. Natural Language Understanding and Logic Programming Workshop (NLULP99), Las Cruces, New Mexico, pp. 1-16.

P) 35. Rochefort, S. and Dahl, V. (1999) LPed ALE: An Application of Logic Programming in Distance Education. In: Proc. Distributed and Internet Programming with Logic and Constraint Languages, ICLP99, pp.1-11.

P) 34. Rochefort, S.,  Dahl, V. and Tarau, P. A Framework for Virtual Learning Environments. In Proceedings of  EMEDIA'99 World Conference on Educational Multimedia, Hypermedia and Telecommunications, Seattle,
Washington, june 1999. 

P) 33. Tarau, P. and Dahl, V. (1998) Code Migration with First Order Continuations. (invited contribution) In Proc. Joint Declarative Programming Conference, La Coruna, Spain.

P) 32. Rochefort, S., Dahl, V. and Tarau, P. (1998) A Virtual Environment for Collaborative Learning. In Proc. World Multiconference on Systemics, Cybernetics and Informatics, Florida.

P) 31. Dahl, V., Tarau, P. and Li, R. (1997) Assumption Grammars for Natural Language Processing.  In: Lee Naish (ed.) Proc. Fourteenth International Conference on Logic Programming, pages 256-270, MIT Press, 1997.

P) 30. Dahl, V., Tarau, P., Accuosto, P. , Rochefort, S. and Scortescu, M. (1997) Assumption Grammars for Knowledge-Based Systems. Proc. NLDB'97, Vancouver, June 1997.

P) 29. Tarau, P., Dahl, V. and De Boschere, K. (1997) A Logic Programming Approach to Coordination in Virtual Worlds.In Proc. Workshop on Coordination languages, models, systems in the Software Technology Track of the Hawaii International Conference on System Sciences.

P) 28. Tarau, P., Dahl, V. and De Boschere, K. (1997) A Logic Programming Infrastructure for Remote Execution, Mobile Code and Agents. In: Proc. Post ICLP Workshop on Logic Programming and Multi Agents, Leuven.

P) 27. Tarau, P., Dahl, V., Rochefort, S. and De Bosschere, K. (1997) LogiMOO: a Multi-User Virtual World with Agents and Natural Language Programming, In: Proc. CHI'97, S. Pemberton (ed.), Atlanta, 1997, pp. 323-324, ACM ISBN 0-8979-926-2.

P) 26. Tarau, P., Dahl, V. and De Bosschere, K. (1997) Remote Execution, Mobile Code and Agents in BinProlog. Electronic Proc. Logic Programming Workshop in conjunction with the 6th International World Wide Web Conference, April 7-11, Santa Clara, 1997. 

P) 25. Li, R., Dahl, V., Moniz Pereira, L. and Scurtescu, M. (1997) Dealing with Exceptions in Textual Databases. In Proc. NLDB'97, 11:33, Vancouver, June 1997.

P) 24. Zaiane, O. R., Fall, A., Rochefort, S., Dahl, V. and Tarau, P. (1997) Concept-Based Retrieval using Controlled Natural Language. In Proc. NLDB'97, Vancouver, June 1997.
 
P) 23. Zaiane, O. R., Fall, A., Rochefort, Dahl V. and Tarau, P. (1997) On-Line Resource Discovery using Natural Language, in Proc. RIAO'97 , Computer-Assisted Searching on the Internet, pp. 336-355, McGill University, Montreal.

P) 22. Rochefort, S., Dahl, V. and Tarau, P. (1997) Controlling Virtual Worlds through Extensible Natural Language. In: Proc. 1997 AAAI Symposium Series "Natural Language Processing for the World Wide Web", March 1997, Stanford University, California. 

P) 21. Dahl, V., Fall, A., Rochefort, S. and Tarau, P. (1996) A Hypothetical Reasoning Framework for Natural Language Processing. In Proc. 8th IEEE International Conference on Tools with Artificial Intelligence. Toulouse, France, Nov. 1996.
P) 20. Dahl, V., Tarau, P. and Andrews, J. (1995) Extending Datalog Grammars. Proc. Workshop on Natural Language and Databases (NLDB'95), Versailles, France, June 1995.
P) 19. Andrews, Dahl, V. and Tarau, P. (1995) Continuation Logic Programming: Theory and Practice. In Proc. ILPS'95 Workshop on Operational and Denotational Semantics of Logic Programs, Portland, Oregon, Nov. 1995.
P) 18. Dahl, V., Fall, A. and Tarau, P. (1995) Resolving Co-Specification in Contexts. In Proc. IJCAI'95 Workshop on Context in Language, Montreal, July 1995.
P) 17. Dahl, V., P. Tarau, L. Moreno and M. Palomar (1995)Treating coordination through Datalog grammars. COMPULOGNET/ELSNET/EAGLES Workshop on Computational Logic for Natural Language Processing, Edinburgh, April 3-5, 1995, pp.1-17.
P) 16. Balsa, J., Dahl, V. and Pereira Lopes, J.G. (1995) Datalog Grammars for Abductive Syntactic Error Diagnosis and Repair. In Proc. Natural Language Understanding and Logic Programming Workshop, Lisbon, 1995.
P) 15. Dahl, V., Fall, A., and Thomas, M.C. (1995) Driving Robots through Natural Language. In Proc. 1995 IEEE International Conference on Systems, Man and Cybernetics, pp. 1904-1908.
P) 14. Thomas, M.C., Dahl, V., and Fall, A. (1995) Logic Planning in Robotics. In Proc. 1995 IEEE International Conference on Systems, Man and Cybernetics, pp. 2951-2955.

P) 13. P. Tarau, V. Dahl, and A. Fall. Backtrackable State with LinearAssumptions, Continuations and Hidden 
Accumulator Grammars. In John Lloyd, editor, Proceedings of ILPS'95 Workshop on Visions for the Future of 
Logic Programming , page 642, Portland, Oregon,November 1995. poster abstract. 

P) 12. Huang, Y.N. , Dahl, V. and Han, J. (1994) Rule Updates in Logic Databases: A Meta Programming Approach. In: Proc. of the 3rd International Pacific Rim Conference on Artificial Intelligence, Beijing, China, Aug., 1994.
P) 11. Abramson, H. and Dahl, V. (1994) Extending logic grammars with ID-LP specifications. In: Proc. IV Iberoamerican Congress on AI- IBERAMIA '94, Caracas, Venezuela, sponsored by AVINTA,SMIA and AEPIA, Oct. 25-28, pp. 230-246.
P) 10. Hagen, E. and Dahl, V. (1994) On Multiple-Valued Deductive Databases. Proc 10th Biennial Conference of the Canadian Society for Computational Studies of Intelligence, Banff, pages 31-38, May 1994.
P) 9. Dahl, V., Tarau, P. and Huang, Y-N. (1994) Datalog Grammars. 1994 Joint Conference on Declarative Programming. Peniscola, Spain, Sept 19-22.
P) 8. Dahl, V. (1988) Representing linguistic knowledge through logic programming. In: Proc. 4^th International Conference on Logic Programming, Seattlle.
P) 7. Dahl, V. (1985) Hiding complexity from the casual writer of parsers.In: Natural Language Understanding and Logic Programming, pp. 1-19, Elsevier.
P) 6. Dahl, V. (1984)  More on gapping grammars In: Dahl and Saint-Dizier (eds.)  Proc. International Conference on V Generation Computer Systems, Tokyo, Ohmsha Publishing Co., pages 669-677, 1984.
P) 5. Dahl, V. (1980) A Three-Valued Logic for Natural Language Computer Applications. In: Proc. International Symposium on Multiple Valued Logic, pp. 102-107, Illinois.
P) 4. Dahl, V. (1980) Two solutions to the negation problem. In: Proc. Logic Programming Workshop, Debrecen.
P) 3. Dahl, V.  (1979) Quantification in a three-valued logic for natural language question-answering systems. In Proc. IJCAI’79, Tokyo, Japan.
P) 2. Dahl, V.  (1979) Logical design of deductive, natural language consultable data bases. In: Proc. V International Conference on Very Large Data Bases, Rio de Janeiro, Brazil.
P) 1. Dahl, V. (1977) Some experiences on natural language question-answering systems. Proc. Workshop on Logic and Data Bases, CERT, Toulouse, France.

2.2 INVITED CONTRIBUTIONS (unrefereed)

I13. Dahl, V. (2005) A Message from the former ALP President, ALP Newsletter,  vol. 18, No. 1, Feb.05, 

I12. Dahl, V. (2004) A Word with the President, Logic Programming Newsletter, 17:1, Feb 2004.

I11. Dahl V. and Wadler, P. (2003) Introduction. In: [100]

I10. Dahl, V. (2001) A Word with the President, Logic Programming Newsletter part I, part II, vol. 14, numbers 2/3, May/Aug 2001. 

I9. Dahl, V.   (2001) About ICLP+CP 2001. In: Logic Programming Newsletter, Nov. 2001. 

I8. Dahl, V. (1999) Encyclopedia Entry: Logic Programming and Languages. In: J. G. Webster (ed.) Wiley Encyclopedia of Electrical and Electronics Engineering, vol. 11, 576:580.

I7. Dahl, V. and Tarau, P. (1998) From Assumptions to Meaning. In: Canadian Artificial Intelligence 42, Spring '98.

I6. Dahl, V. (1995) Research on AI in Europe- a survey. Computational Logic (The Newsletter of the Compulog European Networks of Excellence).

I5. Dahl, V. (1995) Introduction to the Special Issue: Computational Linguistics and Logic programming, The Journal of Logic Programming.

I4. Dahl, V. (1994) The 1993 International Logic Programming Symposium AI Magazine, vol. 15, No. 4, pp. 73.

I3. Dahl, V. (1992) Introduction to the Special Issue: Constraint Reasoning for Expert Systems, International Journal of Expert Systems, JAI Press Inc., 6(4), p. v-vii (invited contribution).

I2. Dahl, V. (1994) Review of the research monograph: "Constraint-Based Grammar Formalisms", by Stuart Shieber. Computational Linguistics.19 (3), pp. 560-564 (invited contribution).

I1. Dahl, V. (1985) Prolog, Mumps and Fifth Generation Computing. In: R. Dayhoff, (ed.) MUMPS User’s group Journal, vol. XV, No. 3,  pp. 3-13 (invited contribution to mark my Keynote Speech at the MUMPS Conference).

2.3 EDITED VOLUMES OR CHAPTERS

E3. Blache, P., Christiansen, H., Dahl, V. and Villadsen, J. (2009) Recent Advances in Constraints and Language Processing, Springer Verlag.

E2. Dahl V. and Wadler, P. (eds.) (2003) Practical Aspects of Declarative Languages. LNCS 2562, Springer-Verlag.
 
E1.   Lloyd, J., Dahl, V., Furbach, U., Kerber, M., Lau, K.-K., Palamidessi, C., Pereira, L.M., Sagiv, Y. and Stuckey, P.J. (eds.) (2000) Computational Logic. Lecture Notes in AI, Springer, Vol. 1861.

2.4 MISCELLANEOUS SCHOLARLY PUBLICATIONS: TECHNICAL REPORTS, CONTRIBUTIONS IN PREPARATION, THESES

M10. Zahariev, M., Dahl, V. and Levesque, A.  Efficient Algorithms for the Discovery of Oligonucleotide signatures for DNA Sequences and Groups of Sequences. SFU Technical Report.

M9. Dahl, V. (1988) Static Discontinuity Grammars for Government-Binding Theory. CSS/LCCR TR 88-22, SFU.

M8. Brown, Ch., Pattabhiraman, T., Boyer, M., Massam, D., and Dahl, V. (1986) Tailoring Conceptual Graphs for use in NL Translation. LCCR TR 86-14, pp. 1-21.

M7. Dahl, V. and Saint-Dizier, P. (1986) Constrained Discontinuous Grammars- A Linguistically Motivated Tool for Processing Language. LCCR TR 86-8, SFU/ INRIA Rapport No. 573.

M6. Dahl, V. (1983) Current Trends in Logic Grammars. SFU TR 83-2, presented at panel session, International Conference on Logic Programming, Faro, Portugal.

M5. Dahl, V. (1983) Teoria de Lenguajes. CLAMI, Primer Simposio Latinoamericano de Informatica (invited contribution), pp. 1-87.

M4. Dahl, V. (1977) Un systeme deductif d’interrogation de banques de donnees en espagnol. These de Doctorat de Specialite en Intelligence Artificielle, Universite d’Aix-Marseille II, France.

M3. Dahl, V. and Sambuc, R. (1976) Un systeme de banque de donnees en logique du premier ordre, en vue de sa consultation en langue naturelle. Rapport de DEA, Universite d'Aix-Marseille II, pp. 1-29.

M2. Dahl, V. and Elinger, M. (1975) Algoritmo de Grafos para la Operacion Optima de Aprovechamientos Hidraulicos. Informe Tecnico No. 3, Instituto Nacional de Ciencia y Tecnica Hidricas, Buenos Aires, Argentina. (Third Prize Winner for  Scientific Production in Engineering).

M1. Dahl, V., Clerici S. and Lilliecreutz, S. (1974)  Algoritmo para decidir si una gramatica es o no LR(k) para k dado y arbitrario. Obtencion de una nueva gramatica para un compilador LR(k). TR, Universidad de Buenos Aires.

R2. Recent Contributions to publications through supervision:

[S22] Gu, Baohua (2006). Recognizing Nested Named Entities in GENIA Corpus. In Proceedings of BioNLP 2006, a workshop of HLT-NAACL 2006.

[S21] Voll, K. (2006) Closing the Gender Gap: Opening the Door for Women Leaders in Technology. Canadian Coalition of Women in Engineering Science, Trades and Technology (CCWESTT) National Conference.

[S20] Voll, K., Atkins, S. and Forster, B. (2006) Improving the Utility of Speech Recognition Through Error Detection. Society for Computer Applications in Radiology (SCAR) Annual Meeting 2006, pp. 26-28.

[S19] Bharadwaj. P. and Molero, D. Metainterpretation of expert systems with certainty factors. Student Poster, ICLP'06.

[S18] Maj, P. Knowledge Representation with Frames. Student Poster, ICLP'06.

[S16] Aguilar-Solis, D. (2006) Learning Semantic Parsers: a Constraint Handling Rule Approach. Poster, ICLP'06.

[S17] Barranco-Mendoza, Alma (2005) Stochastic and Heuristic Modeling for Analysis of the Growth of Pre-Invasive Lesions and for a Multidisciplinary Approach to Early Cancer Diagnosis, SFU PhD dissertation. Nominated for the 2004 B.C. Advanced Systems Institute Innovation Award and the 2005 NSERC PhD Dissertation Award.

[S16] Gu, Baohua (2005). Identifying Species-Specific Subsequences in Bacteria Transcription Terminators Using SVM. Presented at the International Symposium on Health Informatics and Bioinformatics (Hibit-2005).

[S15] Zahariev, Manuel (2004)   Automatic Expansion of Acronyms, Ph D dissertation, Winner of the 2004 Governor General's Gold Medal Award, Canada.

[S14] Zahariev, Manuel (2003), An Efficient Methodology for Acronym-Expansion Matching, submitted to Human Languages Technology Conference, NAACL-HLT 2003, Edmonton, Canada.

[S13] Stephen Rochefort (2002) LPed ALE: A Multi-Agent System for Asynchronous Learning. E-Learn: World Conference on E-Learning in Corporate, Government, Healthcare and Higher Education, Montreal, QC, 2002.

[S12] Fall, A. (1998) The Foundations of Taxonomic Encoding. Computational Intelligence 14 (4) : 598-642.

[S11] Fall, A (1996) Reference Constraints and Individual Level Inheritance. Canadian AI Conference, Toronto : 336-348.

[S10] Fall, A. (1996) Sparse Term Encoding for Dynamic Taxonomies. Proc. Fourth International Conference on Conceptual Structures, Sydney, Australia.

[S9] Fall, A. (1996) The Evolution of Taxonomic Encoding Techniques. In Dahl, V. and Sobrino, A. (eds.) :201-231, Ensayos sobre Programacion Logica. Santiago de Compostela University Press.

[S8] Fall, A. (1995) Spanning Tree Representations of Graphs and Orders in Conceptual Structures. In : Proc. Third Int. Conf. on Conceptual Structures. Santa Cruz : 232-246.

[S7] Fall, A. (1995) Heterogenous Encoding. Ibidem :134-146.

[S6] Fall, A. (1995) An Abstract Framework for Taxonomic Encoding. Ibidem : 162-167.

[S5] Fall, A. (1994) Sparse Logical Terms. Applied Mathematics Letters. 8(5) :11-16.

[S4] Andrews, J.A. (1994) Foundational Issues in Implementing Constraint Logic Programming Languages. In Proc. 5th European Symposium on Programming Languages, Scotland :74-88.

[S3] Calder, J. (1993) Graphical Interaction with Constraint-Based Grammars. Proc. Third Pacific Rim Conference on Computational Linguistics, Vancouver : 160-169.

[S2] Sidebottom, G. (1993) Implementing a CLP(B) with the Connection Theorem Proving Method and a Reason Maintenance System. Journal of Symbolic Computation, 15 :27-48.

[S1] Dorner, B. and Hagen, E. (1994) Towards an American Sign Language Interface. Artificial Intelligence Review, 8 (2-2) : 235-253.    (N.B. more  under section T2)

R3. Recent Research Collaborations (other than the ones evidenced in coauthored publications)

R4. Software Development and Technology Transfer

 R5.  Editorial Activities
 
1. Area Editor, Journal of Logic Programming (in the two areas: Applications, and Natural and Formal Languages) , 1991 to 2005.
2. Associate Editor, Computational Intelligence, 1985 to present.
3. Editorial Board Member, International Journal of Expert Systems: Research and Applications, 1987 to present.
4. Editorial Board Member, Conceptual Systems Journal, July 1996 to present.
5. Guest Editor, Special Issue: Constraint Reasoning for Expert Systems, International Journal of Expert Systems,  1992.
   

R6. Keynote Speeches

Advances in Artificial Intelligence- are we making real progress? Keynote Address, APICS'96 (Atlantic Provinces Council for the Sciences) Oct. 1996.

Prolog, Mumps and Fifth Generation Computing Keynote Address, MUMPS User's Conference, Chicago, 1985.

         R7. Banquet Speech

R8. Sample Invited Talks  

1. Long Distance Dependencies through CHR. Invited Talk, First International Workshop on Constraint Satisfaction and Language Processing,  Copenhagen, 2004.
2. The heart's many languages: bridging the formal/humanistic sciences gap. Invited Talk, ASAI'04, Cordoba,  2004.
3. Computational Linguistics and Molecular Biology. Invited Talk, Roskilde University, Copenhagen,  2004.
   
4. Coordination en Langue Naturelle- une approche predictive. InvitedTalk, Universite d'Aix-Marseille II, France, 2003.
5. Parsing GPs in one clause (my scientific One Note Samba).  Invited Talk, Universite de Provence, France, 2003.
6. Logique, Linguistique et Traitement Automatique.  Invited Talk, Universite de Provence, France, 2003.
   
7. Understanding Implicit Language Structures. Invited address, EPIA'03, Beija, Portugal.
8. A day in the life of a proof. Banquet Speech, ICLP02, Copenhagen.
9. How to speak so that your computer will listen. Invited Talk, PADL'02 (Practical Applications of Declarative Languages), USA,2002.
10. From Speech to Knowledge. Invited talk, School on Information Extraction (SCIE-99, Rome, July 1999).
11. Translating NL world descriptions into data bases. COMPULOG workshop, Rome, 1999.
12. The logic of language. Invited talk to the meeting The Logic Programming Paradigm: Current Trends and Future  Directions, Shakertown, Kentucky, April 1998
13. What logics are natural for natural language? Invited talk at Joint Declarative Programming Conference AGP98, La Coruna, Spain, 1998.
14. Code Migration with First Order Continuations.Joint Declarative Programming Conference AGP98, La Coruna, Spain, 1998.
15. Extending Datalog Grammars. Invited talk to mark my winning the Women's Scholar Award at Queen's    University, June 1995.
16. Understanding and Translating Language- Challenges of the 90's. Invited talk to mark my Calouste Gulbenkian Award,  Lisbon, Nov. 1994
17. Datalog Grammars. Invited talk at INRIA, Domaine du Voluceau, France, 1994.
18. AI systems for NL processing. BCIT Workshop, Vancouver, 1993.
19. What Linguistics can contribute to AI, Invited talk at the Canadian Artificial Intelligence Conference,  Vancouver, 1992.

R9. Conference Responsibilities

1997 International Logic Programming Symposium: Logic Programming and Natural Language. Port Jefferson,   NY.
1987 IV International Logic Programming Conference, Melbourne, Australia.

       IJCAI 2001, Seattle:  Local Arrangements Chair for Vancouver.

Session Organizer and Chair

1.  Panel Session:  How high level grammatical formalisms do we need for processing language? At the Natural Language Understanding and Logic Programming Workshop (NLULP99), Las Cruces, New Mexico
2. Panel Session: Logic Programming- Reality vs. Utopia. Summer School, Faculty of Philosophy, University of Santiago de Compostela, 1993
3.  Panel session: An Interdisciplinary View of Constraint Reasoning, Canadian Artificial Intelligence Conference 1992,  Vancouver
4.  Panel session: Distributed and Internet Programming with Logic and Constraint Languages, Workshop, ICLP99
5.  Panel session: Logic Programming Formalisms for NL Processing. LP Workshop, El Faro, Portugal, 1983

Sample Program Committee Memberships

1. IBERAMIA/SBIA 2006 (Riberao Preto, Brazil)
2. CSLP'06  (COLING-ACL Workshop, Sydney, Australia).
3. LACL'05 (Logical Aspects of Computational Linguistics). 
   
4. ICLP'05 (International Conference on Logic Programming, Sitges, Spain).
5. ICLP'04 (International Conference on Logic Programming), Saint-Malo, France, 2004.
6. PADL '04 (Practical Applications of Declarative Languages)
   
7. PACLING 2003 (Pacific Association for Computational Linguistics)
8. JFPLC 2003 (Journées francophones de programmation en logique et programmation par contraintes)
9. (also co-founder) International Workshop on Natural Language Understanding and Logic Programming, 1995, 2002      (NLULP)
10. ICLP 2002, Denmark, July 2002.
11. ICLP 2001, Cyprus, December 2001.
12. CogSci2000, the 22nd annual meeting of the Cognitive Science Society, 2000.
13. Fourth Symposium on Natural Language Processing 2000, May 2000,Thailand.
14. TAPD'00 (Tabulation in Parsing and Deduction), 2000.
15. PACLING99 (Pacific Rim Computational Linguistics Conference), 1999.
16. ICLP99 (International Conference on Logic Programming), 1999.
17. International Workshop on Distributed and Internet Programming with Logic and Constraint Languages (in         conjunction with ICLP99)
18. Joint International Conference and Symposium on Logic Programming, 1998.
19. Iberoamerican Conference on Artificial Intelligence, 1998 (IBERAMIA '98)
20. International Conference on Natural Language Processing and Industrial Applications NLP+IA 98. New    Brunswick, August  1998.
21. Second International Workshop on Logic Programming Tools for Internet Applications, Belgium, July 1997
22. International Conference on Natural Language and Industrial Applications (NLP-IA'96), New Brunswick, Canada, 1996
23. International Conference on Logic Programming and natural Language Processing, Lisbon, August 1996
24. 1995 Joint Conference on Declarative Programming, Sept. 11-14, 1995
25. KRUSE'95, California, August 1995
26. GULP-PRODE 1995
27. ICLP  1994 (International Conference on Logic Programming)
28. International Conference on Computing and Information, 1994
29. Canadian AI Conference, Vancouver, 1994
30. ICCI 1994
31. International Symposium on Logic Programming 1993
32. First International Conference on Conceptual Structures, Quebec, 1993
33. Fourth International Workshop on Natural Language Understanding and Logic Programming, Tokyo, 1993.
34. FLAIRS 93/94
35. International IEEE Conference on Distributed Systems, 1992.
36. IX Biennial Conference, Canadian Society for Computational Studies in Intelligence, 1992.

 1999 to 2001: Coordinator, Compulog Net EU/the Americas Collaboration in LP and NLP

R11. Research Funding

1.  Danish National Science Research Council: 91,000$/year, 2004-2007 (with Roskilde Univ. and Univ. de Provence, see (see http://control.ruc.dk)
2. NSERC  5 year Research Grant: currently 33,600$/year, prev. 28,000/y
3. NSERC Equipment Grant: 20,819$
4. Canadian Biotechnology Strategy Fund: 15,000$
5. NSERC Two-year Infrastructure for the Logic Programming Lab: 20,000$ annually, 1992-94
6. CSS Matching Award to the above, 6,666$
7. PRG Matching Award to the Above, 7,100$
8. NSERC Conference Grant, 4,000$, 1993
9. SFU PRG Conference Grant, 4,000$, 1993
10. ASI of BC Conference Grant, 6,000$, 1993.
11. Microtel Pacific Research Conference Grant, 1,500$, 1993
12. AAAI Conference Grant, $6,250, 1993
13. PRG Grant for chairing ILSP93, 5,000$
14. NSERC Equipment Award, 11,544$, 1992
15. Elsevier's Area Editor's Publishing grant, 1,000$ annually

The influence of my work on other researchers is evidenced by its having been adopted in contemporary software (e.g. my work on linear affine intuitionistic and timeless assumptions was incorporated into modern versions of Prolog such as BinProlog and CHR Grammars), by its having helped in interdisciplinary endeavours (e.g. to help find the human genome); and by its being referenced in prestigious journals, such as the Journal of Computational Linguistics, the Theory and Practice of Logic Programming Journal (formerly called the Logic Programming Journal), and ACM Transactions on Database Systems. Other than specific, specialised uses of my work, its lasting relevance is manifest in its also having been referenced in survey articles and in general and specific AI textbooks, such as Lugger and Stubblefield's  AI book, Covington's Natural Language Processing for Prolog Programmers, and David Poole et al's Computational Intelligence book. My students are typically in high demand, both in academia and in industry.

 
II. TEACHING:

         Chair of Excellence Award from the European Commission 2008-2011, for my work on Constraint Solving and Language Processing for Bioinformatics.
           Outstanding Achievement Award for research, teaching and administration, SFU 2002-07.
           Innovative Teaching Program Award (with Drs. Han and Tarau, 1996/7: 50,000$ from the MSTL Innovations Fund)

T2. (2003) Panelist at ICLP'03's Panel session on (C)LP Teaching

T3. Supervision (as Senior Supervisor for either theses or punctual publications). Co= co-supervised- if absent, indicates complete supervision.
 

1. Amin Sharifi (current)
   
2. Dulce Aguilar-Solis, PhD (current) Grammar Induction through Logic Grammar
3. Baohua Gu, PhD-Co (current) Biomedical Named Entity Recognition
   
4. Kimberly Voll, Ph. D. (2006)   Automatic Interpretation of Radiological Reports
5. Alma Barranco-Mendoza**** (PhD, 2005) Stochastic and Heuristic  Modelling for Analysis of the Growth of Pre-Invasive Lesions and for a Multidisciplinary Approach to Early Cancer Diagnosis
6. Manuel Zahariev***, PhD., 2004 Automatic Expansion of  Acronyms
7. Naureeen Sikder (undergrad, 2004) Treating Coordination through Constraint Handling Rules
8. Jiang Ye, Master's   A review of AI Techniques applied to Protein Structure Prediction
9. Maryam Bavarian (2006) Master's  Design and Analysis of Biological Sequences using Constraint Handling Rules
10. Michael Cheng (undergrad,  2002) Robotics using Logic Grammars
    
11. Stephen Rochefort, PhD, 2000    LP Applications in Educational Environments
12. Marius Scurtescu, M.Sci, 2000    Java Program Representation and Manipulation in Prolog
13. Andrew Fall**, Ph.D, 1996    Reasoning with Taxonomies
14. Eli Hagen, M. Sci., 1993     A Flexible American Sign Language Interface to Deductive Databases.
15. Craig Larman, M.Sci.-Co, 1992    Learning from Knowledge Systems
16. Osmar Zaiane, 1997   Concept Extraction and Resource Discovery through NL
17. Joao Balsa, M. Sci.- Co, 1995   Datalog grammars for abductive syntactic error repair
18. Greg Sidebottom* ,1994     CLP(B) Implementation (see [S15] under R2); Automatic  Configuration through Constraint Reasoning
19. Jorg Ueberla, M.Sci., 1994    Automatic Configuration through Constraint Reasoning
20. Renwei Li, PDF, 96-98  Refining Action theories with Abductive LP ; Assumption Grammars through Language Processing
21. Jamie Andrews, PDF,1994     Foundational Issues in Implementing CLP Languages
22. Yan-Nong Huang, PDF, 1995    Fact and Rule Updates in Logic Databases;  Datalog Grammars.
23. Jo Calder, PDF-Co, 93    Graphical Interaction with Constraint-Based Grammars
24. Andrea Schiel (undergrad-Co,1997) Generating Internet Based VRML Animations from NL.
25. Charles Brown, Ph.D, 1987        Generating Spanish Clitics with CDGs
26. Massam, D.,  PDF, 1985    Implementing Government-Binding Theory
27. Pierre Massicotte, M. Sci., 1985   Generating Conceptual Graphs from Functional  Structures
28. Pattabhiraman, T., M.Sci.,1984   Translating machine error messages
    

**** Nominated for the 2004 B.C. Advanced Systems Institute Innovation Award and for the 2005 NSERC PhD Dissertation Award
*** 2004 Governor General's Gold Medal Award
** 1996 SFU Graduate Prize in Computing Sci., finalist for Best Paper Award, Canadian AI Conference 1996 (see publication [S3] under R2), CSS First Place Exhibit Award at ASI Exchange, 98; ASI Best Student Exhibit Award, 97 .
* CSS Best Paper Award for his research project in the graduate course he took from me [S14].  

T4. Extra Teaching

The following is a sample of extra teaching over the past few years, as from when due teaching credit for research oriented undergraduate courses was discontinued.

2004-3     Special Res. Project       Work study program (2.5  contact hours/w., Naureen Sikder)
2001-1     Special Res. Project       COGS491 (2.5  contact hours/w., K. Voll)
2001-2     Special Res. Project       NSERC  Dir. Studies  Res. Award (3 contact hours/w., K. Voll)
2001-3     Special Res. Project       COGS490  (2.5   contact hours/w, Rhian Davies)
2001-3     Special Res. Project       CMPT 416  (2  contact hours/w., K. Voll)
2000-2     NSERC USRA Project   (3 contact hours/w., K. Voll)
2000-2     Special Res. Project       CMPT415  (2 contact hours/w., T. Yeh)
2000-2     Special Res. Project       CMPT415  (2 contact hours/w.,  B. Trigona)
2000-1     Special Res. Project       COGS490  (2.5 contact hours/w., K. Voll)

T5. New Course/ Academic Program Development

All the courses I teach are completely renewed at every offering. In addition, I developed from scratch the following completely new courses:

• CMPT880 (Logic in Computing Sciences)- new Area II course, first offering: Summer 2006.
  
• CMPT 725 (Logical Methods in Computational Intelligence)- first offering: Spring 2006.
  
• CMPT817 (Natural and Visual Interfaces to Deductive Databases) , first offered in 2000.
• CMPT 824 (Deductive Knowledge Bases with Natural Language Front Ends), first offered in 1992.
• Various new offerings of COGS 491, COGS 490, ENSC 891, and CMPT 415.

T6. As Judge:

 CSS Student Poster Competition and Award Presentation meeting: March 1999.

T7. Student Evaluations of my teaching:

 I am typically rated as excellent or very good by the majority of my students, when the normal level of expectation at the School of Computing Sciences is good to very good. Some of the feedback from students:

"Always wanting to come to class because she smiles all the time" 

"Passion for topic, fairness, international credibility is highly valued, attitude towards students"

"This is the type of course that I would expect all upper division courses to be like. Veronica was able to bring a great deal of supplementary and up to date information into the course material. I found that I had some problems dealing with this course because I am used to taking courses in which the instructor merely restates what is in the text, I am not used to listening to someone who can actually bring some real intelligence into the course content."

"Her open style of teaching generated a lot of discussions in class and promoted motivation for learning out of class."

"Let me state at the outset that Veronica was great. She is very amiable towards students, and encourages interaction on a personal level, creating a feeling of goodwill and encouraging questions and comments."

"It's really neat to be reading a text on AI/NLP etc. and see the author cite Veronica's seminal paper ... (gives a feeling that these people really exist). Having a prof on the forefront of expert systems, prolog, etc. is very exciting for her students."

"Veronica is always ready to receive people in her office, provide help, suggestions, research material."

"She was very entusiastic about the material and tried to get the students on top of the fast paced material."

"Excellent rapport with students; really tries to get to know her students."

"Always available for help, or endless resources available."

"Off the top of my head, only Veronica, R. Tront and D. Fracchia know how to foster peak performers or provide an environment that encourages research -which is where TRUE learning comes in. She is one of a few profs whom I want to do well for and not dissapoint."

"Excellent speaker, very fair with students, best teacher I've had so far in Comp-Sci."

"Strongest points: Communication, knowledge, research ability, beautiful smile, flexibility." :-)

T8. Comments from alumni:

"I enjoyed taking courses with you and talking with you. I've learned not only Prolog, CHRG, presentation and writing skills, but most importantly, I was inspired a lot by you. I still remember clearly that you encouraged us to dare to dream and aim high. Now I am aiming high and I would like to continue to PhD studies"

T9. Miscellaneous:

 Service in many graduate students' committees, Temporary Senior Supervisor for numerous graduate students, supervision of teaching assistants, writing numerous letters of reference for students, etc. 

U4. Dahl, V. (1998) Yes, You Can- Letter to Young Women Scientists Blossoming in Men's Fields. In: Logic Programming Newsletter, 11(3):6, Aug. 1998. Reprinted from: SCWIST Newsletter, 14(1):4, Jan. 1997.

U3.   On False Choices Affecting Female Representation in Science and Technology. From my Invited talk at CASCON'96 Workshop The  Gender Gap, Toronto, Nov. 1996.

U2. Dahl, V. (second edition, 1995) Analysis of Female Underrepresentation in Computing Sciences Departments- What can be done. Simon Fraser University.

U1. Dahl, V., Kirkpatrick, D. and Pruzinkiewicz, P. Report on Internal Restructuring of NSERC's Computing and Information Science Grant Selection Committee. Technical Report, NSERC, 1992.
 

A3. Panel Sessions

Panelist, SCWIST's AGM, May 20th 1999 (Society for Canadian Women in Science and Technology)

A4. Editorial Service

Publications Director, Science for Peace, Toronto , 1995-96.

 A5. International and National Governance and Service   

Killam Selection Committee Member: 2007 to 2010

 President, Association for Logic Programming: Jan. 2001 to Jan. 2005.

Area Coordinator (Natural Language Processing) Compulog Americas

Coordinator of the SIG Computational Logic and Natural Language Processing (CL&NLP) (a joint initiative of Compulog Net and Compulog Americas)

Permanent Member of the Organizing Committee for Logic Programming Conferences (this position honours the Founders of the field)

Member, NSERC's Computing and Information Sciences Grant Selection Committee (1991-1994)

Reviewer for NSERC's Strategic Grant Program, 1994

Board Member, Science for Peace, 1995-97. 

A6. SFU Governance  

Director, Logic and Functional Programming Group: to date since its inception

 Strategic Research Committee Member, Comp. Sci. School

Chair, Teaching Excellence and Load Rebalancing Committee, Comp. Sci. School, 2006-08

 Chair, Gender Issues Committee, Comp. Sci. School, 2004-05, 2007-08.

Chair of the Cognitive Sciences Program at SFU: 1998-99

Chair of the Admissions Committee in the School of Computing Sciences

Chair, Scholarships Adjudication Committee, 1999 and 2000, School of Computing Sciences

Acting Chair, Graduate Studies (ten days in 00-2)

Senate Member

SFUFA Director

Area Representative, Cognitive Science Coordinating Committee (all ten years)

Departamental Contact Person for Academic Women, SFU (all ten years)

 A7. Committe Memberships at SFU


1. Steering Committee for the Cognitive Sciences Program
2. Graduate Studies Committee, Comp. Sci. School
3. Hiring and Retention, Comp. Sci. School
4. Graduate Student Recruitment, Comp. Sci. School
5. SFUFATeaching Issues and Growth Committee
6. Associate VP Academic Search Committee (university level)
7. Curriculum Standardization,  Comp. Sci. School
8. Guest Member at the Women's Studies DTC
9. Canadian Research Chairs Planning Committee, Comp. Sci. School
10. Associate Dean of Grad Studies Search Committee
11. Member, Gender Issues Committee, Comp. Sci. School
12. SFUFA Salary Advisory Committee.
13. Tenure and Promotion Committee, Comp. Sci. School.
14. Faculty Search Committee, Comp. Sci. School.
15. Public Relations Committee, Comp. Sci. School.
16. Faculty of Applied Sciences Women (Dec. 92 onwards, contributions to documents such as the Startegic Directions document, and other issues, from the perspective of the faculty's female minority). 
17. Member, Senate Graduate Awards Adjudication Committee (1996-98)
18. Member, International Undergraduate Student Exchange Committee (elected by acclamation, 1996)
19. Member, Senate Committee on International Activities, 1996.
    

A8. International Service, Service to other Universities, to the Community  

1. As Jury Member in contests to fill academic positions, as external examiner, as external reviewer in cases of tenure and promotion, etc. (Edinborough, Auckland, Courant Institute, Beijing, Buenos Aires,France, Quebec,...)
2. As Grant Reviewer for NSERC, NSF (USA) and FCAC (Fonds F.C.A.C. pour l'aide et le soutien de la recherche).
3. Interviewed by the Knowledge Network re. gender issues in education, 1999.
4. Role Model at Science World's XX event for attracting girls into science, several times
5. Coordinator, Port Moody Chapter of CAGIS (Canadian Girls in Science), 1998-99.
6. Chaperone, CAGIS B.C. Science World Sleepover
7. SFU Representative with school counsellors, teachers and school board
8. Role model at Ms Infinity

A9. Professional Associations
 
1. Canadian Society for Computational Studies on Intelligence
2. American Association for Artificial Intelligence
3. Association for Computing Machinery
4. Association for Logic Programming
5. Society for Canadian Women in Science and Technology
6. Science for Peace (former Publications Director, former Board Member, B.C. Chapter)
7. Society for Text and Discourse