EasyChair Smart CFPHelp/Log in
CFPs in UK

This page displays all currently active CFPs in UK.

Other CFP views: New CFPs By area By country Topics Random CFPs

Country Choice

Most popular countries: United States, China, India, UK, Spain, France, Germany, Italy, Sweden, Indonesia.

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.

Showing  entries of 163 (1 to 163)
Acronym
Name
City
Submission
deadline
Start date
Topics
EMiT'19EMiT: Emerging Technology ConferenceHuddersfieldDec 16, 2018Apr 9, 2019novel computing hardware and architectures high performance accelerator technology programming models for scientific applications energy efficient computing
HAI 2018Human-Agent Interaction 2018SouthamptonJul 9, 2018Dec 15, 2018intelligent agents robotics human agent interaction human robot interaction
COALG AT FLOC 2018Coalgebra, NowOxfordJul 8, 2018theoretical computer science category theory programming languages logic
TNC2019Tourism NaturallyBuxtonNov 30, 2018Jun 4, 2019sustainability wellbeing tourism transformational experiences
TACKLE 2018Systems of Assessments for Computational Thinking LearningLeedsJun 28, 2018Sep 3, 2018computational thinking assessment measurements learning analytics
EuroVR 201815th annual EuroVR conferenceLondonSep 7, 2018Oct 22, 2018human computer interaction virtual and augmented reality haptics and tracking technologies multimodal interaction in immersive environments
DLDay'18The ACM KDD 2018 Deep Learning DayLondonJul 1, 2018Aug 20, 2018deep learning neural networks representation learning data mining
2018 CROWD1st Annual Workshop on Coexisting Radio and Optical Wireless DeploymentsCambridge
VIBE 2018BMVC2018 - Vision for Interaction and Behaviour undErstandingNewcastle Upon TyneJul 7, 2018Sep 3, 2018social relation and interaction recognition social signal processing social robotic affective computing
DietaryIntake2018Workshop on Innovative Technologies for Dietary Intakes MeasurementsLondonMay 30, 2018Sep 17, 2018accurate assessment of dietary intake
NFMW2018New Fields for Morphology 2018GuildfordJul 1, 2018Nov 2, 2018morphology typology
CRAS 2018The 8th Joint Workshop on New Technologies for Computer/Robot Assisted SurgeryLondonJul 14, 2018Sep 10, 2018medical robotics computer assisted surgery
MG2018MindGrad2018CoventrySep 3, 2018Dec 1, 2018philosophy of mind epistemology metaphysics philosophy of perception
TIPS2019Trent International Prosthetics Symposium 2019SalfordOct 5, 2018Mar 20, 2019upper limb prosthetics rehabilitation
ACJS 2018Autism and the Criminal Justice System: Current Research and Future DirectionsSalfordJun 15, 2018Sep 12, 2018autism law health psychology
DVPD 2018Data Visualisation, Productivity and Decision Making in the Manufacturing SectorNewcastle Upon TyneMay 30, 2018Jun 25, 2018big data decision making manufacturing visualisation of data
CETL-MSOR 2018CETL-MSOR 2018: Evidencing Excellence in the Mathematical SciencesGlasgowJun 18, 2018Sep 5, 2018
CoNSALL 2018Cognitive Neuroscience of Second and Artificial Language LearningBangorJun 28, 2018Sep 21, 2018second language learning computational modeling artifical language learning cognitive neuroscience
IoTSm 2018International Conference on Industrial Internet of Things and Smart ManufacturingLondonJul 6, 2018Sep 5, 2018internet of things smart manufacturing industry 4.0
IRSC 2018International Robotic Sailing Conference 2018SouthamptonJul 30, 2018Aug 31, 2018situational awareness robots surface vessels collision avoidance
MM2018Multilingual Metal: Sociocultural, Linguistic and Literary Perspectives on Heavy Metal LyricsLondonSep 20, 2018linguistics heavy metal comparative literature song lyrics
YMS2018Young Microbiologists Symposium on Microbe Signalling, Organisation and PathogenesisBelfastAug 27, 2018gene regulation and signalling infection and immunity ecretion and transport across membranes antibiotics and resistance mechanisms
ISLC201817th International Studying Leadership Conference 'The Power of Leadership'LancasterSep 1, 2018Dec 16, 2018leadership power leadership research leaders
Climathnet 2018Climathnet 2018ReadingJul 31, 2018Sep 19, 2018numerical modelling mathematics of climate ordinary and partial differential equations statistics and data assimilation
BigScholar 2018The 5th ACM SIGKDD Workshop on Big Scholarly DataLondonMay 15, 2018Aug 20, 2018big data data science data mining artificial intelligence
LCERS 2018London Computing Education Research SymposiumLondonApr 20, 2018Jun 11, 2018computer science education digital equity computing
ISSTASoundConf2018ISSTA (Irish Sound, Science and Technology Association) International Conference and Festival on Sound in the Arts, Science and Technology, 2018Derry, Northern IrelandMay 29, 2018Nov 9, 2018sound art electronic music music technology audio culture
11AGC11th Arché Graduate ConferenceSt AndrewsOct 13, 2018
INAIT 2019International Conference on Industry 4.0 and Artificial Intelligence TechnologiesCambridgeAug 19, 2019
LSBM TALC18The Annual LSBM Teaching and Learning Conference 2018LondonJun 29, 2018Jul 10, 2018higher education student potential measuring success
MLMH 20182018 KDD Workshop on Machine Learning for Medicine and HealthcareLondonMay 25, 2018
DSDAH2018KDD Workshop on Data Science for Digital Art History: Tackling big data Challenges, Algorithms, and SystemsLondonMay 25, 2018Aug 20, 2018data science machine learning
OBTA 2018The 1st International Workshop on Organizational Behavior and Talent AnalyticsLondonMay 23, 2018Aug 20, 2018human resource management business intelligence talent analytics organizational behavior analysis
LPOP2018Workshop on Logic and Practice of ProgrammingOxford
BIOKDD 2018The 17th International Workshop on Data Mining in Bioinformatics In Conjunction with SIGKDD 2018LondonAug 20, 2018bioinformatics data mining biomedical clinical
DSCon2018Digital Stuff 2018 - Digital Chaos: digital technologies and social disruptionCardiffMay 15, 2018Jun 14, 2018social sciences information technology big data digital economy
MiLeTS184th SIGKDD Workshop on Mining and Learning from Time SeriesLondonMay 15, 2018Aug 20, 2018time series analysis spatiotemporal forecasting
ODD v5.0ODD v5.0 @ KDD 2018: Workshop on Outlier Detection De-constructedLondonMay 15, 2018data mining ensemble methods anomaly mining explainable ai
LSD&LAW2018The 26th London Stringology Days & London Algorithmic WorkshopLondonMay 15, 2018automata theory combinatorics on words bioinformatics string algorithms
CD 2018The 2018 ACM SIGKDD Workshop on Causal DiscoveryLondonAug 20, 2018causal discovery data mining graphical model statistics
WISDOM18The 7th KDD Workshop on Issues of Sentiment Discovery and Opinion MiningLondonMay 8, 2018Aug 20, 2018sentiment analysis opinion mining machine learning deep learning
VSTTE 201810th Working Conference on Verified Software: Theories, Tools, and ExperimentsOxfordApr 29, 2018Jul 18, 2018software verification specifications static analysis formal methods
IAPE’19International Conference on Innovative Applied EnergyOxfordJun 13, 2018Mar 14, 2019sustainable energy advanced energy technologies renewable energy resources and technologies internet of things in energy
ICCF2018International Conference on Construction FuturesWolverhamptonAug 3, 2018Dec 19, 2018smart cities building information modelling autonomous construction robotics
TIE 20182nd EAI International Conference on Technology, Innovation, Entrepreneurship and EducationLondonMay 15, 2018Sep 4, 2018technology innovation entrepreneurship education
ApPLIED 2018Advanced tools, programming languages, and PLatforms for Implementing and Evaluating algorithms for Distributed systems (ApPLIED 2018)EghamMay 20, 2018Jul 27, 2018
MT4H 2018Third International Workshop on Mobile Technology for Healthcare, in conjunction with The 16th IEEE International Conference on Smart CityExeterMar 30, 2018Jun 27, 2018mobile technology iot mhealth smart city
BDAIR18Big Data AI and Robotics:Digital FuturesLeicesterApr 20, 2018Jun 28, 2018
#CAMRL2018Workshop on Computational Approaches to Morphologically Rich LanguagesLeedsMay 24, 2018Jul 3, 2018semantic annotation morphosyntactic annotation morphological annotation segmentation/tokenisation
BMRS 2018Bilingualism Matters Research Symposium 2018EdinburghMar 31, 2018Jun 1, 2018bilingualism language learning
IHIP 20182018 International Conference on Information Hiding and Image ProcessingManchesterJul 15, 2018Sep 22, 2018information hiding image processing it computer technology
ARQNL 20183rd International Workshop on Automated Reasoning in Quantified Non-Classical LogicsOxfordApr 15, 2018Jul 18, 2018
ARQNL 20183rd International Workshop on Automated Reasoning in Quantified Non-Classical LogicsOxfordApr 15, 2018Jul 18, 2018quantified non classical logics implementation of theorem proving systems proof theory and semantics applications and case studies
Tetrapod18Workshop on Modular Knowledge (Tetrapod) 2018Oxford
SC-square 2018Symbolic Computation and Satisfiability Checking 2018 (part of FLOC)OxfordApr 30, 2018Jul 11, 2018symbolic computation computer algebra smt solvers satisfiability checking
ThEdu'187th International Workshop on Theorem proving components for Educational softwareOxfordApr 15, 2018Jul 18, 2018educational software mathematics education engineering education
MSFP 20187th Workshop on Mathematically Structured Functional Progrmming 2018OxfordJul 8, 2018functional programming mathematical structure
SMT 201816th International Workshop on Satisfiability Modulo TheoriesOxfordApr 15, 2018Jul 12, 2018satisfiability modulo theories decision procedures
NSV'18Numerical Software Verification 2018OxfordJun 30, 2018Jul 18, 2019
NSPW 2018New Security Paradigms Workshop 2018WindsorApr 13, 2018Aug 28, 2018information security cybersecurity disruptive security ideas security in 2038
HPCMASPA 2018Workshop on Monitoring and Analysis for HPC Systems Plus ApplicationsBelfastJun 11, 2018Sep 10, 2018data collection application monitoring system operations system monitoring
AIED_WKSP_GILES1Workshop on Gamification of Intelligent Educational SystemsLondonApr 6, 2018Jun 27, 2018artificial intelligence gamification ai in education intelligent educational systems
APTIS2018APTIS 1st Annual ConferenceBirminghamMay 31, 2018Nov 23, 2018translation interpreting translator and interpretor training
HSMR18Hamlyn Symposium on Medical Robotics 2018LondonMar 28, 2018Jun 24, 2018
Borders & Boundaries 2018Debating the limits and possibilities of EducationLancasterMay 15, 2018Jul 3, 2018higher education mobilities technology enhanced learning education and social justice
DIPRC2018Digital Inclusion Policy and Research ConferenceLondonApr 29, 2018Jun 19, 2018
CSPSAT18Seventh International Workshop on the Cross-Fertilization Between CSP and SATOxfordApr 15, 2018Jun 7, 2018constraint programming satisfiability
PPIG 18Psychology of ProgrammingLondonJun 15, 2018Sep 4, 2018craft co design end user programming notation
AIED_WKSP_Psycho1Workshop on Authoring and Tutoring for Psychomotor, Mobile, and Medical domainsLondonApr 13, 2018Jun 27, 2018psychomotor skills medical skills mobile technologies intelligent tutoring
FMM1French in multilingual urban centres / Le français dans les métropoles multilinguesBirminghamMay 8, 2018Sep 12, 2018language variation language policy language contact french language
13thLangUE/2018Language at the University of Essex Postgraduate ConferenceColchesterApr 26, 2018Jun 14, 2018sociolinguistics language acquisition theoretical linguistics applied linguistics
SETS2018International Workshop about Sets and ToolsSouthamptonApr 9, 2018Jun 5, 2018
ESBS2018Essex Synthetic Biology School 2018ColchesterApr 15, 2018Jul 2, 2018synthetic biology bioinformatics genomics biological engineering
PRUV'18Workshop on Reasoning with Preferences, Uncertainty and VaguenessOxfordApr 15, 2018Jul 19, 2018reasoning logic vagueness uncertainty
PAAR-20186th Workshop on practical aspects of automated reasoningOxfordApr 15, 2018Jul 19, 2018automated reasoning implementation tools
THE INC 2018International Conference: Tourism, Hospitality & Events in a Changing WorldBuxtonFeb 12, 2018Jun 26, 2018tourism hospitality events management
ArmSummit-2018Arm Research Summit 2018CambridgeMay 11, 2018Sep 17, 2018computer architecture innovative technology hardware and software
2018 UKSCS Conference2018 UK Society for Co-operative Studies Research ConferenceSheffieldAug 20, 2018Aug 31, 2018history management cooperatives social economy
FCS 2018Workshop on Foundations of Computer Security 2018OxfordApr 15, 2018
ARCH185th International Workshop on Applied Verification of Continuous and Hybrid SystemsOxfordApr 6, 2018Jul 13, 2018verification formal methods hybrid systems industrial applications
EC-TEL 201813th European Conference for Technology-Enhanced LearningLeedsApr 29, 2018Sep 3, 2018technology enhanced learning e learning learning technologies educational technology
TeamTutoringWS_AIED2018Workshop on Assessment and Intervention during Team Tutoring at AIED 2018LondonApr 2, 2018Jun 30, 2018intelligent tutoring systems collaborative problem solving team tutoring
AIED_AIS1AIED 2018 Workshop: Exploring Opportunities to Standardize Adaptive Instructional Systems (AISs)LondonApr 11, 2018Jun 27, 2018standards interoperability adaptive instructional systems (aiss) intelligent tutoring systems (itss)
PHDMETHODOLOGY20186th LCSS PhD Methodology ConferenceLondonMar 26, 2018Jun 12, 2018undertaking fieldwork in online spaces ethical issues in conducting research using mixed methods and methodologies big data in social science
DCECTEL2018European Conference on Technology Enhanced Learning 2018, Doctoral Consortium WorkshopLeedsMay 28, 2018Sep 3, 2018
AHS-20182018 NASA/ESA Conference on Adaptive Hardware and SystemsEdinburghAug 6, 2018fpga reconfigurable adaptive artificial intelligence
OxGradConf2222nd Annual Oxford Philosophy Graduate ConferenceOxfordJul 16, 2018Nov 10, 2018philosophy
SAGCAP2018St Andrews Graduate Conference in Ancient Philosophy 2018St AndrewsMar 11, 2018Jun 5, 2018plato aristotle teleology nous
ICIME 20182018 10th International Conference on Information Management and EngineeringManchesterJul 15, 2018Sep 22, 2018information management information engineering e business modern management
HCVS 20185th Workshop on Horn Clauses for Verification and SynthesisOxfordApr 15, 2018Jul 13, 2018program analysis program verification constraint solving program synthesis
AM 2018Audio Mostly 2018 (13th International Conference: Sound in Immersion and Emotion)WrexhamMay 31, 2018Sep 12, 2018sound music interaction audio
SLX22SociolinguistEssex 22 ConferenceColchester, EssexJun 21, 2018sociolinguistics
QBF18International Workshop on Quantified Boolean Formulas and BeyondOxfordMay 1, 2018quantifiers automated reasoning quantified boolean formulas
HOR 189th Workshop on Higher-Order RewritingOxfordApr 15, 2018Jul 7, 2018rewriting lambda calculus higher order programming syntax and semantics of programming
Asylum2018Going Global: Steampunk and Transnational CulturesLincolnMar 30, 2018Aug 25, 2018
ELF1111th International Conference of English as a Lingua FrancaLondonJan 31, 2018Jul 4, 2018
WADT'1824th International Workshop on Algebraic Development TechniquesEghamMay 18, 2018Jul 2, 2018
ADR2018International Conference for Administrative Data ResearchBelfastMar 14, 2018Jun 21, 2018administrative data
BAAL LLTSIG 2018BAAL Language Learning and Teaching SIG Annual Conference 2018SouthamptonMar 16, 2018Jul 10, 2018language teaching and learning language education policy globalisation and language education innovation in language education
TESConf2018The 7th International Conference on Through-life Engineering ServicesCranfieldMay 20, 2018Nov 6, 2018
ICCCI 201810th International Conference on Computational Collective IntelligenceBristolApr 15, 2018Sep 5, 2018knowledge representation and reasoning multi agent systems data mining social networks
RTDPCC-20184th International Symposium on Real-time Data Processing for Cloud Computing (RTDPCC 2018)ExeterMar 15, 2018Jun 27, 2018internet of things cloud computing cyber physical systems real time data processing
ESLP 2018Embodied and Situated Language ProcessingLancasterApr 28, 2018Aug 10, 2018embodiment language cognition reproducibility
VaVAS-2018International Workshop on the Verification and Validation of Autonomous SystemsOxfordApr 22, 2018Jul 18, 2018autonomous systems verification validation
Overture 1616th Overture Workshop - New Capabilities and Applications for Model-based System EngineeringOxfordApr 15, 2018cyber physical systems model based systems engineering overture vdm
SDBE 2018Sustainable Design of the Built Environment: Research and PracticeLondonFeb 23, 2018Sep 12, 2018sustainable design resource efficiency building performance education for sustainability
PST2018Privacy Security Trust 2018BelfastMay 7, 2018Aug 28, 2018cybersecurity network and wireless security privacy preserving / enhancing technologies trust technologies and trust management
DF 2018V&A Digital FuturesLondonJul 9, 2018
MLP 2018Workshop on Machine Learning for ProgrammingOxfordApr 15, 2018Jul 18, 2018machine learning mining software repositories program analysis and synthesis big code
QAPL 2018Quantitative Aspects of Programming Languages and Systems 2018OxfordApr 15, 2018quantitative languages systems formal methods
ProvenanceWeek 20183rd ProvenanceWeek (2018)LondonMar 26, 2018Jul 9, 2018
LOLA 2018Syntax and Semantics of Low-Level Languages 2018OxfordApr 15, 2018Jul 7, 2018logic
WS-EM ISLE5Workshop "Extravagant Morphology" (ISLE5, London 2018)LondonFeb 15, 2018Jul 17, 2018morphology language variation language change word formation
PRO-VE 201819th IFIP Working Conference on Virtual EnterprisesCardiffApr 20, 2018Sep 17, 2018computer science information systems engineering business
EANN 201819th International Conference on Engineering Applications of Neural NetworksBristolMay 13, 2018Sep 3, 2018
PSYCON3Psycon - 'Psychology & Sustainable Construction’: Searching the gap between psychology and construction for a sustainable built environmentWolverhamptonAug 3, 2018Dec 19, 2018ergonomics human agency: building
CL&C 2018Classical Logic and Computation 2018 (Seventh of the series CL&C)OxfordMar 19, 2018Jul 7, 2018logic programming
ISC 201821st Information Security ConferenceLondon (Guildford)Apr 16, 2018Sep 9, 2018information security cryptography privacy
L@S2018Learning at Scale 2018LondonJan 21, 2018Jun 26, 2018learning technology learning science learning analytics online learning
2018 LRN Conference23rd Annual Conference of The Chartered Institute of Logistics and Transport, Logistics Research NetworkPlymouthJun 22, 2018Sep 5, 2018supply chain management logistics transportation maritime
IB2018Integrative Bioinformatics Symposium 2018HarpendenMay 7, 2018Jun 13, 2018protein function prediction biological networks omics data integration data mining
CIRC 20182018 International Workshop on Cyber Insurance and Risk Controls (CIRC)Glasgow, ScotlandFeb 26, 2018Jun 11, 2018cyber insurance cybersecurity metrics and their measurements security controls and standards cyber risk assessment
SetVR 2018International Workshop on Set Visualization and Reasoning 2018EdinburghFeb 19, 2018computer science visualization logic cognitive science
UNIF 201832nd International Workshop on UnificationOxfordApr 16, 2018Jul 7, 2018type checking unification algorithms matching algorithms higher order unification
AVOCS 201818th International Workshop on Automated Verification of Critical SystemsOxfordApr 20, 2018Jul 18, 2018formal methods automated verification software verification case studies
DCM 201812th International Workshop on Developments in Computational ModelsOxfordJul 8, 2018
ICIST20182018 International Conference on Intelligent Science and TechnologyLondonApr 25, 2018Jun 30, 2018intelligent science intelligent technology
IPP2018Internet, Policy and Politics 2018: Long Live Democracy?OxfordApr 2, 2018Sep 20, 2018internet public policy democracy political science
LFMTP'18Logical Frameworks and Meta Languages: Theory and Practice.OxfordApr 29, 2018Jul 7, 2018logical framework proof theory theorem proving programming languages
ST&D 201828th Annual Meeting of the Society for Text & DiscourseBrightonMar 16, 2018Jul 17, 2018conversation discourse analysis learning reading
DEA40International conference of Data Envelopment AnalysisBirminghamFeb 15, 2018Apr 16, 2018data envelopment analysis efficiency and productivity stochastic frontier analysis
CLS2018Child Language SymposiumReadingJan 15, 2018Jun 25, 2018language development multilingualism literacy development developmental language disorders
UKCI-2018The 18th Annual UK Workshop on Computational IntelligenceNottinghamApr 30, 2018Sep 5, 2018computational intelligence soft computing machine learning artificial intelligence
ABZ 2018ABZ 2018 (6th International Conference on ASM, Alloy, B, TLA, VDM and Z)SouthhamptonJan 29, 2018Jun 5, 2018
EVA London 2018Electronic Visualisation and the ArtsLondonJan 15, 2018Jul 9, 2018information technology interdisciplinary visualisation visual arts
LCICD 2018Lancaster Conference on Infant and Early Child DevelopmentLancasterMar 1, 2018Sep 5, 2018
ICIM20182018 4th International Conference on Information ManagementOxfordMar 20, 2018May 25, 2018information management technology e business economics
ICCMB20182018 International Conference on Computers in Management and BusinessLondonMar 20, 2018May 25, 2018information management modern management e business engineering information systems and technology
REFINE 2018Refinement WorkshopOxfordApr 23, 2018Jul 18, 2018formal methods refinement verification tools
DiGS2020th Diachronic Generative Syntax ConferenceYorkJan 8, 2018Jun 18, 2018diachronic syntax
ICLP 2018International Conference on Logic ProgrammingOxfordJan 29, 2018Jul 14, 2018logic programming constraint programming answer set programming declarative languages
iCCECE '18International Conference on Computing, Electronics and Communications Engineering 2018SouthendMay 31, 2018Aug 16, 2018
iCETiC ‘18International Conference on Emerging Technologies in Computing 2018LondonAug 23, 2018
Cyber Incident 2018International Conference on Cyber Incident Response, Coordination, Containment & Control (Cyber Incident 2018), June 11-12, 2018, Scotland, UKGlasgowFeb 26, 2018Jun 11, 2018cyber incident response decision control preparedness
Social Media 2018International Conference On Social Media, Wearable And Web Analytics (Social Media 2018), June 11-12, 2018, Scotland, UKGlasgowFeb 26, 2018Jun 11, 2018social media wearable web analytics web analytics and web surveillance
Cyber SA 2018International Conference on Cyber Situational Awareness, Data Analytics and Assessment (Cyber SA 2018), June 11-12, 2018, Scotland, UKGlasgowFeb 26, 2018Jun 11, 2018situation awareness in emerging areas situation awareness assessments collaborative defense approach cyber situation awareness
EIT2018International Conference on Biomedical Applications of Electrical Impedance TomographyEdinburghMar 3, 2018Jun 11, 2018inverse problems imaging instrumentation
UKSS 2018UK Systems Society Conference 2018PortsmouthDec 8, 2017Jun 24, 2018
Cyber Security 2018International Conference on Cyber Security and Protection of Digital Services (Cyber Security 2018), June 11-12, 2018, Scotland, UKGlasgowFeb 26, 2018Jun 11, 2018cyber security protection of digital services security operations centre ip geolocation and cyber travel
nanoMan20186th International Conference on NanomanufacturingUxbridge, MiddlesexMar 31, 2018Jul 4, 2018advanced nanomaterials ultraprecision and micro/nano machining laser micro/nano materials processing micro/nanopatterning
FSCD 2018Formal Structures for Computation and DeductionOxfordJan 22, 2018Jul 9, 2018logic computation programming verification
ICISO201818th International Conference on Informatics and Semiotics in OrganisationsReadingFeb 18, 2018Jul 16, 2018
POS-18Pragmatics of SAT 2018OxfordApr 15, 2018Jul 7, 2018computer science artificial intelligence
UITP 2018International Workshop on User Interfaces for Theorem Provers 2018OxfordJul 13, 2018user interfaces
SEES 2018International Conference on Sustainable Energy and Environment SensingCambridgeJun 18, 2018
ADSL2018First Workshop on Automated Deduction for Separation LogicsOxfordJul 13, 2018separation logic decision procedures complexity theorem proving
CSL18Computer Science Logic 2018BirminghamSep 4, 2018theoretical computer science logic
ITP 20189th International Conference on Interactive Theorem ProvingOxfordJan 31, 2018Jul 16, 2018interactive theorem proving formal verification
AIED 201819th International Conference on Artificial Intelligence in EducationLondonFeb 7, 2018Jun 25, 2018educational technology learning analytics ai in education
ISC 2018International Conference on Information Society and Smart CitiesCambridgeNov 5, 2017Jun 27, 2018computer science information society smart cities
IJCAR-20189th International Joint Conference on Automated ReasoningOxfordJan 29, 2018Jul 14, 2018automated reasoning
ESG 2018International Conference on Energy Engineering and Smart GridsCambridge CityJun 25, 2018engineering computer science energy smart grid
FM 201822nd International Symposium on Formal MethodsOxfordJan 22, 2018Jul 15, 2018interdisciplinary formal methods formal methods in practice tools for formal methods theoretical foundations
Copyright © 2002 – 2018 EasyChair