CFPs in Mathematics and Statistics

This page displays all currently active CFPs in Mathematics and Statistics.

### Areas

Click on an area below to view all CFPs in this area.

### CFPs

CFPs in Mathematics and Statistics are shown in the table below. Newer CFPs are displayed first.

| ||||||||

Acronym | Name | Location | Submission deadline | Start date | Topics | |||
---|---|---|---|---|---|---|---|---|

WEPA2018 | Second Workshop on Enumeration Problems and Applications | Pisa, Italy | Sep 3, 2018 | Nov 5, 2018 | algorithms listing enumeration counting | |||

Nemesis2018 | Recent Advances in Adversarial Machine Learning | Dublin, Ireland | Jul 2, 2018 | machine learning deep neural networks information security adversarial machine learning | ||||

UEBA 2018 | IEEE Intelligence and Security Informatics 2018, Workshop on User and Entity Behavior Analytics | Miami, FL, United States | Aug 17, 2018 | Nov 9, 2018 | security analytics machine learning data science insider threat | |||

BDC 2018 | Big Data Conference 2018 | Moscow, Russia | Aug 24, 2018 | Sep 14, 2018 | ||||

PSE2018 | Second Workshop Perspectives on Scientific Error | Groningen, Netherlands | Aug 17, 2018 | Oct 29, 2018 | replicability of research findings statistical reforms to address error social reforms to address error evidence aggregation | |||

ANALCO19 | Analytic Algorithmics and Combinatorics | San Diego, CA, United States | Aug 2, 2018 | Jan 4, 2019 | data structures combinatorics algorithm analysis | |||

DTL2018 | The First International Workshop on Deep and Transfer Learning | Valencia, Spain | Jul 15, 2018 | Oct 15, 2018 | deep learning transfer learning deep reinforcement learning machine learning | |||

DDA-2018 | International Conference on Data and Decisions Analysis | Moscow, Russia | Jul 20, 2018 | Oct 4, 2018 | ||||

ICMMC-2018 | International Conference on Mathematical Modeling and Computations | New Delhi, India | Oct 30, 2018 | Dec 1, 2018 | dynamical systems mathematical biology applications of odes and pdes | |||

CAAT2018 | Computer Algebra in the Age of Types | Linz, Austria | Jun 17, 2018 | dependent types programming languages computer mathematics | ||||

COALG AT FLOC 2018 | Coalgebra, Now | Oxford, UK | Jul 8, 2018 | theoretical computer science category theory programming languages logic | ||||

KTUBDS2018 | KTU big data school | KAUNAS, Lithuania | Sep 3, 2018 | decision trees for bigdata analytics big data preprocessing big data and financial analytics bigdata analytics methods (machine learning) | ||||

IWANN 2019 | 15th International Work-Conference on Artificial Neural Networks | Gran Canaria, Spain | Feb 1, 2019 | Jun 12, 2019 | neural networks evolutionary algorithms soft computing computational intelligence | |||

IWCIA'18 | International Workshop on Combinatorial Image Analysis | Porto, Portugal | Jun 15, 2018 | Nov 21, 2018 | digital/combinatorial geometry and topology image representation/segmentation/grouping/reconstruction computational geometry and imaging sciences integer/linear programming and graph theory | |||

DSEA2018 | The Second International Workshop on Data Science Engineering and its Applications | Valencia, Spain | Jul 15, 2018 | Oct 15, 2018 | data science big data mining knowledge management data driven scientific research | |||

AI^3 | Advances In Argumentation In Artificial Intelligence (Workshop of the conference AI*IA 2018 - 17th International Conference of the Italian Association for Artificial Intelligence) | Trento, Italy | Aug 8, 2018 | Nov 20, 2018 | argumentation theory argumentation mining reasoning under uncertainty | |||

NWPT'18 | 30th Nordic Workshop on Programming Theory | Oslo, Norway | Sep 1, 2018 | Oct 24, 2018 | programming languages programming logics formal specification language based security | |||

ICoMPAC 2018 | 4th International Conference on Mathematics: Pure, Applied and Computation | Palu, Indonesia | Aug 17, 2018 | Oct 20, 2018 | applied mathematics education pure mathematics computational mathematics | |||

ICRAPAM-2018 | Internationl Conference on Recent Advances in Pure and Applied Mathematics | New Delhi, India | Oct 23, 2018 | |||||

INOC 2019 | International Network Optimization Conference | Avignon, France | Feb 15, 2019 | Jun 10, 2019 | network optimization integer programming algorithms combinatorial optimization | |||

DLDay'18 | The ACM KDD 2018 Deep Learning Day | London, UK | Jul 1, 2018 | Aug 20, 2018 | deep learning neural networks representation learning data mining | |||

DMLE'18 | Workshop on Decentralized Machine Learning on the Edge in Conjunction with ECMLPKDD 2018 | Dublin, Ireland | Jul 2, 2018 | distributed learning parallelization decentralized machine learning | ||||

RCCS+SPIDTEC2 2018 | Regional Consortium for Computing Sciences and their Foundations + SPIDTEC2 2018 | Juarez, Mexico | Jul 8, 2018 | Nov 8, 2018 | mathematics of computing computational medicine and healthcare computing methodologies information systems | |||

CausalUAI2018 | Causal Inference Workshop at UAI | Monterey, CA, United States | May 20, 2018 | Aug 7, 2018 | causal inference policy evaluation causal discovery applications in economics | |||

BOOM! 2018 | Big Data Meets Formal Methods | Beijing, China | Jun 10, 2018 | Sep 8, 2018 | big data formal methods machine learning verification | |||

CAPNS2018 | Compositional Approaches in Physics, NLP, and Social Sciences | Nice, France | Jun 30, 2018 | Sep 3, 2018 | computational linguistics cognitive science game theory physics | |||

CCS18: Physics of Self-Organization | Conference on Complex Systems, 2018 | Thessaloniki, Greece | Jun 15, 2018 | Sep 23, 2018 | non equilibrium thermodynamics entropy information variational principles self organization positive and negative feedback | |||

FAACS 2018 | 2nd Workshop on Formal Approaches for Advanced Computing Systems | Madrid, Spain | Jun 11, 2018 | Sep 24, 2018 | formal methods software architecture | |||

iWML 2018 | 3rd Indian Workshop on Machine Learning | Varanasi, India | May 30, 2018 | Jul 1, 2018 | deep learning learning theory machine learning data science | |||

IFCS2019 | 16th Conference of the International Federation of Classification Societies | Thessaloniki, Greece | Aug 26, 2019 | statistics computer science data science | ||||

MIKE 2018 | 6th International Conference on Mining Intelligence and Knowledge Exploration | Cluj-Napoca, Romania | Jul 31, 2018 | Dec 20, 2018 | ||||

SFC 2018 | XXVèmes Rencontres de la Société Francophone de Classification | Paris, France | May 31, 2018 | Sep 5, 2018 | ||||

SeNPI-18 | Seminar Nasional Pendidikan Matematika dan Integrasinya | Surabaya, Indonesia | Aug 10, 2018 | |||||

FCA4AI 2018 | 6th Workshop 'What can FCA do for Artificial Intelligence?' | Stockholm, Sweden | May 23, 2018 | Jul 13, 2018 | ||||

CETL-MSOR 2018 | CETL-MSOR 2018: Evidencing Excellence in the Mathematical Sciences | Glasgow, UK | Jun 18, 2018 | Sep 5, 2018 | ||||

CMDM2018 | The Third Workshop on Computer Modelling in Decision Making | Saratov, Russia | Aug 1, 2018 | Nov 15, 2018 | decision making computer modeling operations research econometrics | |||

DD-LAC 2018 | Dynamics Days Latin America and the Caribbean 2018 | Punta Del Este, Uruguay | Jul 1, 2018 | Nov 26, 2018 | complex systems complex networks non linear dynamics chaos and fractals | |||

5 ERMAC | V Encontro Regional de Matemática Aplicada e Computacional - AL - BA - SE | Maceio, Brazil | Jun 11, 2018 | Jul 25, 2018 | ensino modelagem matemática matemática aplicada sistemas fuzzy | |||

DA2PL'2018 | From Multiple Criteria Decision Aid to Preference Learning | Poznań, Poland | Sep 1, 2018 | Nov 22, 2018 | preference learning preference elicitation learning to rank multiple criteria decision aid | |||

CIBB2018 | 15th International Conference on Computational Intelligence methods for Bioinformatics and Biostatistics | Lisbon, Portugal | Jun 24, 2018 | Sep 5, 2018 | bioinformatics | |||

Climathnet 2018 | Climathnet 2018 | Reading, UK | Jul 31, 2018 | Sep 19, 2018 | numerical modelling mathematics of climate ordinary and partial differential equations statistics and data assimilation | |||

bdexperts2018 | Big Data research projects 2018 | May 30, 2018 | ||||||

CI2018 | The 8th International Workshop on Climate Informatics | Boulder, CO, United States | Jun 30, 2018 | Sep 19, 2018 | earth science climate informatics statistics machine learning | |||

JDSE2018 | Paris-Saclay Junior Conference on Data Science and Engineering | Orsay, France | May 25, 2018 | Sep 13, 2018 | data science data engineering | |||

NCMA 2018 | 10th International Workshop on Non-Classical Models of Automata and Applications | Kosice, Slovakia | May 25, 2018 | Aug 21, 2018 | automata descriptional complexity bio computing decision problems | |||

ICoDIS 2018 | International Conference on Data and Information Science 2018 | Bandung, Indonesia | Aug 13, 2018 | Nov 15, 2018 | data science computational linguistics information science | |||

CP 2018 | Principles and Practice of Constraint Programming | Lille, France | Apr 18, 2018 | Aug 28, 2018 | constraint programming | |||

CGT 2018 | The 3rd Combinatorics and Graph Theory Conference | Chongqing, China | Aug 17, 2018 | Sep 15, 2018 | combinatorics graph theory | |||

DMCM 2018 | International Conference on Discrete Mathematics and Computer Mathematics | Chongqing, China | Aug 15, 2018 | Sep 15, 2018 | discrete mathematics computer mathematics | |||

SMMA 2018 | International Conference on Statistics, Mathematical Modelling and Analysis | Chongqing, China | Aug 15, 2018 | Sep 15, 2018 | statistics mathematical modelling analysis | |||

CMIS2018 | Conference on Mathematics, Informatics and Statistics | Kuala Terengganu, Malaysia | Oct 29, 2018 | computer science mathematics statistics | ||||

Ural-PDC 2018 | 4th Ural Workshop on Parallel, Distributed, and Cloud Computing for Young Scientists | Yekaterinburg, Russia | Jul 1, 2018 | Oct 19, 2018 | high performance computing cloud computing | |||

LC18 | Logic Colloquium 2018 | Udine, Italy | Apr 27, 2018 | Jul 23, 2018 | ||||

AAG2018 | Advances in Architecural Geometry 2018 | Gothenburg, Sweden | Apr 23, 2018 | Sep 24, 2018 | architecture engineering geometry computational design | |||

CNCG2018 | IX Conferência Nacional de Cartografia e Geodesia | Amadora, Portugal | Jul 31, 2018 | Oct 25, 2018 | geodesy hidrography surveying photogrammetry | |||

DLPR2018 | The Second International Workshop on Deep Learning for Pattern Recognition | Beijing, China | Aug 20, 2018 | |||||

SNMAM 2018 | Track on Social Network and Media Analysis and Mining | Lima, Peru | Jun 7, 2018 | Sep 3, 2018 | social network analysis data mining machine learning big data | |||

MiLeTS18 | 4th SIGKDD Workshop on Mining and Learning from Time Series | London, UK | May 15, 2018 | Aug 20, 2018 | time series analysis spatiotemporal forecasting | |||

ODD v5.0 | ODD v5.0 @ KDD 2018: Workshop on Outlier Detection De-constructed | London, UK | May 15, 2018 | data mining ensemble methods anomaly mining explainable ai | ||||

ERL-2018 | Exploration in Reinforcement Learning: Workshop at ICML 2018 | Stockholm, Sweden | reinforcement learning exploration | |||||

CD 2018 | The 2018 ACM SIGKDD Workshop on Causal Discovery | London, UK | Aug 20, 2018 | causal discovery data mining graphical model statistics | ||||

SAMSA2018 | Southern African Mathematical Science Association Annual Conference 2018 | Palapye, Botswana | Aug 31, 2018 | Nov 19, 2018 | algebra and analysis industrial and financial mathematics mathematical biology probability and statistics | |||

C-SIDE2018 | ICWSM Workshop on Computational Social Science of Innovation Diffusion and Evolution (C-SIDE) | Stanford, CA, United States | May 5, 2018 | Jun 28, 2018 | social media innovation diffusion github computational social science | |||

AutoML2018 | International Workshop on Automatic Machine Learning | Stockholm, Sweden | Jul 14, 2018 | meta learning bayesian optimization machine learning automatic machine learning | ||||

TADGM 2018 | Theoretical Foundations and Applications of Deep Generative Models | Stockholm, Sweden | May 31, 2018 | Jul 14, 2018 | machine learning deep learning artificial intelligence | |||

IJCAI AffComp 2018 | 2nd International Joint Conference on Artificial Intelligence (IJCAI) Workshop on Artificial Intelligence in Affective Computing | Stockholm, Sweden | May 15, 2018 | Jul 16, 2018 | artificial intelligence affective computing | |||

SBMF 2018 | 21st Brazilian Symposium on Formal Methods | Salvador, Brazil | Jul 13, 2018 | Nov 26, 2018 | theoretical computer science formal methods software verification | |||

RECPAD 2018 | Portuguese Conference on Pattern Recognition | Coimbra, Portugal | Sep 10, 2018 | Oct 26, 2018 | pattern recognition machine learning data mining statistical methods | |||

ISM-IV 2018 | The 4th ISM International Statistical Conference | Sunway City, Malaysia | Jul 10, 2018 | Aug 1, 2018 | statistics and mathematics applied statistics computational statistics others | |||

RANDOM 2018 | 22nd International Conference on Randomization and Computation | Princeton, NJ, United States | Apr 20, 2018 | Aug 20, 2018 | ||||

HFFE 2018 | Frontiers in High-Frequency Financial Econometrics | Pisa, Italy | Jun 18, 2018 | Sep 28, 2018 | high frequency finance econometric modeling volatility and liquidity market microstructure analysis | |||

CBR-MD 2018 | International Workshop Case-Based Reasoning | New York, Germany | Mar 20, 2018 | Jul 12, 2018 | case based reasoning case mining similarity assessment case based maintenance | |||

PyDataBerlin2018 | PyData Berlin 2018 | Berlin, Germany | Mar 31, 2018 | Jul 6, 2018 | python data science | |||

BigDSSAgro2018 | II International Conference on Agro BigData and DSS in Agriculture | Lleida, Spain | Apr 14, 2018 | Jul 11, 2018 | operational research sustainability indicators modelling sensor big data techniques | |||

CIKM2018 | ACM International Conference on Information and Knowledge Management | Turin, Italy | May 22, 2018 | Oct 23, 2018 | databases information retrieval knowledge management | |||

DSA 2018 | Data Science Africa Workshop 2018 | Nyeri, Kenya | Apr 30, 2018 | May 31, 2018 | data science machine learning environmental monitoring healthcare | |||

ADMA2018 | 14th ANNUAL ADMA CONFERENCE & GRAPH THEORY DAY | Gandhinagar, India | Jun 6, 2018 | graph theory coding theory cryptography emerging topics in discrete mathematics | ||||

FMLAMAS 2018 | Formal Methods and Logical Aspects of Multi-Agent Systems | Stockholm, Sweden | Apr 20, 2018 | Jul 9, 2018 | multi agent systems formal methods game theory | |||

ARQNL 2018 | 3rd International Workshop on Automated Reasoning in Quantified Non-Classical Logics | Oxford, UK | Apr 15, 2018 | Jul 18, 2018 | ||||

ARQNL 2018 | 3rd International Workshop on Automated Reasoning in Quantified Non-Classical Logics | Oxford, UK | Apr 15, 2018 | Jul 18, 2018 | quantified non classical logics implementation of theorem proving systems proof theory and semantics applications and case studies | |||

SC-square 2018 | Symbolic Computation and Satisfiability Checking 2018 (part of FLOC) | Oxford, UK | Apr 30, 2018 | Jul 11, 2018 | symbolic computation computer algebra smt solvers satisfiability checking | |||

ISMI-ICTAS 2018 | International Seminar on Mathematics in Industry & International Conference on Theoretical and Applied Statistics 2018 | Kuala Lumpur, Malaysia | Aug 15, 2018 | Sep 4, 2018 | applied mathematics operational research theoretical and applied statistics computational mathematics | |||

CORS 2018 - Student Competition Open Category | Canadian Operational Research Society Annual Conference 2018 - Student Paper Competition, Open Category). | Halifax, Canada | Mar 31, 2018 | Jun 4, 2018 | ||||

OMNeT Summit 2018 | 5th International OMNeT++ Community Summit 2018 | Pisa, Italy | Jul 2, 2018 | Sep 5, 2018 | simulation modeling omnet++ | |||

CAMAI 2018 | The 13th Conference on Applied Mathematics and Informatics | Bucharest, Romania | Oct 17, 2018 | Nov 9, 2018 | applied mathematics applied informatics mathematical biology information technology | |||

TIME 2018 | TIME International Symposium on Temporal Representation and Reasoning | Warsaw, Poland | May 24, 2018 | Oct 15, 2018 | ||||

HPCMASPA 2018 | Workshop on Monitoring and Analysis for HPC Systems Plus Applications | Belfast, UK | Jun 11, 2018 | Sep 10, 2018 | data collection application monitoring system operations system monitoring | |||

formphil2018 | International Conference "Formal Philosophy" | Moscow, Russia | Apr 30, 2018 | Oct 1, 2018 | logic formal ontology formal philosophy formal epistemology | |||

CECC18 | The 18th Central European Conference on Cryptology | Smolenice, Slovakia | Apr 8, 2018 | Jun 6, 2018 | cryptanalysis cryptography pseudorandomness steganography | |||

QOD 2018 | 1st Workshop on Quality of Open Data | Berlin, Germany | May 27, 2018 | Jul 18, 2018 | data quality information extraction open data data science | |||

AIST'18 | The 7th International Conference on Analysis of Images, Social Networks, and Texts | Moscow, Russia | Apr 25, 2018 | Jul 5, 2018 | data science data mining machine learning natural language processing | |||

LeGO2018 | 14th Int. Workshop on Global Optimization | Leiden, Netherlands | Jun 1, 2018 | Sep 18, 2018 | ||||

WAOA2018 | 16th Workshop on Approximation and Online Algorithms | Helsinki, Finland | Jun 24, 2018 | Aug 23, 2018 | competitive analysis approximation algorithms | |||

MOLI2018 | Modern Online Algorithms | Prague, Czechia | Apr 30, 2018 | Jul 9, 2018 | online algorithms competitive analysis measures for online algorithms | |||

LSFA 2018 | 13th Workshop on Logical and Semantic Frameworks with Applications | Fortaleza, Brazil | Jun 10, 2018 | Sep 26, 2018 | automated deduction logic semantics | |||

Cryptology2018 | 6th International Cryptology and Information Security Conference 2018 | Putrajaya, Malaysia | Apr 14, 2018 | Jul 9, 2018 | information security codes cryptology | |||

IWSEC 2018 | The 13th International Workshop on Security | Sendai, Japan | Apr 2, 2018 | Sep 3, 2018 | information security cybersecurity cryptography privacy preserving | |||

MMET*2018 | 17th International Conference on Mathematical Methods in Electromagnetic Theory | Kyiv, Ukraine | May 22, 2018 | Jul 2, 2018 | mathematical methods electromagnetic theory scattering eigenvalue problem | |||

KEDS2018 | Knowledge Engineering and Data Science | Jul 7, 2018 | data science big data data mining knowledge engineering | |||||

ARCH18 | 5th International Workshop on Applied Verification of Continuous and Hybrid Systems | Oxford, UK | Apr 6, 2018 | Jul 13, 2018 | verification formal methods hybrid systems industrial applications | |||

PROOFS 2018 | 7th International Workshop on Security Proofs for Embedded Systems | Amsterdam, Netherlands | Jun 22, 2018 | Sep 13, 2018 | physical security (automated) security proofs formal methods in security synergy between security and reliability | |||

JCDS18 | Joint Conference on Data Science 2018 | Edinburgh, UK | May 22, 2018 | big data machine learning ethics data science | ||||

SYNASC 2018 | 20th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing | Timisoara, Romania | Jun 24, 2018 | Sep 20, 2018 | symbolic computation scientific computing algorithms numeric computation | |||

TNC'18 | Trusted Numerical Computations | Krakow, Poland | Apr 30, 2018 | Jun 19, 2018 | formal methods verification and validation | |||

GandALF 2018 | Ninth International Symposium on Games, Automata, Logics, and Formal Verification | Saarbrücken, Germany | Jun 15, 2018 | Sep 26, 2018 | automata theory games verification | |||

LMNID-18 | NetSci2018 Satellite Symposium: Livestock Movement Networks & Infectious Disease | Paris, France | Mar 23, 2018 | Jun 12, 2018 | network science veterinary epidemiology | |||

HOR 18 | 9th Workshop on Higher-Order Rewriting | Oxford, UK | Apr 15, 2018 | Jul 7, 2018 | rewriting lambda calculus higher order programming syntax and semantics of programming | |||

MLCS18 | First Workshop on Machine Learning for Computing Systems | Tempe, AZ, United States | Apr 9, 2018 | Jun 12, 2018 | machine learning high performance computing resilience | |||

CICM-2018 | Intelligent Computer Mathematics | Hagenberg, Austria | Apr 22, 2018 | Aug 13, 2018 | knowledge management computer algebra theorem proving digital mathematical libraries | |||

PATAT 2018 | 12th International Conference on the Practice and Theory of Automated Timetabling | Vienna, Austria | Aug 28, 2018 | |||||

SCRIT'2018 | Studies on Computer Research and Information Technology | Mar 31, 2018 | data mining web services optimization signal or image processing | |||||

DMM 2018 | International Workshop on Data Mining in Marketing DMM'2018 | New York, NY, United States | Mar 20, 2018 | Jul 13, 2018 | applications in marketing e marketing with data mining online targeting controlling behaviorial targeting user profiling logfile analysis | |||

PPSN 2018 | The Fifteenth International Conference on Parallel Problem Solving from Nature | Coimbra, Portugal | Apr 3, 2018 | Sep 8, 2018 | evolutionary computation natural computing artificial life | |||

CADGME-2018 | 7th CADGME - Conference on Computer Algebra and Dynamic Geometry Systems in Mathematics Education | Coimbra, Portugal | Mar 20, 2018 | Jun 23, 2018 | technology mathematics teaching and learning arts and mathematics | |||

ADG2018 | 12th International Conference on Automated Deduction in Geometry | Nanning, China | May 25, 2018 | Sep 11, 2018 | polynomial algebra algebraic methods for geometric computation geometry software applications to computer science | |||

2018 ACSGAKC | The third Summer School and Conference on Geometric Algebra and Kähler Calculus | Milano, Italy | Jul 23, 2018 | geometric algebra interdisciplinary research clifford algebra kaehler calculus | ||||

EPIO y ENDIO 2018 | XXIX EPIO (Escuela de Perfeccionamiento en Investigación Operativa) y XXXI ENDIO (Encuentro Nacional de Docentes en Investigación Operativa) 2018 | Mar Del Plata, Argentina | Mar 12, 2018 | Jun 6, 2018 | investigación operativa resolución de problemas matemática aplicada estadística | |||

BALCOR 2018 | XIII Balkan Conference on Operational Research - "OR in Balkans - Recent Advances" | Belgrade, Serbia | May 25, 2018 | |||||

FEW 2018 | Formal Epistemology Workshop 2018 | Toronto, Canada | Feb 12, 2018 | Jun 12, 2018 | ||||

MLABSED 2017 | Machine learning in analysis of biomedical and socio-economic data | Saint-Petersburg, Russia | Feb 10, 2018 | machine learning biomedical data mining socio economic data mining | ||||

GraML 2018 | Second Workshop on the Intersection of Graph Algorithms and Machine Learning | Vancouver, Canada | Feb 1, 2018 | May 25, 2018 | graph algorithms machine learning | |||

GameSec 2018 | Conference on Decision and Game Theory for Security 2018 | Seattle, WA, United States | Jun 22, 2018 | Oct 29, 2018 | game theory security and privacy control for security risk assessment | |||

SMADES 2018 | Smart Delivery Systems: Optimizing Complex Vehicle Routing Problems (Elsevier) | Amsterdam, Netherlands | Jun 30, 2018 | optimization operations research smart delivery and routing machine learning | ||||

MLP 2018 | Workshop on Machine Learning for Programming | Oxford, UK | Apr 15, 2018 | Jul 18, 2018 | machine learning mining software repositories program analysis and synthesis big code | |||

ALHawaii 2018 | Algebras and Lattices in Hawaii: honoring Ralph Freese, Bill Lampe and JB Nation | Honolulu, NY, United States | Feb 20, 2018 | May 22, 2018 | universal algebra concept analysis lattice theory horn logic and applications | |||

BSC 2018 | 29th Biennial Symposium on Communications | Toronto, Canada | Mar 4, 2018 | Jun 6, 2018 | information theory communications signal processing | |||

CompIMAGE'18 | 6th International Symposium CompIMAGE’18: Computational Modeling of Objects Presented in Images Fundamentals, Methods and Applications | Cracow, Poland | Apr 1, 2018 | Jul 2, 2018 | image segmentation machine vision medical imaging data visualization | |||

iFM 2018 | 14th International Conference on integrated Formal Methods | Maynooth, Ireland | May 2, 2018 | Sep 5, 2018 | formal methods verification program synthesis runtime analysis | |||

ACRMS2018 | The 33rd Annual Conference of Ramanujan Mathematical Society | Delhi, India | Mar 31, 2018 | Jun 1, 2018 | mathematics | |||

CL&C 2018 | Classical Logic and Computation 2018 (Seventh of the series CL&C) | Oxford, UK | Mar 19, 2018 | Jul 7, 2018 | logic programming | |||

EWGLA 2018 | XXIV EURO Working Group on Locational Analysis meeting | Edinburgh, UK | Jan 31, 2018 | May 23, 2018 | ||||

ICMDM 2018 | International Conference on Mechanical and Digital Manufacturing | Tokyo, Japan | Mar 30, 2018 | Jun 1, 2018 | mechanical automation design digital manufacturing | |||

GABB'18 | Graph Algorithms Building Blocks Workshop 2018 | Vancouver, B.C., Canada | Feb 13, 2018 | May 20, 2018 | graphs graph algroithms frameworks and libraries applications of graph algorithms | |||

L18 | Logica 2018 | Hejnice, Czechia | Jun 19, 2018 | |||||

IJCRS'2018 | International Joint Conference on Rough Sets 2018 | Quy Nhon, Viet Nam | Mar 31, 2018 | Aug 20, 2018 | applications rough set models and methods related methods and hybridization | |||

GTM2018 | The Twelfth International Conference on Game Theory and Management | Saint-Petersburg, Russia | Jun 27, 2018 | |||||

SciSec2018 | International Conference on Science of Cyber Security | Beijing, China | May 1, 2018 | Aug 12, 2018 | cybersecurity science of security | |||

SetVR 2018 | International Workshop on Set Visualization and Reasoning 2018 | Edinburgh, UK | Feb 19, 2018 | computer science visualization logic cognitive science | ||||

UNIF 2018 | 32nd International Workshop on Unification | Oxford, UK | Apr 16, 2018 | Jul 7, 2018 | type checking unification algorithms matching algorithms higher order unification | |||

LAWCI 2018 | Latin American Week on Coding and Information 2018 | Campinas, Brazil | Apr 22, 2018 | Jul 22, 2018 | information theory channel coding source coding cryptography | |||

C2IS-SEA 2018 | The 1st Codes, Cryptology & Information Security Southeast Asia 2018 | Putrajaya, Malaysia | Feb 5, 2018 | Jul 9, 2018 | information security codes cryptology | |||

RCAI2018 | Russian Conference on Artificial Intelligence | Moscow, Russia | May 15, 2018 | Sep 24, 2018 | artificial intelligence robotics planning machine learning | |||

ICMIE 2018 | 2018 3rd International Conference on Measurement Instrumentation and Electronics | Lille, France | May 15, 2018 | Jul 4, 2018 | electronics information processing environmental engineering measurement instrumentation | |||

ICPAM 2018 | 2018 The 7th International Conference on Pure and Applied Mathematics | Budapest, Hungary | May 15, 2018 | Jul 10, 2018 | applied mathematics biology image processing computational physics | |||

AofA2018 | 29th International Conference on Probabilistic, Combinatorial, and Asymptotic Methods in the Analysis of Algorithms | Uppsala, Sweden | Feb 8, 2018 | Jun 25, 2018 | analytic algorithmics and combinatorics probabilistic analysis of algorithms randomized algorithms | |||

RAMiCS 2018 | 17th International Conference on Relational and Algebraic Methods in Computer Science | Groningen, Netherlands | Apr 20, 2018 | Oct 28, 2018 | computer science mathematics algebra logic | |||

Trends2018 | Trends in Logic XVIII | Milan, Italy | Sep 24, 2018 | modal logic epistemic logic deontic logic hyperintensional semantics | ||||

OPTA-2018 | 7th International Conference on Optimization Problems and Their Applications | Omsk, Russia | Feb 9, 2018 | Jul 8, 2018 | operations research discrete optimization applications of optimization methods metaheuristics and local search methods | |||

ICEMP 2018 | 2018 The 7th International Conference on Engineering Mathematics and Physics | Prague, Czechia | Apr 25, 2018 | Jun 15, 2018 | algorithms mathematics artificial intelligence | |||

ICNSAM 2018 | 2018 The 3rd International Conference on Natural Science and Applied Mathematics | Prague, Czechia | Apr 25, 2018 | Jun 15, 2018 | natural science applied mathematics biology geophysics | |||

AIMSA 2018 | The 18th International Conference on Artificial Intelligence: Methodology, Systems, Applications | Varna, Bulgaria | May 31, 2018 | Sep 12, 2018 | ||||

S+SSPR 2018 | IAPR Joint International Workshops on Statistical Techniques in Pattern Recognition (SPR 2018) and Structural and Syntactic Pattern Recognition (SSPR 2018) | Beijing, China | May 1, 2018 | Aug 17, 2018 | pattern recognition computer vision machine learning applications of pattern recognition | |||

DEA40 | International conference of Data Envelopment Analysis | Birmingham, UK | Feb 15, 2018 | Apr 16, 2018 | data envelopment analysis efficiency and productivity stochastic frontier analysis | |||

UKCI-2018 | The 18th Annual UK Workshop on Computational Intelligence | Nottingham, UK | Apr 30, 2018 | Sep 5, 2018 | computational intelligence soft computing machine learning artificial intelligence | |||

CTW18 | Cologne-Twente Workshop on Graphs and Combinatorial Optimization 2018 | Paris, France | Feb 1, 2018 | Jun 18, 2018 | combinatorial optimization graph theory mathematical programming theory of algorithms | |||

EUCCO18 | European Conference on Computational Optimization | Trier, Germany | Sep 10, 2018 | |||||

JADT'2018 | 14th International Conference on Statistical Analysis of Textual Data | Rome, Italy | Jan 21, 2018 | Jun 12, 2018 | text mining textual statistics discourse analysis quantitative linguistics | |||

ICDM 2018 | 18th Industrial Conference on Data Mining | New York, NY, United States | Feb 15, 2018 | Jul 11, 2018 | data mining signal processing computing big data | |||

MLDM 2018 | 14th International Conference on Machine Learning and Data Mining | New York, NY, United States | Feb 15, 2018 | Jul 14, 2018 | signal processing computing data mining image processing | |||

MH2018 | Matheuristics 2018 | Tours, France | Dec 1, 2017 | Jun 18, 2018 | ||||

MDA 2018 | 13th International Conference on Mass Data Analysis of Images and Signals | New York, NY, United States | Mar 15, 2018 | Jul 7, 2018 | data mining computing big data signal processing | |||

CSC18 | 8th SIAM Workshop on Combinatorial Scientific Computing 2018 | Bergen, Norway | Dec 15, 2017 | Jun 6, 2018 | scientific computing graph algorithms high performance computing | |||

SETA 2018 | Sequences and Their Applications (SETA) 2018 | Hong Kong, China | May 22, 2018 | Oct 1, 2018 | ||||

IWOBIP '18 | 2nd International Workshop on Bilevel Programming | Lille, France | Jan 15, 2018 | Jun 18, 2018 | operations research bilevel programming | |||

ICRAT 2018 | 8th International Conference on Research in Air Transportation | Castelldefels, Catalonia, Spain | Feb 16, 2018 | Jun 25, 2018 | air transportation system performance measurement aviation decision support systems aviation network management and optimization trajectory optimization and management | |||

QUALICO 2018 | International Quantitative Linguistics Conference | Wroclaw, Poland | Jan 30, 2018 | Jul 5, 2018 | quantitative linguistics machine learning text mining computational linguistics | |||

IWOCA 2018 | 29th International Workshop on Combinational Algorithms | Singapore | Jul 16, 2018 | |||||

ARITH25 | The 25th IEEE International Symposium on Computer Arithmetic | Amherst, MA, United States | Feb 7, 2018 | Jun 25, 2018 | ||||

EURO/ALIO 2018 | EURO/ALIO International Conference 2018 on Applied Combinatorial Optimization | Bologna, Italy | Jan 8, 2018 | Jun 25, 2018 | ||||

CPAIOR 2018 | 15th International Conference on the Integration of Constraint Programming, Artificial Intelligence, and Operations Research | Delft, Netherlands | Dec 15, 2017 | Jun 26, 2018 | constraint programming integer programming combinatorial optimization artificial intelligence | |||

CMWR2018 | Computational Methods in Water Resources XXII | Saint-Malo, France | Nov 15, 2017 | Jun 3, 2018 | water resources computational science applied mathematics data science | |||

ITP 2018 | 9th International Conference on Interactive Theorem Proving | Oxford, UK | Jan 31, 2018 | Jul 16, 2018 | interactive theorem proving formal verification | |||

ICAME18 | International Conference on Applied Mathematics in Engineering | Balikesir, Turkey | Apr 10, 2018 | Jun 27, 2018 | applied mathematics fractional calculus control optimization | |||

ALG-ROUGH'2018 | Algebraic Methods in General Rough Sets : Trends in Mathematics Series | Feb 15, 2018 | algebraic approaches to rough sets logics of approximate reasoning formal approaches to vagueness constructive algebras of rough sets | |||||

JSC-DG&AR-SI 2018 | Special Issue of the Journal of Symbolic Computation on Dynamic Geometry and Automated Reasoning | Feb 1, 2018 | automated reasoning dynamic geometry applications |