CFPs in UK
This page displays all currently active CFPs in UK.
Country Choice
Most popular countries: United States, India, China, UK, Germany, Canada, Italy, Portugal, France, Spain.
Select a country to view CFPs of conferences in this country:
If the country is not shown, there is no CFP for this country.
CFPs
CFPs for conferences in UK are shown in the table below. Newer CFPs are displayed first.
| ||||||||
Acronym | Name | City | Submission deadline | Start date | Topics | |||
|---|---|---|---|---|---|---|---|---|
| PAT 2019 | Cognition in the Aristotelian Tradition | London | Jun 15, 2019 | Oct 4, 2019 | cognition theory of mind intentionality thinking | |||
| CBMC19 | CompBioMed Conference 2019 | London | May 15, 2019 | Sep 25, 2019 | computational biomedicine high performance computing bioengineering | |||
| ENTER2020 | ENTER2020 - the 27th annual eTourism Conference | Guildford | Jan 7, 2020 | computer science technology etourism ict in tourism | ||||
| LALT-2019 | Language Analysis to inform Language Teaching | Leeds | May 15, 2019 | Jul 5, 2019 | complexity fluency language analysis pedagogical linguistics | |||
| FDL 2019 | Forum on Specification & Design Languages | Southampton | May 10, 2019 | Sep 2, 2019 | ||||
| ICEB 2019 | 19th International Conference on Electronic Business | Newcastle Upon Tyne | Dec 8, 2019 | electronic business smart city artificial intelligence digital marketing | ||||
| CEICS1 | Conceptual Engineering and Its Consequences in Society | St Andrews | Apr 20, 2019 | Jun 11, 2019 | philosophy of language social reality conceptual engineering meaning change | |||
| IWSMR 2019 | 1st International Workshop on Information Security Methodology and Replication Studies | Canterbury | May 10, 2019 | Aug 26, 2019 | information security testbed design replication studies scientific methodology | |||
| NUSW2019 | Networks and Urban Systems Workshop 2019 | London | Jul 9, 2019 | Jul 9, 2019 | urban infrastructure systems and networks global value chains business ecosystems liveable cities | |||
| IDEAL 2019 | 20th International Conference on Intelligent Data Engineering and Automated Learning | Manchester | Nov 14, 2019 | big data analytics machine learning data mining and management agents and hybrid intelligent systems | ||||
| PPC2019 | Psychology Postgraduate Conference 2018-19 | York | May 24, 2019 | Jun 25, 2019 | ||||
| SEAIxI-2019 | International Workshop on Social & Emotion AI for Industry | Cambridge | Jun 20, 2019 | affective computing | ||||
| BenchWork '19 | BenchWork 2019 (2nd edition) | London | May 21, 2019 | benchmarks evaluation measurement | ||||
| AlphUG-2019 | The Alphabet of Universal Grammar | London | Apr 30, 2019 | Jul 4, 2019 | linguistics syntax morphology semantics | |||
| IWBDA-19 | International Workshop on Bio-Design Automation | Cambridge | May 10, 2019 | Jul 9, 2019 | synthetic biology systems biology design automation genetic engineering | |||
| SSR 2019 | Security Standardisation Research 2019 | London | Nov 7, 2019 | computer security cyber security security and privacy security standardisation | ||||
| ICIEI 2019 | The 4th International Conference on Information and Education Innovations | Durham | Apr 30, 2019 | Jul 10, 2019 | artificial intelligence software engineering control technology communication | |||
| NICSI2019 | Nature-Inspired Computation and Swarm Intelligence: Algorithms, Theory and Applications | London | Jun 25, 2019 | optimization algorithms swarm intelligence nature inspired computation | ||||
| CIM-PG2019 | With/in Digital - CIM Postgraduate Conference 2019 | Coventry | Jun 19, 2019 | Jun 27, 2019 | digital participation interdisciplinary methodologies | |||
| WNM 2019 | Walking's New Movements | Plymouth | Oct 1, 2019 | Nov 1, 2019 | walking walking arts psychogeography politics of walking | |||
| ASAL2019 | Acrossing Smart Assisted Living | Leicester | ||||||
| HoM1 | Higher-Order Metaphysics | Birmingham | Apr 15, 2019 | Jun 17, 2019 | higher order metaphysics | |||
| FTfJP 2019 | 21st Workshop on Formal Techniques for Java-like Programs | London | Apr 21, 2019 | Jul 15, 2019 | programming languages specification verification synthesis | |||
| HPHL2019 | Harold Pinter: Histories and Legacies Conference – University of Leeds | Leeds | May 31, 2019 | Sep 19, 2019 | harold pinter histories and legacies theatre and performance film and radio and television | |||
| ICGHE2019 | International Conference of Global Health and Epidemiology | Wolverhampton | Apr 23, 2019 | Jul 21, 2019 | ||||
| ICFV'19 | International Congress: Future Vision | Oxford | Apr 12, 2019 | water science, sustainable environmental technologies internet of things and automation computer vision and smart manufacturing computational materials science thermodynamics modelling | ||||
| ICAST-2019 | International Conference on Advances in Science and Technology | London | Apr 1, 2019 | Apr 27, 2019 | engineering technology material science mechanical engineering | |||
| IACSEM-2019 | International Academic Conference on Science, Engineering and Management (IACSEM) | London | Apr 1, 2019 | Apr 28, 2019 | business management science engineering | |||
| ICBMES-2019 | International Conference on Business Management, Economics and Social Sciences | London | Apr 1, 2019 | Apr 28, 2019 | business management economics social sciences | |||
| APTIS 2019 | Second Annual Conference of the Association of Programmes in Translation and Interpreting Studies, UK & Ireland | Newcastle Upon Tyne | Nov 23, 2019 | translation interpreting translation/interpreting pedagogy | ||||
| ADR 2019 | 4th International Conference on Administrative Data Research | Cardiff | Jul 12, 2019 | Dec 9, 2019 | applied research ethical legal and societal implications evidence to support policy making methodological and analytical advances | |||
| III 2019 | 6th Innovation in Information Infrastructures Workshop | Guildford | Jun 11, 2019 | Sep 18, 2019 | ||||
| PLM5 | Fifth Philosophy of Language and Mind Network Conference | St Andrews | Apr 19, 2019 | Aug 29, 2019 | philosophy of mind philosophy of language | |||
| GECON2019 | 16th International Conference on the Economics of Grids, Clouds, Systems, and Services | Leeds | May 27, 2019 | Sep 17, 2019 | economy of cloud cloud, grid and services technologies transforming economy legal aspects of cloud | |||
| Resisting Digital Culture 2019 | Resisting Digital Culture: Dystopias, Distortions, Disconnections | London | Mar 28, 2019 | May 10, 2019 | digital culture social media big data | |||
| PASS@ECOOP'19 | Programming Across the System Stack | London | May 20, 2019 | Jul 19, 2019 | code quality platforms quality of service empirical studies | |||
| UACES GF 2019 | UACES Graduate Forum Conference 2019 | Manchester | Apr 8, 2019 | Jul 8, 2019 | europe european union eu european affairs | |||
| ISIC19 | Indonesian Scholars International Convention 2019 | Nottingham | Apr 30, 2019 | Jun 22, 2019 | engineering and technology social science | |||
| 14th LangUE | 14th Language at the University of Essex Postgraduate Conference | Colchester | May 10, 2019 | Jun 13, 2019 | syntax psycholinguistics computational linguistics translation and interpreting | |||
| DISCo19 | Interdisciplinary Digital Culture and Society Conference | Nottingham | May 6, 2019 | Jul 9, 2019 | digital economy digital culture technology | |||
| COP 2019 | 11th International Workshop on Context-oriented Programming | London | Jul 15, 2019 | programming languages software engineering modularity computer science | ||||
| SLX23 | SociolinguistEssex 23 | Colchester | Mar 29, 2019 | Jun 19, 2019 | sociolinguistics language variation and change discourse analysis language maintenance and shift | |||
| SinS 2019 | Sounds in Space 2019 | Derby | Jun 25, 2019 | immersive audio ambisonics binaural virtual reality | ||||
| WACL3 | The 3rd Workshop on Arabic Corpus Linguistics (WACL-3) | Cardiff | May 17, 2019 | corpus linguistics natural language processing computational linguistics corpora tools and resources | ||||
| ICCBDC 2019 | 2019 3rd International Conference on Cloud and Big Data Computing | Oxford | May 15, 2019 | Aug 28, 2019 | cloud computing software engineering big data computing algorithmic | |||
| summerue4 | 2019 Summer School in Urban Economics | London | Mar 25, 2019 | Jun 26, 2019 | urban economics regional economics | |||
| VSVR2019 | VSSN/NCVO Voluntary Sector and Volunteering Research Conference 2019 | Birmingham | Aug 12, 2019 | Sep 10, 2019 | ||||
| cccc 2019 | Control. Code. Construct. 2019 | Edinburgh | Mar 22, 2019 | Jun 20, 2019 | big data machine learning robotics artificial intelligence | |||
| Assist-UK2019 | Association for Studies in Innovation, Science and Technology-UK Annual Conference | Manchester | May 10, 2019 | Sep 9, 2019 | ||||
| LAGB 2019 | Linguistics Association of Great Britain 2019 | London | Apr 12, 2019 | Sep 9, 2019 | linguistics | |||
| DataTV2019 | 1st Intl. Workshop on Data-driven Personalisation of Television | Manchester | Apr 24, 2019 | data extraction and modelling media value chain media personalisation object based media | ||||
| LRN2019 | Logistics Research Network Conference 2019 | Northampton | Jun 7, 2019 | Sep 4, 2019 | logistics transport infrastructure supply chain | |||
| ECCCS-1 | 1st European Conference on Crashworthiness of Composite Structures | Belfast | May 19, 2019 | Nov 19, 2019 | dynamics fracture mechanics experimental methods novel numerical methods | |||
| TI-2019 | Textile Intersections | London | Jun 9, 2019 | Sep 12, 2019 | ||||
| HEIR2019 | Higher Education Institutional Research Conference 2019 | Wolverhampton | Apr 26, 2019 | Sep 11, 2019 | defining and measuring excellence critical learning and teaching environments accountability inclusivity and sustainability | |||
| BAAL - LKALE SIG 2019 | British Association of Applied Linguistics - Linguistics and Knowledge about Language in Education, Special Interest Group | Oxford | Apr 5, 2019 | Jul 5, 2019 | reading education psychology applied linguistics | |||
| PACE-2019 | Rethinking Property Approaches in Resources for the Circular Economy | Coventry | Mar 22, 2019 | Jun 21, 2019 | ||||
| EmoPun2019 | Emotions & Punishment | Canterbury | Apr 1, 2019 | Jun 19, 2019 | political philosophy philosophy of emotion applied philosophy legal philosophy | |||
| EPS CF 2019 | The European Project Semester Capstone Framework | Nottingham | Mar 31, 2019 | engineering education project based learning capstone projects multicultural and multidisciplinary teamwork | ||||
| AM 2019 | Audio Mostly 2019 (14th International Conference: A Journey in Sound) | Nottingham | May 24, 2019 | Sep 18, 2019 | sound music interaction audio | |||
| WSMC 2019 | World Social Marketing Conference 2019 | Edinburgh | Feb 1, 2019 | Jun 4, 2019 | social marketing marketing public health behaviour change | |||
| IPIC 2019 | 6th International Physical Internet Conference | London | Apr 21, 2019 | Jul 8, 2019 | physical internet last mile & city logistics logistics freight transport | |||
| ALIFE 2019 | The 2019 Conference on Artificial Life | Newcastle Upon Tyne | Mar 8, 2019 | Jul 29, 2019 | artificial life complex systems evolutionary robotics synthetic biology | |||
| 3rivers19 | 3 Rivers 2019 | Durham | Sep 10, 2019 | |||||
| CASTME 2019 | Commonwealth Association for Science, Technology & Mathematics Education: A Commonwealth of Communities of Science: Voice of the Child | Belfast | Jun 1, 2019 | Oct 28, 2019 | climate change the environment food justice the use of technology | |||
| innochinauk19 | China-UK Science, Technology and Innovation Cooperation: The Next 40 Years | London | Mar 31, 2019 | Jul 8, 2019 | ||||
| DIPRC2019 | Digital Inclusion Policy and Research Conference 2019 | London | Mar 31, 2019 | Jun 18, 2019 | ||||
| JVET 2019 | Journal of Vocational Education and Training 13th International Conference | Oxford | Jan 31, 2019 | Jun 28, 2019 | policy making in vet vocational knowledge vet pedagogy comparative studies of vet | |||
| IS-EUD2019 | International Symposium on End User Development 2019 | Hatfield | Mar 1, 2019 | Jul 10, 2019 | end user development human computer interaction | |||
| LTC1 | Languaging in times of change | Stirling | Apr 1, 2019 | Sep 26, 2019 | languaging and translanguaging literacy and advocacy superdiversity and time and space digital worlds and voice | |||
| iHDI 2019 workshop | First International Workshop on Human-Drone Interaction at CHI '19 | Glasgow | Feb 19, 2019 | May 4, 2019 | unmanned aerial vehicles human robot interaction human drone interaction quadcopters | |||
| MFPS 35 | Mathematical Foundations of Programming Semantics | London | Apr 8, 2019 | Jun 4, 2019 | models of computation semantics of programming languages | |||
| AAWM 2019 | AAWM Special Topics Symposium 2019: Computational Approaches to World Music Analysis | Birmingham | Mar 1, 2019 | Jul 2, 2019 | music theory computational music analysis ethnomusicology | |||
| CollaborateCom 2019 | 15th EAI International Conference on Collaborative Computing: Networking, Applications and Worksharing | London | Mar 10, 2019 | Aug 19, 2019 | ||||
| MTSB2019 | Movement That Shapes Behaviour 2019 | Falmouth | Jan 21, 2019 | human robot interaction social robotics experience design performance | ||||
| rcdt2019 | Robotics and Autonomous Systems CDT Conference 2019 | Edinburgh | Mar 6, 2019 | Jun 3, 2019 | ||||
| AutomationXP19 | Everyday Automation Experience | Glasgow | Feb 20, 2019 | May 5, 2019 | user experience human computer interaction ubiquitous computing technology experience | |||
| AERI2019 | Archival Education and Research Institute | Liverpool | Feb 28, 2019 | Jul 8, 2019 | archival studies archival science records management information studies | |||
| SSEA19 | 3rd ESA Symposium on Space Educational Activities | Leicester | Sep 16, 2019 | |||||
| SocProS 2019 | 9th International Conference on Soft Computing for Problem Solving 2019 | Liverpool | Mar 31, 2019 | Sep 2, 2019 | soft computing fuzzy systems artificial neural networks nature inspired optimization | |||
| CIB W78 2019 | CIB Information Technology for Construction Conference | Newcastle | Apr 26, 2019 | Sep 18, 2019 | building information modelling smart cities | |||
| IMHB 2019 | Workshop on Intelligent Machines & Human Behaviour | Falmouth | Jan 14, 2019 | Apr 15, 2019 | artificial intelligence human behaviour human machine interaction technology in society | |||
| XAI@AISB2019 | Explainable Artificial Intelligence Symposium @ AISB 2019 | Falmouth | Feb 15, 2019 | Apr 16, 2019 | explainable ai | |||
| JAAH2019-BB | Building Bridges in Applied Arts and Health, Education and Community | Ironbridge | Jul 1, 2019 | Aug 6, 2019 | ||||
| CCD2019 | Culture Costume and Dress: Regarding Fashionable Society | Birmingham | Feb 8, 2019 | Jun 5, 2019 | fashion society and power history and literature costume painting photography and film | |||
| XPRAG2019 | 8th biennial Experimental Pragmatics Conference | Edinburgh | Feb 1, 2019 | Jun 19, 2019 | pragmatics semantics psycholinguistics experimental linguistics | |||
| AISB-Analytics-2019 | Symposium on Analytics-based (Cognitively-enabled) Social Systems | Falmouth | Feb 15, 2019 | Apr 15, 2019 | ||||
| AMiM 2019 | Reading beyond words: Approaches to multimodality in the media | London | Feb 19, 2019 | Apr 12, 2019 | media multimodality visual analysis multimodal discourse analysis | |||
| NclLingConf13 | 13th Newcastle Postgraduate Conference in Linguistics | Newcastle Upon Tyne | Jan 20, 2019 | Apr 4, 2019 | linguistics student language postgraduate | |||
| LIN2019 | Languages INTER Networks | Lancaster | Mar 11, 2019 | Jun 20, 2019 | multilingualism digital media digital art and literature | |||
| AI-Games-19 | AISB Games, AI and VR 2019 | Penryn | Feb 15, 2019 | games artificial intelligence virtual reality serious games | ||||
| FMA2019 | Folk Music Analysis 2019 | Birmingham | Jul 2, 2019 | music information retrieval music analysis ethnomusicology musicology | ||||
| AIRoNoS2019 | AI and Robotics Normative Spheres: Towards a Sustainable Society and Technology Symposium | Falmouth | Apr 16, 2019 | artificial intelligence & robotics ethics & roboethics regulation & law human rights & governance | ||||
| HealTAC-2019 | The 2nd HealTex Conference (HealTAC-2019) – Unlocking Evidence Contained in Healthcare Free Text | Cardiff | Apr 24, 2019 | natural language processing machine learning text mining ontologies | ||||
| L2A2 | Symposium on Language Learning for Artificial Agents | Falmouth | Feb 8, 2019 | Apr 16, 2019 | language learning computational modelling semantics robotics | |||
| PLAY2018 | Playing at the Boundaries: An Interdisciplinary Forum on Play in Children’s Literature, Media and Culture | Cambridge | Jan 7, 2019 | Sep 12, 2019 | play media culture childhood | |||
| EGEC19 | 9th Edinburgh Graduate Epistemology Conference | Edinburgh | Feb 1, 2019 | May 6, 2019 | epistemology | |||
| LCICD 2019 | Lancaster Conference on Infant and Early Child Development | Lancaster | Mar 8, 2019 | Aug 21, 2019 | developmental psychology infant research | |||
| HSMR19 | Hamlyn Symposium on Medical Robotics 2019 | London | Mar 31, 2019 | Jun 23, 2019 | ||||
| TWCR 2019 | Second International TRANSIT workshop on Cross-disciplinary Research | York | Jan 13, 2019 | Mar 27, 2019 | emergence complex systems | |||
| GRASFI Conference 2019 | Global Research Alliance for Sustainable Finance and Investment Annual Conference 2019 | Oxford | Apr 15, 2019 | Sep 3, 2019 | banking corporate governance environmental performance and credit quality stranded assets | |||
| TDM 2019 | 9th International Symposium on Travel Demand Management | Edinburgh | Apr 26, 2019 | Jun 19, 2019 | ||||
| LTR 2019 | UWS Annual Learning, Teaching & Research Conference | Hamilton | Feb 11, 2019 | Jun 26, 2019 | assessment and feedback digital learning research informed teaching meeting societal challenges | |||
| UKAIS 2019 | 24th UK Academy for Information Systems International Conference | Oxford | Dec 17, 2018 | Apr 8, 2019 | information systems technology digital media | |||
| Sympol12 | 12th International Conference on Im/politeness | Cambridge | Feb 22, 2019 | Jul 17, 2019 | politeness pragmatics aggression impoliteness | |||
| CIRC 2019 | 2019 International Workshop on Cyber Insurance and Risk Controls (CIRC) | Oxford | Feb 28, 2019 | Jun 3, 2019 | cyber value at risk (cvar) cyber risk propagation cyber insurance cyber risk assessment and management | |||
| IRMS 2019 | IRMS Conference 2019 | Cardiff | Oct 19, 2018 | May 19, 2019 | safeguarding and child protection electronic record keeping data protection and retention information sharing | |||
| LOF50 | The Unmarked State. Laws of Form 50th Anniversary Conference | Liverpool | Mar 11, 2019 | Aug 8, 2019 | mathematics cybernetics sociology philosophy | |||
| QEST 2019 | 16th International Conference on Quantitative Evaluation of SysTems | Glasgow | Apr 18, 2019 | Sep 9, 2019 | formal methods quantitative evaluation performance | |||
| Sharing Cultures 2019 | Sharing Cultures 2019 - 6th International Conference on Intangible Heritage | Edinburgh | Mar 15, 2019 | Jun 11, 2019 | heritage intangible cultural heritage culture | |||
| SEEDS2019 | 5th International Sustainable Ecological Engineering Design for Society (SEEDS) conference - Growing Sustainability - Natural Capital and Society in the Built Environment | Ipswich | Apr 12, 2019 | Sep 11, 2019 | ¥ sustainable place making ¥ sustainable behaviours • sustainability education ¥ sustainable production | |||
| TechAAL 2019 | 3rd IET International Conference on Technologies for Active and Assisted Living | London | Dec 21, 2018 | Mar 25, 2019 | ambient assisted living assistive technologies active and healthy ageing privacy and ethical issues | |||
| TEAP 2019 | Tagung Experimentell Arbeitender Psychologen | London | Jan 15, 2019 | Apr 15, 2019 | cognitive psychology language cognitive development clinical | |||
| SecSE2019 | 2019 International Workshop on Secure Software Engineering in DevOps and Agile Development | Oxford | Mar 8, 2019 | Jun 3, 2019 | software security secure software engineering agile security devops security | |||
| ICIM2019 | The 5th International Conference on Information Management | Cambridge | Jan 30, 2019 | Mar 24, 2019 | economics electronic commerce information systems and technology management information systems | |||
| ICBDE 2019 | 2019 The 2nd International Conference on Big Data and Education | London | Jan 31, 2019 | Mar 30, 2019 | education big data information technology e education | |||
| MatDes 2019 | 2019 International Workshop on Materials and Design | Oxford | Jan 30, 2019 | Mar 29, 2019 | design technology materials science nanoscience | |||
| ACBM2019 | Acquisition of Chinese: Bilingualism and Multilingualism | Cambridge | Dec 31, 2018 | Jul 1, 2019 | language acquisition chinese bilingualism multilingualism | |||
| Cyber Incident 2019 | International Conference on Cyber Incident Response, Coordination, Containment & Control | Oxford | Feb 28, 2019 | Jun 3, 2019 | cyber incident response decision control control countermeasure and containment threat adversarial modelling | |||
| Cyber Security 2019 | International Conference on Cyber Security and Protection of Digital Services | Oxford | Feb 28, 2019 | Jun 3, 2019 | cyber security protection of digital services security operations centre blockchain | |||
| EVA London 2019 | Electronic Visualisation and the Arts | London | Mar 19, 2019 | Jul 8, 2019 | computer science cultural heritage visualisation visual arts | |||
| IRMS19 | IRMS Conference 2019 | Newport | Oct 19, 2018 | May 18, 2019 | law and regulation rm nuts and bolts soft skills technology and innovation | |||
| Social Media 2019 | International Conference on Social Media, Wearable and Web Analytics | Oxford | Jan 26, 2019 | Jun 3, 2019 | health informatics online social networks social media and wearable digital communities and culture | |||
| Cyber Science 2019 | Cyber Science | Oxford | Jan 26, 2019 | Jun 1, 2019 | cyber security social media cybersa cyber incident response | |||
| DeepBio2019 | Springer Book: Deep Biometrics | Newcastle Upon Tyne | Dec 15, 2018 | biometrics deep learning privacy and security adverse learning | ||||
| ICKEM 2019 | The 9th International Conference on Key Engineering Materials | Oxford | Jan 30, 2019 | Mar 29, 2019 | biomaterials composite nanomaterials | |||
| INTS2018 | Intersections: Ulster University Postgraduate Journal | Belfast | Dec 10, 2018 | arts humanities social science art and design | ||||
| TTRAEurope2019 | Travel and Tourism Research Association 2019 European Chapter Conference | Bournemouth | Apr 8, 2019 | |||||
| AMH19 | Material Medicine: Objects and Bodies, AMH Conference 2019, Plymouth University , UK. | Plymouth | May 1, 2019 | Jun 26, 2019 | ||||
| EMiT'19 | EMiT: Emerging Technology Conference | Huddersfield | Feb 28, 2019 | Apr 9, 2019 | novel computing hardware and architectures high performance accelerator technology programming models for scientific applications energy efficient computing | |||
| AMSWMC22 | Academy of Marketing Science World Marketing Congress 2019 | Edinburgh | Oct 1, 2018 | Jul 9, 2019 | marketing research consumer marketing cultural influences multivariate data analysis | |||
| TNC2019 | Tourism Naturally | Buxton | Mar 31, 2019 | Jun 4, 2019 | sustainability wellbeing tourism transformational experiences | |||
| INAIT 2019 | International Conference on Industry 4.0 and Artificial Intelligence Technologies | Cambridge | Apr 20, 2019 | Aug 19, 2019 | industry 4.0 artificial intelligence | |||
| DSDAH2018 | KDD Workshop on Data Science for Digital Art History: Tackling big data Challenges, Algorithms, and Systems | London | May 25, 2018 | Aug 20, 2018 | data science machine learning | |||
| LPOP2018 | Workshop on Logic and Practice of Programming | Oxford | ||||||
| ThEdu'18 | 7th International Workshop on Theorem proving components for Educational software | Oxford | Apr 15, 2018 | Jul 18, 2018 | educational software mathematics education engineering education | |||