Veronica Dahl > CV

Curriculum Vitae - Verónica Dahl

Professor, School of Computing Science, Simon Fraser University
Associate Faculty in Bioinformatics and in Cognitive Sciences, Simon Fraser University

Director, Regenerative A.I.


Web: www.sfu.ca/people/veronica, Email: veronica at cs dot sfu dot ca

Summary

Keynote Speech at CodeMesh, London: AI for Social Responsibility: Embedding Principled Guidelines into AI Systems (2019). Best Paper Award at the Third International Work-Conference on the Interplay between Natural and Artificial Computation (2009). Advisory Board Member, International Federation for Computational Logic (since 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, several 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.

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

  • 2020- Director, Regenerative A.I.
  • 2017-20 Director, Curiessa Consulting Ltd.
  • 2018-19 Technical Advisor, Minerva Intelligence.
  • 2014-15 Visiting Professor, University of Ulm, Germany
  • 2013- Lifetime Professor Emeritus, Simon Fraser University
  • 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 University
  • 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, tango and West Coast Swing dancer. 

I. RESEARCH 

Academic Distinctions, Awards, Honours

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

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

20. Chair of Excellence Award from the European Commission, for my work on Constraint Solving and Language Processing for Bioinformatics (2008-2011).

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

14. Outstanding Achievement Award for research, teaching and administration, SFU 2002-07.

13. Director, FLoC, Inc. (Federated Logic Conferences): since 2004.

12. Chercheur Etranger, CNRS, LPL, Universite de Provence, France  (March to June 2003).

11. Coordinator of the SIG Computational Logic and Natural Language Processing (CL&NLP) (a joint initiative of Compulog Net EU/the Americas)1998-2001

10. Women Scholars Award, Queen's University, 1995.

9. Senior Industrial Fellowship Research Award, MPR Teltech Ltd., British Columbia (1994-1995).

8. Calouste Gulbenkian Award for Science and Technology, 1994.

7. Appointed Member of the Canadian National Sciences Research Council's Computing and Information Sciences Grant  Selection Committee, 1991-93.  

6. Two research awards with CWARC, 1988-90.

5. Record-setting research contract with IBM, 1983-86.

4. Awarded a scholarship from the German Government for research, 1980 (had to resign for personal reasons).

3. Winner of the Third Prize for Scientific Production in Engineering Sciences, for Hydric Resources Optimization  through  Graph Theory, Gran Buenos Aires Area, Argentina. 1978.

2. Research Award from the French Government (BNIST #291-767), 1976.

1. Awarded a scholarship from the French Government for post-graduate studies, 1974.

A curiosity: three literary awards.

R1. Scholarly Publications

1.  Summary of Contributions by Areas

Language-proficient Knowledge Bases and the World Wide Web

 We have cross-fertilized our computational linguistics expertise with knowledge based systems, yielding high level methodologies for endowing the internet with intelligent communication capabilities, e.g. multilingual access to virtual worlds over the internet [J20,J21]. Our prototype system, LogiMOO, accepts interactions in various languages, translates each to a controlled English based interlingua, and reacts in the language of origin. Underlying this system is a novel logic programming infrastructure for internet programming [J23,M10,M11]. We have also studied models for virtual world and database creation from controlled English [P30] as well as developed and implemented theories for human language guided learning of mathematical software [J24], and for virtual environments for long distance learning [P34,P35,S13].Through supervision with Manuel Zahariev, we’ve contributed to concept extraction from human language, through the automatic reconstruction of the meaning of acronyms in web texts (Gold Medal Award Winner [S15]).

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].

Properties as constraints—from parsing to cognitive modeling to grammar induction

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.

For grammar induction I have developed a grammatical “womb” technology- Womb Grammars [P74,P75,P77]- capable of mapping a known grammar into the grammar of a different language, given only a set of positive but representative input sentences of that language, plus its lexicon. Womb Grammars have been applied with my student Ife Adebara to the automatic generation of a Yoruba subset of noun phrases from a Womb Grammar system that used an English grammar as its source.

Incorporating non-classical reasoning into Prolog, HYPROLOG and CHRG

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

Notation: Monographs, Books or Book Chapters are noted [B.x], Journal Publications [J.x], Conference or Workshop Proceedings [P.x],  Edited Volumes or Chapters [E.x], Miscellaneous [M.x], and Contributions through Supervision [S.x]. 

[B.23] Christiansen, H. and Dahl, V. (2018). Natural language processing with (tabled and constraint) logic programming, pp. 477-511. 10.1145/3191315.3191325.

[B.22] Dahl, V. and Maharshak, E. (2011) Synalysis – a dual processing scheme for both human and biological languages. In: Bio-inspired Models for Natural and Formal Languages, Cambridge Scholars Publishing

[B.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)

[B.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.

[B.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)

[B.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.  

[B.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.

[B.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).

[B.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.

[B.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.

[B.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.

[B.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.

[B.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.

[B.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.

[B.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)

[B.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.

[B.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.

[B.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.

[B.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.

[B.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])

[B.3] H. Abramson and V. Dahl. Logic Grammars. Monograph, Symbolic Computation AI Series. Springer-Verlag, 1989.

[B.2] V. Dahl and P. Massicotte. Processing techniques for discontinuous grammars. In Meta-Programming for Logic Programming, pages 141-156. MIT Press, 1988.

[B.1] V. Dahl. Logic Programming for Constructive Expert Systems. Database Systems and Applications. Benjamin/Cummings, 1986.

Journals: Published or Accepted

[J.33] Dahl, V., Tessaris, S. and De Sousa Bispo, M. (2018) Parsing as Semantically Guided Constraint Solving: the Role of Ontologies. In: Annals of Mathematics and AI, vol. 82, issue 1-3,  pp. 161-185.

[J.32] Barahona P, *Bel-Enguix G, Dahl V, *Jimenez-Lopez MD, Kripahl L. (2014). Generation of Classification Trees from Variable Weighted Features. International Journal of Natural Computing. 13(2): 169-177.

[J.31] Barahona, P., Bel-Enguix, G., Dahl, V., JIMÉNEZ-LÓPEZ, M.D. & Krippahl, L. (2011), Classification Tree Generation Constrained with Variable Weights, Lecture Notes in Computer Science 6686: 274-283.

[J.30] Dahl, V., Gu, B.H., Maharshak, E. (2011) Modeling Concepts and Relations through Property Grammars. Ibidem.

[J.29] Dahl, V. and Garcia, A. J. (2010) Programacion Logica.  Triangle Journal, vol. 2, pp1-39.

[J 28] Dahl, V. (2010) An introduction to Natural Language Processing- the Main Problems.  Triangle Journal, vol. 1, pp. 65-78, ISSN 2013-939X.

[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.

Articles in Refereed Conference/Workshops Proceedings: Published or Accepted

[P.84] Adebara, I., Dahl, V. (2016) Grammar Induction as Automated Transformation between Constraint Solving Models of Language. KnowProS@IJCAI 2016

[P.83] Adebara, I., Dahl, V., Tessaris, S. (2015) Completing Mixed Language Grammars Through Womb Grammars Plus Ontologies. ICAART (1) 2015: 292-297

[P.82] Adebara, I., Dahl, V., Tessaris, S. (2015) Parsing with Partially Known Grammar. ICAART (Revised Selected Papers) 2015: 334-346

[P.81] Adebara, I., Dahl, V. (2015) Domes as a Prodigal Shape in Synthesis-Enhanced Parsers. SHAPES 2015: 23-33

[P.80] Adebara, I., Dahl, V. (2015) Shape Analysis as an Aid for Grammar Induction. SHAPES 2015: 55-57

[P.79] Dahl, V. (2018) The case for machine assisted, collective, representative decision-making, pp. 35-36. In: Gomez, e. (ed.) Proc. First Humaint Workshop, Barcelona, Spain, March 5-6 2018.

[P.78] Dahl, V. (2018) Summary of the Panel Discussion: "Algorithms' Impact on Human Behaviour", pp. 37-38. In: Gomez, e. (ed.) Proc. First Humaint Workshop, Barcelona, Spain, March 5-6 2018.

[P.77] Dahl, V., Miralles, J.E., and Becerra, L. (2012) The role of Universal Constraints in Language Acquisition. In: 7th International Workshop on Constraint Solving and Language Processing (CSLP’12) - Post Proceedings.

[P.76] Dahl, V., Coleman, B., Miralles, J.E., Maharshak, E. (2012) CHR for Social Responsibility. In: ICLP Technical Communications 2012, pp. 370-380.

[P.75] Miralles, J.E., Dahl, V. and Becerra, L. (2012) On Language Acquisition Through Womb Grammars. In: 7th International Workshop on Constraint Solving and Language Processing (CSLP’12).

[P.74] Dahl, V. and Miralles, J.E. (2012) Womb Grammars: Constraint Solving for Grammar Induction. In: 9th International Workshop on Constraint Handling Rules (CHR 2012), Budapest, Hungary, September 2012, KU Leuven, Department of Computer Science. Pp. 32-40, Tech Report CW 624.

[P.73] Dahl, V., Saghaei, S., Schulte, O. (2011) Parsing medical Text into De-identified Databases. In: Proc. BILC’11.

[P.72] Skvortsov, E., Kaviani, N. and Dahl, V. (2011) Chemical Signaling as a Useful Metaphor for Resource Management. In: Computing Languages with Bio-inspired Devices, Proc. IWANN 2011 (International Work Conference on Artificual Neural Networks).

[P.71] Dahl, V. (2010) Informing Datalog through Language Intelligence-a personal perspective. In: Gottlob, G. (ed.), Proc. Datalog-2 Conference, 2010.

[P.70] Dahl, V., Barahona, P., Bel-Enguix, G., and Kriphal L., (2010) Biological Concept Formation Grammars-A Flexible, Multiagent Linguistic Tool for Biological Processes. LAMAS 2010.

[P.69] Dahl, V., Cokierman, D., Bel-Enguix, G. and Jimenez-Lopez, M.D. (2010) Logic Programming: Teaching Strategies for Students with No Programming Background. In: Proc. WCCCE’10: Western Canadian Conference on Computing Education, Kelowna, B.C.

[P.68] 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.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.62] Christiansen, H. and Dahl, V. Abductive Logic Grammars. In: Proc. WoLLIC 2009.

[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. 4th 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)

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

[I.12] Dahl, V. (2004) A Word with the President, Logic Programming Newsletter, 17:1, Feb 2004.

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

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

[I.9] Dahl, V.   (2001) About ICLP+CP 2001. In: Logic Programming Newsletter, Nov. 2001. 

[I.8] 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.

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

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

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

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

[I.3] 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).

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

[I.1] 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

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

[E.2] Dahl V. and Wadler, P. (eds.) (2003) Practical Aspects of Declarative Languages. LNCS 2562, Springer-Verlag.

[E.1] 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

[M.10] 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.

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

[M.8] 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.

[M.7] 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.

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

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

[M.4] 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.

[M.3] 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.

[M.2] 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).

[M.1] 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. Contributions to publications through supervision

[S.28] Sharifi, A. (2009) A Domain Aware Grammar for Parsing Requirements into Typed FOL. Master’s thesis, SFU, Burnaby, BC, Canada.

[S.27] Gu, B. (2008) Recognizing Named Entities in Biomedical Text. PhD thesis, SFU.

[S.26] Voll, K. (2006) A Methodology of Error Detection: Improving Speech Recognition in Radiology. PhD thesis, SFU, Canada.

[S.25] Bavarian, M. (2006) Design and Analysis of Biological Sequences using Constraint Handling Rules. Master’s thesis, SFU, Canada.

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

[S.23] 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.

[S.22] 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.

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

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

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

[S.18] 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.

[S.17] 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).

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

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

[S.14] 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.

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

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

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

[S.10] 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.

[S.9] 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.

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

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

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

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

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

[S.3] 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.

[S.2] 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)

[S.1] Andrews, J. (2992) Towards Proof-Theoretic Characterizations of Constraint Logic Programming Systems. In: Proc. Workshop on Proofs and Types in Logic Programming, Washington, D.C. Nov. 2992.

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

7. Collaboration since February 2004 with Roskilde University and Universite de Provence under the CONTROL Research Project, funded by  the Danish National Science Research Council (four year project).

6. Collaboration since November 2002 with Dr. Philippe Blache, on extensions of Property Grammars.

5. Collaboration with Vancouver Software Labs as consultant, on Plagiarism Detection.

4. Collaboration since April 2002 with my visitor Dr. Henning Christiansen, on CHR grammars.

3. Collaboration since 2000 with Agriculture et Agri-Food Canada: Automatic Discovery of Signature Oligos from large DNA Sequencing Alignments. Under contract from the Canadian Biotechnology Strategic Fund. Collaborators: Dr André Lévesque, Alma Barranco-Mendoza and Manuel Zahariev.

2. Collaboration with Institut Canadien de Technologie Linguistique, 1997, which resulted in the multilingually consultable LogiMOO system. Collaborators : Paul Tarau, Koen De Boschere, Marius Scurtescu, Stephen Rochefort.

1. Collaboration with MPR Teltech (Micro Pacific Research), in an English to French translation project, 1994. (Collaborator : Osmar Zaiane).

R4. Software Development and Technology Transfer

Almost all my publications rely on implemented software as proof of concept. Moreover, some of it has had commercial applications. For instance, my research on incomplete types resulted, with my PhD student Andrew Fall, in software for efficiently treating taxonomies which is used at present in Canada in the forestry industry, in medical domains, etc.  Dr. Fall created his own (very successful) company around these results. The influence of my 2002 (unpublished) work with Maite Taboada and Manuel Zahariev on Plagiarism Detection software for Vancouver Software Labs is evidenced by its being used at about 20 post-secondary institutions across Canada. My recent research on plant pathogen detection is used daily by Agriculture and AgriFood Canada, and led to my own company of intelligent software for molecular biology applications. My work on Logic Grammars was extensively used in laboratories around the world for discovering the human genome.

R5.  Editorial Activities

6. Area Editor, Journal of Logic Programming (in the two areas: Applications, and Natural and Formal Languages), 1991 to 2005.

5. Associate Editor, Computational Intelligence, 1985 to present.

4. Editorial Board Member, International Journal of Expert Systems: Research and Applications, 1987 to present.

3. Editorial Board Member, Conceptual Systems Journal, July 1996 to present.

2. Editorial Board Member: Theory and Practice of Logic Programming (until Dec. 31 2010)

1. Guest Editor, Special Issue: Constraint Reasoning for Expert Systems, International Journal of Expert Systems, 1992.

R6. Keynote Speeches

Informatica Regenerativa: apuntar al bienestar humano y ecológico. Inaugural Keynote Speech, 50 JAIIO, Oct 18, 2021.

Hacia una Inteligencia Artificial Regenerativa y Redistributiva. Keynote Speech, Innosoft Days, Nov 27, 2020.

AI for Social Responsibility: Embedding Principled Guidelines into AI Systems. Keynote Address, CodeMesh, London, Nov 8, 2019.

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

A day in the life of a Proof, ICLP'02, Copenhagen.

R8. Sample Invited Talks  

22. EDI Symposium 222: Convergence of Science, Technology, and Social Activism: A Path Towards the Inclusion of Minority Language Speakers. 13th Canadian Science Policy Conference, November 2021.

21. Doughnut Computing: Aiming at Human and Ecological Well-​Being. 6th International Conference on the History and Philosophy of Computing, October 2021.

20. Towards Language-Competent Web Search. 13th International Conference of the Catalan Association for Artificial Intelligence, October 2010.

19. Long Distance Dependencies through CHR. Invited Talk, First International Workshop on Constraint Satisfaction and Language Processing, Copenhagen, 2004.

18. The heart's many languages: bridging the formal/humanistic sciences gap. Invited Talk, ASAI'04, Cordoba,  2004.

17. Computational Linguistics and Molecular Biology. Invited Talk, Roskilde University, Copenhagen,  2004.

16. Coordination en Langue Naturelle- une approche predictive. InvitedTalk, Universite d'Aix-Marseille II, France, 2003.

15. Parsing GPs in one clause (my scientific One Note Samba).  Invited Talk, Universite de Provence, France, 2003.

14. Logique, Linguistique et Traitement Automatique.  Invited Talk, Universite de Provence, France, 2003.

13. Understanding Implicit Language Structures. Invited address, EPIA'03, Beija, Portugal.

12. A day in the life of a proof. Banquet Speech, ICLP02, Copenhagen.

11. 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).

9. Translating NL world descriptions into data bases. COMPULOG workshop, Rome, 1999.

8. The logic of language. Invited talk to the meeting The Logic Programming Paradigm: Current Trends and Future  Directions, Shakertown, Kentucky, April 1998

7. What logics are natural for natural language? Invited talk at Joint Declarative Programming Conference AGP98, La Coruna, Spain, 1998.

6. Code Migration with First Order Continuations.Joint Declarative Programming Conference AGP98, La Coruna, Spain, 1998.

5. Extending Datalog Grammars. Invited talk to mark my winning the Women's Scholar Award at Queen's    University, June 1995.

4. Understanding and Translating Language- Challenges of the 90's. Invited talk to mark my Calouste Gulbenkian Award,  Lisbon, Nov. 1994

3. Datalog Grammars. Invited talk at INRIA, Domaine du Voluceau, France, 1994.

2. AI systems for NL processing. BCIT Workshop, Vancouver, 1993.

1. What Linguistics can contribute to AI, Invited talk at the Canadian Artificial Intelligence Conference,  Vancouver, 1992.

R9. Conference Responsibilities

Tutorial Program Speaker

2. 1997 International Logic Programming Symposium: Logic Programming and Natural Language. Port Jefferson,   NY.

1. 1987 IV International Logic Programming Conference, Melbourne, Australia.

Conference Chair

7. Co-Chair (with Paul Fodor), Mentoring Workshop on Logic Programming, ICLP 2021

6. Programme Co-Chair (with Ilkka Niemela), ICLP'07 (International Conference on Logic Programming), 2007.

5. Programme Co-Chair (with Phil Wadler), PADL'03 (Practical Aspects of Declarative Programming), 2003.

4. Programme Chair, CL2000 Stream: Logic Programming Implementations and Applications.  International Conference on Computational Logic, London, 2000.

3. Conference Chair, KRUSE'97 (International Conference on Knowledge Retrieval, Use, and Storage for Efficiency;   Vancouver, 1997.

2. Conference Chair, International Logic Programming Symposium, Vancouver, 1993.
1. Programme Chair, First International Workshop on Natural Language Understanding and Logic  Programming, Rennes, 1984.

Local Chair

IJCAI 2001, Seattle:  Local Arrangements Chair for Vancouver.

Session Organizer and Chair

Panel Sessions

5. 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

4. Logic Programming- Reality vs. Utopia. Summer School, Faculty of Philosophy, University of Santiago de Compostela, 1993

3. An Interdisciplinary View of Constraint Reasoning, Canadian Artificial Intelligence Conference 1992, Vancouver

2. Distributed and Internet Programming with Logic and Constraint Languages, Workshop, ICLP99

1. Logic Programming Formalisms for NL Processing. LP Workshop, El Faro, Portugal, 1983

Sample Program Committee Memberships

36. IBERAMIA/SBIA 2006 (Riberao Preto, Brazil)

35. CSLP'06  (COLING-ACL Workshop, Sydney, Australia).

34. LACL'05 (Logical Aspects of Computational Linguistics). 

33. ICLP'05 (International Conference on Logic Programming, Sitges, Spain).

32. ICLP'04 (International Conference on Logic Programming), Saint-Malo, France, 2004.

31. PADL '04 (Practical Applications of Declarative Languages)

30. PACLING 2003 (Pacific Association for Computational Linguistics)

29. JFPLC 2003 (Journées francophones de programmation en logique et programmation par contraintes)

28. (also co-founder) International Workshop on Natural Language Understanding and Logic Programming, 1995, 2002      (NLULP)

27. ICLP 2002, Denmark, July 2002.

26. ICLP 2001, Cyprus, December 2001.

25. CogSci2000, the 22nd annual meeting of the Cognitive Science Society, 2000.

24. Fourth Symposium on Natural Language Processing 2000, May 2000,Thailand.

23. TAPD'00 (Tabulation in Parsing and Deduction), 2000.

22. PACLING99 (Pacific Rim Computational Linguistics Conference), 1999.

21. ICLP99 (International Conference on Logic Programming), 1999.

20. International Workshop on Distributed and Internet Programming with Logic and Constraint Languages (in         conjunction with ICLP99)

19. Joint International Conference and Symposium on Logic Programming, 1998.

18. Iberoamerican Conference on Artificial Intelligence, 1998 (IBERAMIA '98)

17. International Conference on Natural Language Processing and Industrial Applications NLP+IA 98. New    Brunswick, August  1998.

16. Second International Workshop on Logic Programming Tools for Internet Applications, Belgium, July 1997

15. International Conference on Natural Language and Industrial Applications (NLP-IA'96), New Brunswick, Canada, 1996

14. International Conference on Logic Programming and natural Language Processing, Lisbon, August 1996

13. 1995 Joint Conference on Declarative Programming, Sept. 11-14, 1995

12. KRUSE'95, California, August 1995

11. GULP-PRODE 1995

10. ICLP  1994 (International Conference on Logic Programming)

9. International Conference on Computing and Information, 1994

8. Canadian AI Conference, Vancouver, 1994

7. ICCI 1994

6. International Symposium on Logic Programming 1993

5. First International Conference on Conceptual Structures, Quebec, 1993

4. Fourth International Workshop on Natural Language Understanding and Logic Programming, Tokyo, 1993.

3. FLAIRS 93/94

2. International IEEE Conference on Distributed Systems, 1992.

1. IX Biennial Conference, Canadian Society for Computational Studies in Intelligence, 1992.

R10. International Project Coordination:

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

R11. Research Funding

15. Danish National Science Research Council: 91,000$/year, 2004-2007 (with Roskilde Univ. and Univ. de Provence, see (see http://control.ruc.dk)

14. NSERC 5 year Research Grant: currently 33,600$/year, prev. 28,000/y

13. NSERC Equipment Grant: 20,819$

12. Canadian Biotechnology Strategy Fund: 15,000$

11. NSERC Two-year Infrastructure for the Logic Programming Lab: 20,000$ annually, 1992-94

10. CSS Matching Award to the above, 6,666$

9. PRG Matching Award to the Above, 7,100$

8. NSERC Conference Grant, 4,000$, 1993

7. SFU PRG Conference Grant, 4,000$, 1993

6. ASI of BC Conference Grant, 6,000$, 1993.

5. Microtel Pacific Research Conference Grant, 1,500$, 1993

4. AAAI Conference Grant, $6,250, 1993

3. PRG Grant for chairing ILSP93, 5,000$

2. NSERC Equipment Award, 11,544$, 1992

1. Elsevier's Area Editor's Publishing grant, 1,000$ annually

R12. Further Evidence of International Impact

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

T1. Awards

3. Chair of Excellence Award from the European Commission 2008-2011, for my work on Constraint Solving and Language Processing for Bioinformatics.

2. Outstanding Achievement Award for research, teaching and administration, SFU 2002-07.

1. Innovative Teaching Program Award (with Drs. Han and Tarau, 1996/7: 50,000$ from the MSTL Innovations Fund)

T2. (2003) Panelist

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.

30. Gustavo Lado, Emerging Leaders in the Americas Program (2015)

29. Mariano De Souza Bispo, Emerging Leaders in the Americas Program (2015)

28. Amin Sharifi, Master's (2009) A domain aware grammar for parsing requirements into typed FOL

27. Dulce Aguilar-Solis, PhD (2009) Grammar Induction through Logic Grammar

26. Baohua Gu, PhD-Co (2008) Biomedical Named Entity Recognition

25. Kimberly Voll, Ph. D. (2006)   Automatic Interpretation of Radiological Reports

24. 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

23. Manuel Zahariev***, PhD., 2004 Automatic Expansion of  Acronyms

22. Naureeen Sikder (undergrad, 2004) Treating Coordination through Constraint Handling Rules

21. Jiang Ye, Master's   A review of AI Techniques applied to Protein Structure Prediction

20. Maryam Bavarian (2006) Master's  Design and Analysis of Biological Sequences using Constraint Handling Rules

19. Michael Cheng (undergrad,  2002) Robotics using Logic Grammars

18. Stephen Rochefort, PhD, 2000    LP Applications in Educational Environments

17. Marius Scurtescu, M.Sci, 2000    Java Program Representation and Manipulation in Prolog

16. Andrew Fall**, Ph.D, 1996    Reasoning with Taxonomies

15. Eli Hagen, M. Sci., 1993     A Flexible American Sign Language Interface to Deductive Databases.

14. Craig Larman, M.Sci.-Co, 1992    Learning from Knowledge Systems

13. Osmar Zaiane, 1997   Concept Extraction and Resource Discovery through NL

12. Joao Balsa, M. Sci.- Co, 1995   Datalog grammars for abductive syntactic error repair

11. Greg Sidebottom* ,1994     CLP(B) Implementation (see [S15] under R2); Automatic  Configuration through Constraint Reasoning

10. Jorg Ueberla, M.Sci., 1994    Automatic Configuration through Constraint Reasoning

9. Renwei Li, PDF, 96-98  Refining Action theories with Abductive LP ; Assumption Grammars through Language Processing

8. Jamie Andrews, PDF,1994     Foundational Issues in Implementing CLP Languages

7. Yan-Nong Huang, PDF, 1995    Fact and Rule Updates in Logic Databases;  Datalog Grammars.

6. Jo Calder, PDF-Co, 93    Graphical Interaction with Constraint-Based Grammars

5. Andrea Schiel (undergrad-Co,1997) Generating Internet Based VRML Animations from NL.

4. Charles Brown, Ph.D, 1987        Generating Spanish Clitics with CDGs

3. Massam, D.,  PDF, 1985    Implementing Government-Binding Theory

2. Pierre Massicotte, M. Sci., 1985   Generating Conceptual Graphs from Functional  Structures

1. 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:

4. CMPT 880 (Logic in Computing Sciences)- new Area II course, first offering: Summer 2006.

3. CMPT 725 (Logical Methods in Computational Intelligence)- first offering: Spring 2006.

2. CMPT 817 (Natural and Visual Interfaces to Deductive Databases), first offered in 2000.

1. 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.

As an area representative in the Cognitive Science Program Steering Committee since its inception, as a member of its Coordinating Committee, and as Chair of the Program, I have been heavily involved in developing this program.

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 enthusiastic 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 disappoint."

"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. 

III. ADMINISTRATION, SERVICE

A1. Awards, Honours

2. Outstanding Achievement Award for research, teaching and administration, SFU 2002-07.
1. Distinguished Service Award, Canadian Association for Girls in Science (CAGIS), 1999.

A2. Service Related Publications (unrefereed)

[U.11] Dahl, V. The Prez is Off the Hook! Long Live the Prez! Logic Programming Newsletter, vol. 18, No.1, February 2005.

[U.10] Dahl, V. (2005) The Early Days of Logic Programming: A Personal Perspective, ALP Newsletter Series: Historical and Personal Perspectives on LP, vol. 19, No. 2, May 2006.

[U.9] Dahl, V. (2005) A Message from the former ALP President, ALP Newsletter, vol. 18, No. 1, February 2005.

[U.8] Dahl, V. (2005) A day in the life of a proof (alternative lyrics for Antonio Carlos Jobim's song "Black Orpheus"). ALP Newsletter, vol. 18, No. 1, February 2005. (not serious enough to be counted :-) )

[U.7] Dahl, V. (2005) Alternative lyrics for Donald's song "Las Olas y el Viento", sung at the Departmental Christmas party (same comment :-))

[U.6] Dahl, V. (2001) A word with the President. Logic Programming Newsletter, vol. 14, numbers 2/3, May/Aug 2001.

[U.5] Dahl, V. (1998) The best kept LP secret- Latin Percussion.  Logic Programming Newsletter, Volume 11/2, May 1998 , p. 20.

[U.4] 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.

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

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

[U.1] 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   

9. Board Member, Science for Peace, 2021-2023

8. Killam Selection Committee Member: 2007 to 2010

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

6. Area Coordinator (Natural Language Processing) Compulog Americas

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

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

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

2. Reviewer for NSERC's Strategic Grant Program, 1994

1. Board Member, Science for Peace, 1995-97. 

A6. SFU Governance  

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

11. Strategic Research Committee Member, Comp. Sci. School

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

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

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

7. Chair of the Admissions Committee in the School of Computing Sciences

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

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

4. Senate Member

3. SFUFA Director

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

1. Departmental Contact Person for Academic Women, SFU (all ten years)

A7. Committee Memberships at SFU

19. Steering Committee for the Cognitive Sciences Program

18. Graduate Studies Committee, Comp. Sci. School

17. Hiring and Retention, Comp. Sci. School

16. Graduate Student Recruitment, Comp. Sci. School

15. SFUFATeaching Issues and Growth Committee

14. Associate VP Academic Search Committee (university level)

13. Curriculum Standardization,  Comp. Sci. School

12. Guest Member at the Women's Studies DTC

11. Canadian Research Chairs Planning Committee, Comp. Sci. School

10. Associate Dean of Grad Studies Search Committee

9. Member, Gender Issues Committee, Comp. Sci. School

8. SFUFA Salary Advisory Committee.

7. Tenure and Promotion Committee, Comp. Sci. School.

6. Faculty Search Committee, Comp. Sci. School.

5. Public Relations Committee, Comp. Sci. School.

4. Faculty of Applied Sciences Women (Dec. 92 onwards, contributions to documents such as the Strategic Directions document, and other issues, from the perspective of the faculty's female minority). 

3. Member, Senate Graduate Awards Adjudication Committee (1996-98)

2. Member, International Undergraduate Student Exchange Committee (elected by acclamation, 1996)

1. Member, Senate Committee on International Activities, 1996.

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

8. 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,...)

7. As Grant Reviewer for NSERC, NSF (USA) and FCAC (Fonds F.C.A.C. pour l'aide et le soutien de la recherche).

6. Interviewed by the Knowledge Network re. gender issues in education, 1999.

5. Role Model at Science World's XX event for attracting girls into science, several times

4. Coordinator, Port Moody Chapter of CAGIS (Canadian Girls in Science), 1998-99.

3. Chaperone, CAGIS B.C. Science World Sleepover

2. SFU Representative with school counsellors, teachers and school board

1. Role model at Ms Infinity

A9. Professional Associations

7. Canadian Society for Computational Studies on Intelligence

6. American Association for Artificial Intelligence

5. Association for Computing Machinery

4. Association for Logic Programming

3. Society for Canadian Women in Science and Technology

2. Science for Peace (former Publications Director, former Board Member, B.C. Chapter)

1. Society for Text and Discourse