Eating Your Own Dog Food
|
|
|
- Anis Casey
- 5 years ago
- Views:
Transcription
1 Eating Your Own Dog Food Andreas Abel 1 1 Department of Computer Science and Engineering Chalmers and Gothenburg University, Sweden 25th Agda Implementor s Meeting (AIM XXI) Teknikparken, Chalmers, Gothenburg, Sweden 9 May 2017 Abel (GU) Own Dog Food AIM XXV 1 / 20
2 Statistics Agda: Inside View 3 main developers (part-time) 1 packaging, integration, and release engineer (part-time) a dozen contributers (sporadically active) a long tail of single-patch submitters loc (3.9MB) [2015: loc; 2014: loc] 2461 issues on the bug tracker (404 open) [2015: 1528 (249); 2014: 1076 (165)] bugs/year bugs/year bugs/year >400 bugs/year Abel (GU) Own Dog Food AIM XXV 2 / 20
3 Statistics Agda: code by components Component loc ( 17) loc ( 15) loc ( 14) Utility functions Syntax (parse print scope) Type checker (eval. cov. pos.) Termination checker Interaction (imp. highl. LaTeX) Agsy Compiler total Abel (GU) Own Dog Food AIM XXV 3 / 20
4 Statistics Abel (GU) Own Dog Food AIM XXV 4 / 20
5 Statistics Abel (GU) Own Dog Food AIM XXV 5 / 20
6 Statistics Abel (GU) Own Dog Food AIM XXV 6 / 20
7 Statistics Abel (GU) Own Dog Food AIM XXV 7 / 20
8 Statistics Abel (GU) Own Dog Food AIM XXV 8 / 20
9 Statistics Abel (GU) Own Dog Food AIM XXV 9 / 20
10 Looking at our development process Eating Our Own Dog Food We are developing a language for verification. Shouldn t we eat our own dog food? Develop Agda in Agda? Certainly a grand challenge. Abel (GU) Own Dog Food AIM XXV 10 / 20
11 Looking at our development process Agda in Agda is out of reach, for a while We do not even have rigorous pen or paper proofs for our theory. We do not even have a theory. Most of the theoretical work focuses on the semantics. Semantics of small fragments of the language. Formalization of decidability Π + Set 0 + N: half a year of dedicated Agda grinding (Joakim hman). No advanced technology formalized: unification, pattern matching, termination... Abel (GU) Own Dog Food AIM XXV 11 / 20
12 Looking at our development process Santa Claus Let s get millions of EUR from the EU! Abel (GU) Own Dog Food AIM XXV 12 / 20
13 Looking at our development process Can we at least apply some dependent types to implement dependent types? Well-scoped syntax via Haskell GADTs. Could take care of de Bruijn index bugs. How does this scale to pattern matching, unification, with-abstraction? Type-checking monad needs to be indexed by the context length. First try this on a prototype! An advanced master thesis? Abel (GU) Own Dog Food AIM XXV 13 / 20
14 Looking at our development process Prior to Formal Methods Agda is a programming language, so it should have a SPECIFICATION Write an informal specification! Flesh it out with test cases. We will have plenty of deviations from the specification. We can have testcases that should work but do not yet. We can gradually approach correctness. Abel (GU) Own Dog Food AIM XXV 14 / 20
15 Looking at our development process Code quality: documentation Module documentation. Algorithm explanation by example. Documentation of our data structures. Pre- and postconditions of functions. 100% haddock coverage. Can only be reached by code reviewing requesting documentation. Abel (GU) Own Dog Food AIM XXV 15 / 20
16 Looking at our development process Code quality: structure Break long procedures into several components! Write out the properties of the components. We have legacy spaghetti code with impenetrable control flow: Interaction.Imports Genesis: patches-over-patches Counterculture: refactorings, data structure evolution! We have monolithic state (TCState): pre-oo imperative programming. Gegenentwurf: modular monadic programming. Abel (GU) Own Dog Food AIM XXV 16 / 20
17 What happened to the 2015 wish list? Long on the Wish List (2015) User manual Packaging Type classes (WIP) Universe cumulativity Reflection/tactics (WIP) Efficient type-checking Usable compiler (WIP) Abel (GU) Own Dog Food AIM XXV 17 / 20
18 What happened to the 2015 wish list? Core Language / Internal Syntax (2015) Sharing Independent checking Termination certificates Shared optimizations/transformations used by compiler backends Abel (GU) Own Dog Food AIM XXV 18 / 20
19 What happened to the 2015 wish list? Research topics (2015) Equality (HoTT, OTT) Parametricity/colors Sized dependent types Proof/instance search and unification Foundation for hidden/named arguments Telescopes/Σ-types at framework level Printing Abel (GU) Own Dog Food AIM XXV 19 / 20
20 What happened to the 2015 wish list? Action items for us Install a coding code of conduct (à la style guide). Install mandatory code reviews. Framework for test-backed specification. Stabilize core features of Agda. Abel (GU) Own Dog Food AIM XXV 20 / 20
Applicability of Earn Value Management in Sri Lankan Construction Projects
Applicability of Earn Value Management in Sri Lankan Construction Projects W.M.T Nimashanie 1 and A.A.D.A.J Perera 2 1 National Water Supply and Drainage Board Regional Support Centre (W-S) Mount Lavinia
EUROPEAN COMMISSION DIRECTORATE-GENERAL FOR HEALTH AND FOOD SAFETY
Ref. Ares(2016)105284-08/01/2016 EUROPEAN COMMISSION DIRECTORATE-GENERAL FOR HEALTH AND FOOD SAFETY Directorate F - Food and Veterinary Office DG(SANTE) 2015-7426 - MR FINAL REPORT OF AN AUDIT CARRIED
and suitability aspects of food control. CAC and the OIE have Food safety is an issue of increasing concern world wide and
forum Cooperation between the Codex Alimentarius Commission and the OIE on food safety throughout the food chain Information Document prepared by the OIE Working Group on Animal Production Food Safety
Component Specification NFQ Level 5. Sheep Husbandry 5N Component Details. Sheep Husbandry. Level 5. Credit Value 10
Component Specification NFQ Level 5 Sheep Husbandry 5N20385 1. Component Details Title Teideal as Gaeilge Award Type Code Sheep Husbandry Riar Caorach Minor 5N20385 Level 5 Credit Value 10 Purpose Learning
Development and improvement of diagnostics to improve use of antibiotics and alternatives to antibiotics
Priority Topic B Diagnostics Development and improvement of diagnostics to improve use of antibiotics and alternatives to antibiotics The overarching goal of this priority topic is to stimulate the design,
Dynamic Programming for Linear Time Incremental Parsing
Dynamic Programming for Linear Time ncremental Parsing Liang Huang nformation Sciences nstitute University of Southern California Kenji Sagae nstitute for Creative Technologies University of Southern California
OIE SUB-REGIONAL TRAINING SEMINAR ON VETERINARY LEGISLATION FOR OIE FOCAL POINTS
OIE SUB-REGIONAL TRAINING SEMINAR ON VETERINARY LEGISLATION FOR OIE FOCAL POINTS The OIE Terrestrial Animal Health Code, Quality of Vterinary Services, PVS Pathway and Global Veterinary Legislation Initiative
Effective Vaccine Management Initiative
Effective Vaccine Management Initiative Background Version v1.7 Sep.2010 Effective Vaccine Management Initiative EVM setting a standard for the vaccine supply chain Contents 1. Background...3 2. VMA and
AMR situation in Europe: Strategy and vision
AMR situation in Europe: Strategy and vision Koen Van Dyck Head of Unit Bilateral International Relations Head Taskforce on AMR DG Health & Food Safety European Commission According to data from 2011,
NATURA CAGE-FREE. Modern aviary system for barn and free range egg production
NATURA CAGE-FREE Modern aviary system for barn and free range egg production NATURA aviary systems for layers: Flexible, efficient, user and bird friendly NATURA a well-established and proven system, which
EVM Practice & Future Trend
A Global and Cross-Industry Perspective on EVM Practice & Future Trend Lingguang Song, Ph.D Construction Management University of Houston Outline 1. Introduction Motivation & objectives Methodology & definitions
BSc Biological Sciences (Animal Behaviour, Welfare and Ethics) degree programme Information Sheet
BSc Biological Sciences (Animal Behaviour, Welfare and Ethics) degree programme Information Sheet 2017-18 Duration of the Degree The BSc Biological Sciences (Animal Behaviour, Welfare and Ethics) degree
Drive More Efficient Clinical Action by Streamlining the Interpretation of Test Results
White Paper: Templated Report Comments Drive More Efficient Clinical Action by Streamlining the Interpretation of Test Results Background The availability of rapid, multiplexed technologies for the comprehensive
ICAO Public Key Directory (PKD)
1 ICAO Public Key Directory (PKD) Christiane DerMarkar ICAO Programme Officer - PKD ICAO TRIP: Making Air Travel more Secure and Efficient TOWARD BETTER TRAVELLER IDENTIFICATION MANAGEMENT FOR ENHANCED
Nathan A. Thompson, Ph.D. Adjunct Faculty, University of Cincinnati Vice President, Assessment Systems Corporation
An Introduction to Computerized Adaptive Testing Nathan A. Thompson, Ph.D. Adjunct Faculty, University of Cincinnati Vice President, Assessment Systems Corporation Welcome! CAT: tests that adapt to each
BY CAROLE RICH WRITING AND REPORTING NEWS: A COACHING METHOD (8TH EIGHTH EDITION) [PAPERBACK] FROM CENGAGE LEARNING
![BY CAROLE RICH WRITING AND REPORTING NEWS: A COACHING METHOD (8TH EIGHTH EDITION) [PAPERBACK] FROM CENGAGE LEARNING](/thumbs/93/114139927.jpg "BY CAROLE RICH WRITING AND REPORTING NEWS: A COACHING METHOD (8TH EIGHTH EDITION) [PAPERBACK] FROM CENGAGE LEARNING")
Read Online and Download Ebook BY CAROLE RICH WRITING AND REPORTING NEWS: A COACHING METHOD (8TH EIGHTH EDITION) [PAPERBACK] FROM CENGAGE LEARNING DOWNLOAD EBOOK : BY CAROLE RICH WRITING AND REPORTING
10015NAT Graduate Diploma Veterinary Acupuncture
10015NAT Graduate Diploma Veterinary Acupuncture Nationally accredited under the Australian Qualifications Framework at postgraduate level. WHO IS IT FOR? The 10015NAT Graduate Diploma Veterinary Acupuncture
U N D E R S TA N D I N G O U R C A N I N E C O M PA N I O N S ( ADVANCED DIPLOMA ) DISTANCE LEARNING
TRAIN WITH KINDNESS U N D E R S TA N D I N G O U R C A N I N E C O M PA N I O N S ( ADVANCED DIPLOMA ) DISTANCE LEARNING 2 king of paws: dog training academy Welcome to King of Paws King of Paws: Dog Training
Chapter 6: Extending Theory
L322 Syntax Chapter 6: Extending Theory Linguistics 322 1. Determiner Phrase A. C. talks about the hypothesis that all non-heads must be phrases. I agree with him here. B. I have already introduced D (and
IMPLEMENTATION GUIDELINES FOR ANSI ASC X12 EDI CONVENTIONS MOPAR DISTRIBUTOR PURCHASE ORDER ACKNOWLEDGMENT (855) TRANSACTION SET
IMPLEMENTATION GUIDELINES FOR ANSI ASC X12 EDI CONVENTIONS MOPAR DISTRIBUTOR PURCHASE ORDER ACKNOWLEDGMENT (855) TRANSACTION SET FCA US INFORMATION & COMMUNICATION TECHNOLOGY MANAGEMENT ANSI ASC X12 VERSION/RELEASE
King Fahd University of Petroleum & Minerals College of Industrial Management
King Fahd University of Petroleum & Minerals College of Industrial Management CIM COOP PROGRAM POLICIES AND DELIVERABLES The CIM Cooperative Program (COOP) period is an essential and critical part of your
Recurrent neural network grammars. Slide credits: Chris Dyer, Adhiguna Kuncoro
Recurrent neural network grammars Slide credits: Chris Dyer, Adhiguna Kuncoro Widespread phenomenon: Polarity items can only appear in certain contexts Example: anybody is a polarity item that tends to
Veterinary Medicine Master s Degree Day-One Skills
Veterinary Medicine Master s Degree Day-One Skills Professional general attributes and capacities The newly-graduated veterinarian must: 1- Know the national and European ethic and professional regulations
Investing in Human Resources in Veterinary Services
Investing in Human Resources in Veterinary Services 9 th Conference of Ministers responsible for Animal Resources in Africa Meeting of Experts Abidjan, Côte d Ivoire, 16-17 April 2013 Dr. Etienne Bonbon
Promoting One Health : the international perspective OIE
Promoting One Health : the international perspective OIE Integrating Animal Health & Public Health: Antimicrobial Resistance SADC SPS Training Workshop (Animal Health) 29-31 January 2014 Gaborone, Botwana
STANDARD SUMMARY PROJECT FICHE Project Number 2002/
STANDARD SUMMARY PROJECT FICHE Project Number 2002/000-180-01-05 1 Basic Information 1.1 Désirée Number: Twinning Number: 2002/000-180-01-05 HU02/IB/AG-01-TL 1.2 Title: Sheep and Goat Identification and
European Regional Verification Commission for Measles and Rubella Elimination (RVC) TERMS OF REFERENCE. 6 December 2011
European Regional Verification Commission for Measles and Rubella Elimination (RVC) TERMS OF REFERENCE 6 December 2011 Address requests about publications of the WHO Regional Office for Europe to: Publications
Moving toward formalisation COMP62342
Moving toward formalisation COMP62342 Sean Bechhofer sean.bechhofer@manchester.ac.uk Uli Sattler uli.sattler@manchester.ac.uk (thanks to Bijan Parsia for slides) Previously... We started the knowledge
ICAO PUBLIC KEY DIRECTORY (PKD)
ICAO PUBLIC KEY DIRECTORY (PKD) Christiane DerMarkar ICAO PKD Officer 09/07/2018 ICAO PKD: one of the 3 interrelated pillars of Facilitation Annex 9 ICAO TRIP Strategy ICAO PKD Chapter 3:main SARPs related
UNIT Animal Care: An Introduction to Dog Grooming (SCQF level 5)
National Unit Specification: general information CODE F6SX 11 SUMMARY The Unit is suitable for candidates who are interested in the care and grooming of dogs. It provides candidates with the knowledge
TREAT Steward. Antimicrobial Stewardship software with personalized decision support
TREAT Steward TM Antimicrobial Stewardship software with personalized decision support ANTIMICROBIAL STEWARDSHIP - Interdisciplinary actions to improve patient care Quality Assurance The aim of antimicrobial
MSc in Veterinary Education
MSc in Veterinary Education The LIVE Centre is a globally unique powerhouse for research and development in veterinary education. As its name suggests, its vision is a fundamental transformation of the
PRODUCT FAMILY DATASHEET LED SUPERSTAR CLASSIC B DIM
LED SUPERSTAR CLASSIC B DIM Dimmable LED lamps, classic mini-candle shape AREAS OF APPLICATION General illumination Domestic applications Chandeliers Outdoor applications only in suitable luminaires PRODUCT
Our training program... 4
1 Introduction Agility truly is the ultimate dog sport! It combines speed and precision, teamwork and independence, dog training skills and handler finesse in a wonderfully complex mix. Agility has the
Lab 6: Energizer Turtles
Lab 6: Energizer Turtles Screen capture showing the required components: 4 Sliders (as shown) 2 Buttons (as shown) 4 Monitors (as shown) min-pxcor = -50, max-pxcor = 50, min-pycor = -50, max-pycor = 50
SYTLE FORMAL : The Online Dog Trainer In-Depth Review
***IMPORTANT DISCLAIMER*** Please DO NOT copy and paste directly to your site without changing the review considerably (Google WILL penalize duplicate content) ***END DISCLAIMER*** SYTLE FORMAL : The Online
Animal Welfare in the Uruguayan Veterinary Profession Field
Journal of Agricultural Science and Technology A 7 (2017) 357-362 doi: 10.17265/2161-6256/2017.05.008 D DAVID PUBLISHING Animal Welfare in the Uruguayan Veterinary Profession Field Malvina María Prieto
Judges Competency Framework Overview
Judges Competency Framework Overview In the spring of 2017 the Kennel Club announced a new system for the education, approval and listing of every level of judge, from those who aspire to judge, right
November Final Report. Communications Comparison. With Florida Climate Institute. Written by Nicole Lytwyn PIE2012/13-04B
November 2012 Final Report Communications Comparison With Florida Climate Institute Written by Nicole Lytwyn Center for Public Issues Education IN AGRICULTURE AND NATURAL RESOURCES PIE2012/13-04B Contents
IMPLEMENTATION GUIDELINES FOR ANSI ASC X12 EDI CONVENTIONS MAJOR DAMAGE TRACKING PAYMENT ORDER/REMITTANCE ADVICE (820) TRANSACTION SET
IMPLEMENTATION GUIDELINES FOR ANSI ASC X12 EDI CONVENTIONS MAJOR DAMAGE TRACKING PAYMENT ORDER/REMITTANCE ADVICE (820) TRANSACTION SET FCA US INFORMATION & COMMUNICATION TECHNOLOGY MANAGEMENT ANSI ASC
Overview of the OIE PVS Pathway
Overview of the OIE PVS Pathway Regional Seminar for OIE National Focal Points for Animal Production Food Safety Hanoi, Vietnam, 24-26 June 2014 Dr Agnes Poirier OIE Sub-Regional Representation for South-East
Lessons learned from implementing EVM on a large scale IT portfolio at the Department of State
Lessons learned from implementing EVM on a large scale IT portfolio at the Department of State D a n n y Toler, Director E n t e r p r i s e N e t w o r k Management ( I R M / O P S / E N M ) U n i t e
3. records of distribution for proteins and feeds are being kept to facilitate tracing throughout the animal feed and animal production chain.
CANADA S FEED BAN The purpose of this paper is to explain the history and operation of Canada s feed ban and to put it into a broader North American context. Canada and the United States share the same
Industrial Batteries Network Power Marathon M FT AGM Modular Power.
Industrial Batteries Network Power Marathon M FT AGM Modular Power. Specifications Excellent energy storage system on modular basis. Specifications Marathon FT batteries are excellent AGM power packages
FIF CAT WG Discussion Document Firm-Designated ID Walk-Through Originally Submitted: April 8, 2013, Updated August 5, 2014
FIF CAT WG Discussion Document Firm-Designated ID Walk-Through Originally Submitted: April 8, 2013, Updated August 5, 2014 This document is a consolidation of FIF comments submitted to the SROs on CAT
lasting compassion and
Approved by the Board 26 June 2015 Po lasting compassion and DATE UPDATED POLICY HOLDER NEXT REVIEW DATE JUNE 2015 SENIOR WELFARE ADVISOR JUNE 2017 PURPOSE The Animal Welfare Policy describes the standard
National Unit Specification: general information. UNIT Animal Care: Breeding (SCQF level 5) CODE F6SS 11 SUMMARY OUTCOMES RECOMMENDED ENTRY
National Unit Specification: general information CODE F6SS 11 SUMMARY The candidate will acquire and apply knowledge of the breeding of small animals. The Unit is aimed at those who wish to develop skills
EUROPEAN COMMISSION DIRECTORATE-GENERAL FOR HEALTH AND FOOD SAFETY
Ref. Ares(2018)2119965-20/04/2018 EUROPEAN COMMISSION DIRECTORATE-GENERAL FOR HEALTH AND FOOD SAFETY Health and food audits and analysis DG(SANTE) 2017-6296 FINAL REPORT OF AN AUDIT CARRIED OUT IN DENMARK
EXTERNAL TECHNICAL REPORT
EXTERNAL TECHNICAL REPORT Updating and revising the historical datasets in EFSA s Zoonoses databases in Finland Rintakoski S., Tuominen P., Raulo S., Mikkelä A. & Savela K. Finnish Food Safety Authority
Comparative Analysis of Adders Parallel-Prefix Adder for Their Area, Delay and Power Consumption
2018 IJSRST Volume 4 Issue 5 Print ISSN: 2395-6011 Online ISSN: 2395-602X Themed Section: Science and Technology Comparative Analysis of Adders Parallel-Prefix Adder for Their Area, Delay and Power Consumption
Subdomain Entry Vocabulary Modules Evaluation
Subdomain Entry Vocabulary Modules Evaluation Technical Report Vivien Petras August 11, 2000 Abstract: Subdomain entry vocabulary modules represent a way to provide a more specialized retrieval vocabulary
... I Poge1of4 I... Next
EVMlOl Fundam entals of Earned Value Managem ent lesson 1.0 - Module Introduction RESOURCES I PRINT I HELP Module 1 W elcome - EVM in the Acquisition Environment I... I Poge1of4 I... EVMlOl Fundamentals
UPDATE ON ANTIMICROBIAL STEWARDSHIP REGULATIONS AND IMPLEMENTATION OF AN AMS PROGRAM
UPDATE ON ANTIMICROBIAL STEWARDSHIP REGULATIONS AND IMPLEMENTATION OF AN AMS PROGRAM Diane Rhee, Pharm.D. Associate Professor of Pharmacy Practice Roseman University of Health Sciences Chair, Valley Health
OIE standards on the Quality of Veterinary Services
OIE standards on the Quality of Veterinary Services OIE regional seminar on the role of veterinary paraprofessionals in Africa Pretoria (South Africa), October 13-15, 2015 Dr. Monique Eloit OIE Deputy
ICAO PUBLIC KEY DIRECTORY (PKD) Christiane DerMarkar ICAO PKD Officer
ICAO PUBLIC KEY DIRECTORY (PKD) Christiane DerMarkar ICAO PKD Officer ICAO PKD: one of the 3 interrelated pillars of Facilitation Annex 9 ICAO TRIP Strategy ICAO PKD Chapter 3:main SARPs related to the
Course # Course Name Credits
Curriculum Outline: Course # Course Name Credits Term 1 Courses VET 100 Introduction to Veterinary Technology 3 ENG 105 English Composition 3 MATH 120 Technical Mathematics 3 VET 130 Animal Biology/ Anatomy
Implementation of the Public Key Directory
Implementation of the Public Key Directory Ross Greenwood 2007 Chairperson ICAO PKD Board Australian Passport Office TAG/MRTD 18 Today s presentation Provide the TAG with a brief update on the ICAO PKD
OFFICE OF THE CITY ADMINISTRATIVE OFFICER
REPORT FROM OFFICE OF THE CITY ADMINISTRATIVE OFFICER Date: To: From: Reference: Subject: June 2, 2010 CAO File No. 0160-01544-0000 The Council Council File No. Council District: Miguel A. Santana, City
Measuring the Effectiveness of ACATS
Measuring the Effectiveness of ACATS ACM SIGAda 2004 G. Smith Nov. 17, 2004 Intro Rational Software, part of IBM since Feb 2003 Rational Apex now bundled as IBM Rational Ada Developer 7 self-hosted platforms
Introduction ICAO PKD Higher Travel Security. ICAO TRIP Seminar 9 to 11th May 2016
Introduction ICAO PKD Higher Travel Security ICAO TRIP Seminar 9 to 11th May 2016 Who is Veridos? Joint venture heritage Veridos is the only company in its markets solely focused on serving government
OIE PVS Pathway including Veterinary Education
OIE PVS Pathway including Veterinary Education OIE Global Conference on the Prudent Use of Antimicrobial Agents for Animals: International Solidarity to Fight against Antimicrobial Resistance Paris (France)
UNIT Animal Care: Reptile and Amphibian Care (SCQF level 5)
National Unit Specification: general information CODE F6SR 11 SUMMARY This Unit may be suitable for candidates who seek a basic knowledge of caring for reptiles and amphibians. OUTCOMES 1 Identify suitable
REFERENCE COPY. FILE: ECG Critical EXPLANATION: ANIMALS ON DISTRICT PROPERTY
EXPLANATION: ANIMALS ON DISTRICT PROPERTY This NEW policy was created to address several areas of concern involving animals in schools. New Americans with Disability Act (ADA) regulations set the rules
A-FAVP.1 Foundations of Advanced Veterinary Practice
A-FAVP.1 Foundations of Advanced Veterinary Practice Credits: Provider: 10 (100 hours) Veterinary Postgraduate Unit School of Veterinary Science RCVS Content Covered Conceptual Outline The scope of the
HOW CAN TRACEABILITY SYSTEMS INFLUENCE MODERN ANIMAL BREEDING AND FARM MANAGEMENT?
HOW CAN TRACEABILITY SYSTEMS INFLUENCE MODERN ANIMAL BREEDING AND FARM MANAGEMENT? FAO-FEPALE-ICAR Meeting in Santiago, Chile, December 2011 Ole Klejs Hansen IDENTIFICATION Owner identification Still relevant
international news RECOMMENDATIONS
The Third OIE Global Conference on Veterinary Education and the Role of the Veterinary Statutory Body was held in Foz do Iguaçu (Brazil) from 4 to 6 December 2013. The Conference addressed the need for
COURSE DATES FOR 2018
Modular Courses for Home Office Licence Applicants under the Animals (Scientific Procedures) Act 1986 (as amended) COURSE DATES FOR 2018 January 15 th 16 th PIL A (cont) & B (9am 4pm) 17 th PIL C (9am
This is an optional Unit within the National Certificate in Agriculture (SCQF level 6) but is also available as a free-standing Unit.
National Unit specification: general information Unit code: H2N3 12 Superclass: SH Publication date: February 2013 Source: Scottish Qualifications Authority Version: 02 Summary This Unit enables learners
Regulating Animal Welfare in the EU.the EU.
Regulating Animal Welfare in the EU.the EU. Andrea Gavinelli Unit G3 Animal Welfare Directorate General 1 Animal Welfare 1. An expanding policy area. 2. An issue of high public concern and political relevance.
Guideline on quality data requirements for veterinary medicinal products intended for minor use or minor species (MUMS)/limited market
8 December 2016 EMA/CVMP/QWP/128710/2004-Rev.1 Committee for Medicinal Products for Veterinary Use (CVMP) Guideline on quality data requirements for veterinary medicinal products intended for minor use
MANAGER S HANDBOOK. A guide for running the 2018 CAT
MANAGER S HANDBOOK A guide for running the 2018 CAT 1 27 March 2018 Contents About the CAT 2 Pen and paper format 3 CAT rules 3 CAT package 3 CAT planning 4 CAT competition day 4 After the CAT 5 Checklist
in food safety Jean-Luc ANGOT CVO France
The role of OIE and Veterinary Services in food safety Jean-Luc ANGOT CVO France «Evolving Veterinary Education for a safer World» 13th october 2009 OIE s Objectives Transparency : ensure transparency
BVetMed Programme Specification Applies to Cohort Commencing 2018
BVetMed Programme Specification Applies to Cohort Commencing 2018 1. Awarding institution Royal Veterinary College 2. Teaching institution Royal Veterinary College 3. Programme accredited by Royal College
Reflection paper on promotion of pharmacovigilance reporting
13 July 2017 EMA/CVMP/PhVWP/390033/2014-Rev.1 Committee for Medicinal Products for Veterinary Use (CVMP) Reflection paper on promotion of pharmacovigilance reporting Draft agreed by CVMP Pharmacovigilance
THE CROATIAN NATIONAL INFORMATION SYSTEM FOR REGISTERING THE VACCINATION AND TAGGING OF DOGS, CATS AND DOMESTIC FERRETS
REPUBLIC OF CROATIA MINISTRY OF AGRICULTURE VETERINARY AND FOOD SAFETY DIRECTORATE THE CROATIAN NATIONAL INFORMATION SYSTEM FOR REGISTERING THE VACCINATION AND TAGGING OF DOGS, CATS AND DOMESTIC FERRETS
PROCESSES TO FILE CERTIFICATES OF DEVELOPMENT Cathy Szychulda, ARBA Standards Chair
PROCESSES TO FILE CERTIFICATES OF DEVELOPMENT Cathy Szychulda, ARBA Standards Chair **Please note that only adult members are eligible to file CODs. The reason for this is that this is a rigorous, serious,
Dog training and behaviour skills: program overview
For more info Call KAYE (03) 9489 5095 0477 975 012 2015 Wagging School Dog Training and Behaviour Skills Program Dog and behaviour skills: program overview - offering you the opportunity to develop your
Robbins Basic Pathology: With VETERINARY CONSULT Access, 8e (Robbins Pathology) PDF
Robbins Basic Pathology: With VETERINARY CONSULT Access, 8e (Robbins Pathology) PDF Veterinary ConsultThe Veterinary Consult version of this title provides electronic access to the complete content of
Evolution in Action: Graphing and Statistics
Evolution in Action: Graphing and Statistics OVERVIEW This activity serves as a supplement to the film The Origin of Species: The Beak of the Finch and provides students with the opportunity to develop
Content Delivery Network Interconnection (CDNI) Request Routing: CDNI Footprint and Capabilities Advertisement using ALTO
Content Delivery Network Interconnection (CDNI) Request Routing: CDNI Footprint and Capabilities Advertisement using ALTO draft-alto-cdni-request-routing-alto-01 J. Seedorf, Y. Richard Yang, Kevin Ma,
OIE Collaborating Centres Reports Activities
OIE Collaborating Centres Reports Activities Activities in 2016 This report has been submitted : 2017-01-11 16:17:33 Title of collaborating centre: Day-One Veterinary Competencies and Continuing Education
Unit title: Livestock Husbandry, Health and Welfare (SCQF level 6)
National Unit specification: general information Unit code: H2N4 12 Superclass: SH Publication date: February 2013 Source: Scottish Qualifications Authority Version: 02 Summary This Unit enables learners
Lavin's Radiography For Veterinary Technicians PDF
Lavin's Radiography For Veterinary Technicians PDF Written by veterinary technicians for veterinary students and practicing technicians, Lavinâ s Radiography for Veterinary Technicians, 5th Edition, combines
Happy hens. Teacher guidance - 1. Introduction. Project overview
Teacher guidance - 1 Happy hens Introduction These materials are intended to provide lesson ideas for Science, D&T and Literacy. The ideas and materials are suitable for children at KS1 and KS2 although
Chapter 6: Extending Theory
&L322 Syntax Chapter 6: Extending Theory Linguistics 322 1. Determiner Phrase A. C. talks about the hypothesis that all non-heads must be phrases. I agree with him here. B. I have already introduced D
SECOND REPORT FROM THE COMMISSION TO THE COUNCIL
SECOND REPORT FROM THE COMMISSION TO THE COUNCIL ON THE BASIS OF MEMBER STATES REPORTS ON THE IMPLEMENTATION OF THE COUNCIL RECOMMENDATION (2002/77/EC) ON THE PRUDENT USE OF ANTIMICROBIAL AGENTS IN HUMAN
ANTIMICROBIAL RESISTANCE and causes of non-prudent use of antibiotics in human medicine in the EU
ANTIMICROBIAL RESISTANCE and causes of non-prudent use of antibiotics in human medicine in the EU Health and Food Safety John Paget (NIVEL) Dominique Lescure (NIVEL) Ann Versporten (University of Antwerp)
Tntibiotic resistance is a growing problem and the main cause of this problem is misuse
AIHA Internet Resources Digest Supporting Access to High Quality Online Resources June 2015 Spotlight on: Resources on Rational Antibiotic Use Tntibiotic resistance is a growing problem and the main cause
Implementation and Estimation of Delay, Power and Area for Parallel Prefix Adders
International Journal for Modern Trends in Science and Technology Volume: 02, Issue No: 11, November 2016 http://www.ijmtst.com ISSN: 2455-3778 Implementation and Estimation of Delay, Power and Area for
of Conferences of OIE Regional Commissions organised since 1 June 2013 endorsed by the Assembly of the OIE on 29 May 2014
of Conferences of OIE Regional Commissions organised since 1 June 2013 endorsed by the Assembly of the OIE on 29 May 2014 2 12 th Conference of the OIE Regional Commission for the Middle East Amman (Jordan),
ICAO Public Key Directory (PKD)
ICAO Public Key Directory (PKD) Christiane DerMarkar ICAO PKD Programme Officer ICAO TRIP: Making the Air Travel more Secure and Efficient TOWARDS A BETTER TRAVELLER IDENTIFICATION MANAGEMENT FOR ENHANCED
Factoring Training Workshop
5 Years Factoring Training Workshop Cairo, Egypt, 27 September 2018 Venue: The Nile Ritz-Carlton, Cairo 1113 Corniche El Nil Cairo, 11221 Egypt Phone: +20225778899 Factoring and Receivables Finance is
Dasher Web Service USER/DEVELOPER DOCUMENTATION June 2010 Version 1.1
Dasher Web Service USER/DEVELOPER DOCUMENTATION June 2010 Version 1.1 Credit for the instructional design theory and algorithms employed by Dasher goes to James Pusack and Sue Otto of The University of
Objectives. ERTs for the New Beef Industry. Ancient History. The EPD we produce entirely depends on the tools we have to use them.
Bruce Golden, Cal-Poly 6/19/14 Objectives ERTs for the New Beef Industry B. L. Golden 1California Polytechnic State University, San Luis Obispo Ancient History Breeds 1881-1883 First American breed associations
Grade 5, Prompt for Opinion Writing Common Core Standard W.CCR.1
Grade 5, Prompt for Opinion Writing Common Core Standard W.CCR.1 (Directions should be read aloud and clarified by the teacher) Name: The Best Pet There are many reasons why people own pets. A pet can
VIKRANK Customized index
VIKRANK Customized index VIKRANK - VikingGenetics customized Ranking To help farmers select the right bulls for their herd depending on their own wishes and breeding goals, VikingGenetics has developed
Methodological guide for developing producer price indices for services Joined Task Force OECD-Eurostat
Methodological guide for developing producer price indices for services Joined ask Force OECD-Eurostat OECD-Eurostat 20th Voorburg Group Meeting on ervice tatistics Helsinki eptember 2005 PPI manual: 4
4/17/2013. Antimicrobial Stewardship: pengalaman di Belanda. Henri A. Verbrugh MD PhD. number of emerging infectious diseases events per decade
Antimicrobial Stewardship: pengalaman di Belanda Henri A. Verbrugh MD PhD KE Jones et al., Nature 2008 EID is disease caused by a pathogen that has recently evolved or entered the human population for
xrm in Action: Charities Commission Royal New Zealand Foundation of the Blind Selena Moon and Kirsten Bockett-Smith 27 May 2010
: Charities Commission Royal New Zealand Foundation of the Blind Selena Moon and Kirsten Bockett-Smith 27 May 2010 Why are these xrm solutions? Not a traditional sales processes Flexible platform for extensibility
Nordic Cattle Genetic Evaluation a tool for practical breeding with red breeds
Nordic Cattle Genetic Evaluation a tool for practical breeding with red breeds Gert Pedersen Aamand, Nordic Cattle Genetic Evaluation, Udkaersvej 15, DK-8200 Aarhus N, Denmark e-mail: gap@landscentret.dk