Proceedings Collection

I. Konferensi yang Diorganisir oleh USENIX (the Advances Computing Systems Association)

1. 3GSE’15 (2015 USENIX Summit on Gaming, Games, and Gamification in Security Education)
2. 5th Annual Linux Showcase & Conference (November 5-10, 2001)
3. Fifth Smart Card Research and Advanced Application Conference (November, 21-22, 2002)
4. 6th USENIX Conference on Object-Oriented Technologies and Systems (January 29-February 2, 2001)
5. 9th USENIX Workshop on Cyber Security Experimentation and Test (August 8, 2016)
6. DETER Community Workshop on Cyber Security Experimentation and Test 2007 (August 6-7, 2007)
7. 2nd Conference on Domain-Specific Languages (October 3-5, 1999)
8. Usability, Psychology, and Security (UPSEC’08)
9. 2nd Workshop on Industrial Experiences with Systems Software (December 8, 2002)
10.2014 Electronic Voting Technology Workshop/Workshop on Trustworthy Elections (August 18-19, 2014)
11.15th USENIX Conference on File and Storage Technologies (February 27-March 2, 2017)
12.9th International Workshop on Feedback Computing (June 17, 2014
13.6th USENIX Workshop on Free and Open Communications on the Internet (August 8, 2016)
14.3rd USENIX Workshop on Health Security and Privacy (August 6-7, 2012
15.Workshop on Hot Topics in Management of Internet, Cloud, and Enterprise Networks and Services (March 29, 2011)
16.8th USENIX Workshop on Hot Topics in Cloud Computing (June 20-21, 2016)
17.10th Workshop on Hot Topics in System Dependability (October 5, 2014
18.15th Workshop on Hot Topics in Operating Systems (May 18-20, 2015)
19.5th USENIX Workshop on Hot Topics in Parallelism (June 24-25, 2013)
20.6th Workshop on Power-Aware Computing and Systems (October 5, 2014)
21.7th USENIX Workshop on Hot Topics in Security (August 7, 2012)
22.8th USENIX Workshop on Hot Topics in Storage and File Systems (June 20-21, 2016)
23. 11th International Conference on Automatic Computing (June 18-20, 2014)
24.Proceedings of the 1st Workshop on Intrusion Detection and Network Monitoring (April 9-12, 1999)
25.Internet Measurement Conference 2005
26.9th International Workshop on Peer-to-Peer Systems (April 27, 2010
27.Java Virtual Machine Research and Technology Symposium (April 23-24, 2001)
28.6th USENIX Workshop on Large-Scale Exploits and Emergent Threats
29.29th Large Installation System Administration Conference (LISA15), November 8-13, 2015
30.3rd Large Installation System Administration of WINDOWS NT/2000 Conference, July 30-August 2, 2000
31.The Third International Conference on Mobile Systems, Applications, and Services (MobiSys2005), June 6-8, 2005
32.14th USENIX Symposium on Networked Systems Design and Implementation, March 27-29, 2017
33.12th USENIX Symposium on Operating Systems Design and Implementation, November 2-4, 2016
34.1st Workshop on Smartcard Technology, May 10-11, 1999
35.Twelfth Symposium on Usable Privacy and Security (SOUPS 2016), June 22-24, 2016
36.3rd Workshop on Steps to Reducing Unwanted Traffic on the Internet, June 18, 2007. Santa Clara, Ca.
37.8th USENIX Workshop on the Theory and Practice of Provenance, June 8-9, 2016. Washington, D.C., USA
38.6th Annual Tcl/Tk Conference, September 14-18, 1998. San Diego, California
39.2016 USENIX Annual Technical Conference, June 22-24, 2016. Denver, Co.
40.25th USENIX Security Symposium, August 10-12, 2016. Austion, TX
41.4th USENIX Symposium on Internet Technologies and Systems, March 26-28, 2003. Seattle, WA
42.3rd Virtual Machine Research & Technology Symposium, May 6-7, 2004. San Jose, California
43.3rd USENIX Conference on Web Application Development, June 13, 2012. Boston, MA
44.Windows NT 3rd Symposium, July 12-15, 1999
45.3rd Workshop on I/O Virtualization, Jun 14, 2011
46.10th USENIX Workshop on Offensive Technologies, August 8-9, 2016
47.3rd USENIX Workshop on Real, Large Distributed Systems, November 5, 2006
48.3rd Workshop on Online Social Networks, June 22, 2010
49. Workshop on Organizing Workshops, Conferences, and Symposia for Computer Systems, April 15, 2008

II. Conference on Neural and Information Processing System
(merupakan konferensi di bidang machine learning dan computational neuroscience yang diadakan setiap bulan Desember)
50.Advances in Neural Information Processing Systems 29 (NIPS 2016)
51.Advances in Neural Information Processing Systems 28 (NIPS 2015)
52.Advances in Neural Information Processing Systems 27 (NIPS 2014)
53.Advances in Neural Information Processing Systems 26 (NIPS 2013)
54.Advances in Neural Information Processing Systems 25 (NIPS 2012)
55.Advances in Neural Information Processing Systems 24 (NIPS 2011)
56.Advances in Neural Information Processing Systems 23 (NIPS 2010)
57.Advances in Neural Information Processing Systems 22 (NIPS 2009)
58.Advances in Neural Information Processing Systems 21 (NIPS 2008)
59.Advances in Neural Information Processing Systems 20 (NIPS 2007)
60.Advances in Neural Information Processing Systems 19 (NIPS 2006)
61.Advances in Neural Information Processing Systems 18 (NIPS 2005)
62.Advances in Neural Information Processing Systems 17 (NIPS 2004)
63.Advances in Neural Information Processing Systems 16 (NIPS 2003)
64.Advances in Neural Information Processing Systems 15 (NIPS 2002)
65.Advances in Neural Information Processing Systems 14 (NIPS 2001)
66.Advances in Neural Information Processing Systems 13 (NIPS 2000)
67.Advances in Neural Information Processing Systems 12 (NIPS 1999)
68.
Advances in Neural Information Processing Systems 11 (NIPS 1998)
69.
Advances in Neural Information Processing Systems 10 (NIPS 1997)
70.
Advances in Neural Information Processing Systems 9 (NIPS 1996)

III. Pacific Asia Conference on Information Systems (PACIS) Proceedings
71.PACIS 2016 Proceedings
72.PACIS 2015 Proceedings
73.PACIS 2014 Proceedings
74.PACIS 2013 Proceedings
75.PACIS 2012 Proceedings
76.PACIS 2011 Proceedings
77.PACIS 2010 Proceedings
78.PACIS 2009 Proceedings
79.PACIS 2008 Proceedings
80.PACIS 2007 Proceedings
81.PACIS 2006 Proceedings
82.PACIS 2005 Proceedings
83.PACIS 2004 Proceedings
84.PACIS 2003 Proceedings
85.PACIS 2002 Proceedings

IV.Prosiding International Conference on Information Systems (ICIS):
86.ICIS 2016 Proceedings
87.ICIS 2015 Proceedings
88.ICIS 2014 Proceedings
89.ICIS 2013 Proceedings
90.ICIS 2012 Proceedings
91.ICIS 2011 Proceedings
92.ICIS 2010 Proceedings
93.ICIS 2009 Proceedings
94.ICIS 2008 Proceedings
95.ICIS 2007 Proceedings
96.ICIS 2006 Proceedings
97.ICIS 2005 Proceedings
98.ICIS 2004 Proceedings
99.ICIS 2003 Proceedings
100.ICIS 2002 Proceedings

V.Text REtrieval Conference (TREC)
101.The Tenth Text REtrieval Conference (TREC 2001)
102.The Eleventh Text Retrieval Conference (TREC 2002)
103.The Twelfth Text Retrieval Conference (TREC 2003)
104.The Thirteenth Text Retrieval Conference (TREC 2004)
105.The Fourteenth Text REtrieval Conference (TREC 2005)
106.The Fifteenth Text REtrieval Conference (TREC 2006)
107.The Sixteenth Text REtrieval Conference (TREC 2007)
108.The Seventeenth Text REtrieval Conference (TREC 2008)
109.The Eighteenth Text REtrieval Conference (TREC 2009)
110.The Nineteenth Text REtrieval Conference (TREC 2010)
111.The Twentieth Text REtrieval Conference (TREC 2011)
112.The Twenty-First Text REtrieval Conference (TREC 2012)
113.The Twenty-Second Text REtrieval Conference (TREC 2013)
114.The Twenty-Third Text REtrieval Conference (TREC 2014)
115.The Twenty-Fourth Text REtrieval Conference (TREC 2015)
116.The Twenty-Fifth Text REtrieval Conference (TREC 2016)

VI.Physics Education Research Conference Proceedings (PERC Proceedings)
117.2001 PERC Proceedings
118.2002 PERC Proceedings
119.2003 PERC Proceedings
120.2004 PERC Proceedings
121.2005 PERC Proceedings
122.2006 PERC Proceedings
123.2007 PERC Proceedings
124.2008 PERC Proceedings
125.2009 PERC Proceedings
126.2010 PERC Proceedings
127.2011 PERC Proceedings
128.2012 PERC Proceedings
129.2013 PERC Proceedings
130.2014 PERC Proceedings
131.2015 PERC Proceedings
132.2016 PERC Proceedings

VII.The Annual Meeting of the Cognitive Science Society (CogSci)
133.CogSci 2010 Proceedings
134.CogSci 2011 Proceedings
135.CogSci 2012 Proceedings
136.CogSci 2013 Proceedings
137.CogSci 2014 Proceedings
138.CogSci 2015 Proceedings
139.CogSci 2016 Proceedings

VIII.Proceedings of Machine Learning Research
140.Volume 1: Gaussian Processes in Practice, 12-13 June 2006, Bletchley Park, UK
141.Volume 2: Artificial Intelligence and Statistics, 21-24 March 2007, San Juan, Puerto Rico
142.Volume 3: Causation and Prediction Challenge, 3-4 June 2008, Hong Kong
143.Volume 4: New Challenges for Feature Selection in Data Mining and Knowledge Discovery, 15 September 2008, Antwerp, Belgium
144.Volume 5: Artificial Intelligence and Statistics, 16-18 April 2009, Hilton Clearwater Beach Resort, Clearwater Beach, Florida USA
145.Volume 6: Causality: Objectives and Assessment, 12 December 2008, Whistler, Canada
146.Volume 7: KDD-Cup 2009 Competition, 28 June 2009, New York, New York, USA
147.Volume 8: Machine Learning in Systems Biology, 5-6 September 2009, Ljubljana, Slovenia
148.Volume 9: Proceedings of the Thirteenth International Conference on Artificial Intelligence and Statistics, 13-15 May 2010, Chia Laguna Resort, Sardinia, Italy
149.Volume 10: Feature Selection in Data Mining, 21 June 2010, Hyderabad, India
150.Volume 11: Proceedings of the First Workshop on Applications of Pattern Analysis, 1-3 September 2010, Cumberland Lodge, Windsor, UK
151.Volume 12: NIPS Mini-Symposium on Causality in Time Series, 10 December 2009, Vancouver, Canada
152.Volume 13: Proceedings of 2nd Asian Conference on Machine Learning, 8-10 November 2010, Tokyo, Japan
153.Volume 14: Proceedings of the Learning to Rank Challenge, 25 June 2010, Haifa, Israel
154.Volume 15: Proceedings of the Fourteenth International Conference on Artificial Intelligence and Statistics, 11-13 April 2011, Fort Lauderdale, FL, USA
155.Volume 16: Active Learning and Experimental Design workshop In conjunction with AISTATS 2010, 16 May 2010, Sardinia, Italy
156.Volume 17: Proceedings of the Second Workshop on Applications of Pattern Analysis, 19-21 October 2011, CIEM, Castro Urdiales, Spain
157.Volume 18: Proceedings of KDD Cup 2011, 21 August 2011
158.Volume 19: Proceedings of the 24th Annual Conference on Learning Theory, 9-11 June 2011, Budapest, Hungary
159.Volume 20: Asian Conference on Machine Learning, 14-15 November 2011, South Garden Hotels and Resorts, Taoyuan, Taiwain
160.Volume 21: International Conference on Grammatical Inference, 5-8 September 2012, University of Maryland, College Park, MD, USA
161.Volume 22: Artificial Intelligence and Statistics, 21-23 April 2012, La Palma, Canary Islands
162.Volume 23: Conference on Learning Theory, 25-27 June 2012, Edinburgh, Scotland
163.Volume 24: European Workshop on Reinforcement Learning, 30-1 July 2012, Edinburgh, Scotland
164.Volume 25: Asian Conference on Machine Learning, 4-6 November 2012, Singapore Management University, Singapore
165.Volume 26: Proceedings of the Workshop on On-line Trading of Exploration and Exploitation 2, 02 July 2011, Bellevue, Washington, USA
166.Volume 27: Proceedings of ICML Workshop on Unsupervised and Transfer Learning, 02 July 2011, Bellevue, Washington, USA
167.Volume 28: International Conference on Machine Learning, 17-19 June 2013, Atlanta, Georgia, USA
168.Volume 29: Asian Conference on Machine Learning, 13-15 November 2013, Australian National University, Canberra, Australia
169.Volume 30: Conference on Learning Theory, 12-14 June 2013, Princeton, NJ, USA
170.Volume 31: Artificial Intelligence and Statistics, 29-1 May 2013, Scottsdale, Arizona, USA
171.Volume 32: International Conference on Machine Learning, 22-24 June 2014, Bejing, China
172.Volume 33: Artificial Intelligence and Statistics, 22-25 April 2014, Reykjavik, Iceland
173.Volume 34: International Conference on Grammatical Inference, 17-19 September 2014, Kyoto, Japan
174.Volume 35: Conference on Learning Theory, 13-15 June 2014, Barcelona, Spain
175.Volume 36: Proceedings of the 3rd International Workshop on Big Data, Streams and Heterogeneous Source Mining: Algorithms, Systems, Programming Models and Applications, 24 August 2014, New York, New York, USA
176.Volume 37: International Conference on Machine Learning, 7-9 July 2015, Lille, France
177.Volume 38: Artificial Intelligence and Statistics, 9-12 May 2015, San Diego, California, USA
178.Volume 39: Asian Conference on Machine Learning, 26-28 November 2014, Nha Trang City, Vietnam
179.Volume 40: Conference on Learning Theory, 3-6 July 2015, Paris, France
180.Volume 41: Workshop on Big Data, Streams and Heterogeneous Source Mining: Algorithms, Systems, Programming Models and Applications, 10 August 2015
181.Volume 42: NIPS 2014 Workshop on High-energy Physics and Machine Learning, 13 December 2014, Montreal, Canada
182.Volume 43: Machine Learning for Interactive Systems, 11 July 2015, Lille, France
183.Volume 44: Feature Extraction: Modern Questions and Challenges, 11 December 2015, Montreal, Canada
184.Volume 45: Asian Conference on Machine Learning, 20-22 November 2015, Hong Kong
185.Volume 46: Neural Connectomics Workshop, 15 September 2014
186.Volume 47: Statistically Sound Data Mining, 15 September 2014, Nancy, France
187.Volume 48: International Conference on Machine Learning, 20-22 June 2016, New York, New York, USA
188.Volume 49: Conference on Learning Theory, 23-26 June 2016, Columbia University, New York, New York, USA
189.Volume 50: Conference on Predictive APIs and Apps, 6-7 August 2015, Sydney, Australia
190.Volume 51: Artificial Intelligence and Statistics, 9-11 May 2016, Cadiz, Spain
191.Volume 52: Conference on Probabilistic Graphical Models, 6-9 September 2016, Lugano, Switzerland
192.Volume 53: Workshop on Big Data, Streams and Heterogeneous Source Mining: Algorithms, Systems, Programming Models and Applications, 14 August 2016, San Francisco, California, USA

IX.International Speech Communication Association (ISCA)
193.Sixth International Conference on Spoken Language Processing (ICSLP 2000)
194.EUROSPEECH 2001 Scandinavia 7th European Conference on Speech Communication and Technology 2nd INTERSPEECH Event
195.7th International Conference on Spoken Language Processing [INTERSPEECH 2002]
196.8th European Conference on Speech Communication and Technology
197.INTERSPEECH 2004 – ICSLP 8th International Conference on Spoken Language Processing
198.Interspeech’2005 – Eurospeech 9th European Conference on Speech Communication and Technology
199.INTERSPEECH 2006 – ICSLP Ninth International Conference on Spoken Language Processing
200.INTERSPEECH 2007 8th Annual Conference of the International Speech Communication Association
201.INTERSPEECH 2008 9th Annual Conference of the International Speech Communication Association
202.INTERSPEECH 2009 10th Annual Conference of the International Speech Communication Association
203.INTERSPEECH 2010 11th Annual Conference of the International Speech Communication Association
204.INTERSPEECH 2011 12th Annual Conference of the International Speech Communication Association
205.INTERSPEECH 2012 13th Annual Conference of the International Speech Communication Association
206.INTERSPEECH 2013 14th Annual Conference of the International Speech Communication Association
207.INTERSPEECH 2014 15th Annual Conference of the International Speech Communication Association
208.INTERSPEECH 2015 16th Annual Conference of the International Speech Communication Association
209.Interspeech 2016 8-12 Sep 2016, San Francisco

X. CEUR Workshop Proceedings
210.MMLA and Cross-LAK Workshops 2017
211.Information and Communication Technology and its Applications 2016
212.Data Science for Social Good 2016
213.Social Media for Emergency Relief and Preparedness 2017
214.Personalization in Persuasive Technology 2017
215.Artificial Intelligence and Robotics 2016
216.EduSymp and OSS4MDE at MODELS 2016
217.Actas de la Jornada de MOOCs en Español en EMOOCs 2017
218.Young Scientist’s International Workshop on Trends in Information Processing 2017
219.Mathematical and Information Technologies 2016
220.Social Media for Personalization and Search 2017
221.Work in Progress Papers of the Experience and Research Tracks and Position Papers of the Policy Track at EMOOCs 2017
222.Machine Learning and Data Mining for Sports Analytics 2016

XI. European Congress on Computational Methods in Applied Sciences and Engineering (ECCOMAS)
223.European Congress on Computational Methods in Applied Sciences and Engineering, ECCOMAS 2000
224.European Congress on Computational Methods in Applied Sciences and Engineering, ECCOMAS 2004
225.European Congress on Computational Methods in Applied Sciences and Engineering, ECCOMAS 2008
226.European Congress on Computational Methods in Applied Sciences and Engineering, ECCOMAS 2016 : Volume 1
227.European Congress on Computational Methods in Applied Sciences and Engineering, ECCOMAS 2016 : Volume 2
228.European Congress on Computational Methods in Applied Sciences and Engineering, ECCOMAS 2016 : Volume 3
229.European Congress on Computational Methods in Applied Sciences and Engineering, ECCOMAS 2016 : Volume 4

XII. Electronic Proceedings in Theoretical Computer Science
230.Proceedings International Workshop on The Complexity of Simple Programs
231.Proceedings Fourth European Young Researchers Workshop on Service Oriented Computing
232.Proceedings Eleventh International Workshop on Descriptional Complexity of Formal Systems
233.Proceedings Fourth Athens Colloquium on Algorithms and Complexity
234.Proceedings 6th International Workshop on Local Search Techniques in Constraint Satisfaction
235.Proceedings Second International Workshop on Computational Models for Cell Processes
236.Proceedings 7th International Workshop on Security Issues in Concurrency
237.Proceedings 16th International Workshop on Expressiveness in Concurrency
238.Proceedings Fifth Workshop on Developments in Computational Models — Computational Models From Nature
239.Proceedings International Workshop on Verification of Infinite-State Systems
240.Proceedings Third Workshop on Membrane Computing and Biologically Inspired Process Calculi 2009
241.Proceedings 2nd Interaction and Concurrency Experience Structured Interactions
242.Proceedings First Workshop on Quantitative Formal Methods: Theory and Applications
243.Proceedings 8th International Workshop on Parallel and Distributed Methods in verifiCation
244.Proceedings Ninth International Workshop on Reduction Strategies in Rewriting and Programming
245.Proceedings Second Workshop on Formal Aspects of Virtual Organisations
246.Proceedings Second International Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software
247.Proceedings Sixth Workshop on Structural Operational Semantics
248.Proceedings Third Workshop From Biology To Concurrency and back
249.Proceedings FM-09 Workshop on Formal Methods for Aerospace
250.Proceedings Tenth International Workshop on Rule-Based Programming
251.Proceedings First International Workshop on Linearity
252.Proceedings International Workshop on Developments in Implicit Computational complExity
253.Proceedings Seventh International Conference on Computability and Complexity in Analysis
254.Proceedings First Symposium on Games, Automata, Logic, and Formal Verification
255.Proceedings Sixth Workshop on Developments in Computational Models: Causality, Computation, and Physics
256.Proceedings First International Workshop on Decentralized Coordination of Distributed Processes
257.Proceedings Eighth Workshop on Quantitative Aspects of Programming Languages
258.Proceedings First International Workshop on Logics for Component Configuration
259.Proceedings Ninth International Workshop on the Foundations of Coordination Languages and Software Architectures
260.Proceedings Twelfth Annual Workshop on Descriptional Complexity of Formal Systems
261.Proceedings Seventh Workshop on Structural Operational Semantics
262.Proceedings First Workshop on Applications of Membrane computing, Concurrency and Agent-based modelling in POPulation biology
263.Proceedings 5th International Workshop on Logical Frameworks and Meta-languages: Theory and Practice
264.Proceedings Fourth International Workshop on Testing, Analysis and Verification of Web Software
265.Proceedings First International Workshop on Rewriting Techniques for Real-Time Systems
266.Proceedings International Workshop on Component and Service Interoperability
267.Proceedings Third Interaction and Concurrency Experience Guaranteed Interaction
268.Proceedings 12th International Workshop on Verification of Infinite-State Systems
269.Proceedings Fourth Workshop on Membrane Computing and Biologically Inspired Process Calculi 2010
270.Proceedings 17th International Workshop on Expressiveness in Concurrency
271.Proceedings 24th International Workshop on Unification
272.Proceedings Workshop on Partiality and Recursion in Interactive Theorem Provers
273.Proceedings International Workshop on Strategies in Rewriting, Proving, and Programming
274.Proceedings Fifth Workshop on Intersection Types and Related Systems
275.Foundations for Interface Technologies
276.Proceedings Third International Workshop on Classical Logic and Computation
277.Proceedings 6th International Workshop on Computing with Terms and Graphs
278.Proceedings 5th International Workshop on Higher-Order Rewriting
279.Proceedings International Workshop on Interactions, Games and Protocols
280.Proceedings 8th International Workshop on Security Issues in Concurrency
281.Proceedings CSR 2010 Workshop on High Productivity Computations
282.Proceedings Types for Proofs and Programs, Revised Selected Papers
283.Proceedings Second International Symposium on Games, Automata, Logics and Formal Verification
284.Proceedings 15th International Refinement Workshop
285.Proceedings Second International Workshop on Algebraic Methods in Model-based Software Engineering
286.Proceedings Ninth Workshop on Quantitative Aspects of Programming Languages
287.Proceedings 10th International Workshop on the Foundations of Coordination Languages and Software Architectures
288.Proceedings Fourth Interaction and Concurrency Experience
289.Proceedings First International Workshop on Process Algebra and Coordination
290.Proceedings 7th International Workshop on Automated Specification and Verification of Web Systems
291.Proceedings Eight Workshop on Structural Operational Semantics 2011
292.Proceedings 8th International Conference Words 2011
293.Proceedings 18th International Workshop on Expressiveness in Concurrency
294.Proceedings Second Workshop on Logics for Component Configuration
295.Proceedings IFIP Working Conference on Domain-Specific Languages
296.Proceedings Third International Workshop on Computational Models for Cell Processes
297.Proceedings Fifth Workshop on Formal Languages and Analysis of Contract-Oriented Software
298.Proceedings Third Workshop on Programming Language Approaches to Concurrency and communication-cEntric Software
299.Proceedings 10th International Workshop on the ACL2 Theorem Prover and its Applications
300.Proceedings Sixth International Workshop on Logical Frameworks and Meta-languages: Theory and Practice
301.Proceedings 10th International Workshop on Parallel and Distributed Methods in verifiCation
302.Proceedings 13th International Workshop on Verification of Infinite-State Systems
303.Proceedings Fifth Transformation Tool Contest
304.Proceedings Second Workshop on Developments in Implicit Computational Complexity
305.Proceedings Fourth Workshop on Mathematically Structured Functional Programming
306.Proceedings 8th Workshop on Fixed Points in Computer Science
307.Proceedings Second International Workshop on Interactions, Games and Protocols
308.Proceedings First Workshop on CTP Components for Educational Software
309.Proceedings 7th Workshop on Model-Based Testing
310.Proceedings 10th International Workshop on Reduction Strategies in Rewriting and Programming
312.Proceedings Third Workshop on Formal Aspects of Virtual Organisations
313.Proceedings First Workshop on Synthesis
314.Proceedings 10th Workshop on Quantitative Aspects of Programming Languages and Systems
315.Proceedings 2nd Workshop on Formal Methods in the Development of Software
316.Proceedings Fourth Workshop on Foundations of Interface Technologies
317.Proceedings 7th International Workshop on Developments of Computational Methods
318.Proceedings Combined 19th International Workshop on Expressiveness in Concurrency and 9th Workshop on Structured Operational Semantics
319.Proceedings 18th international workshop on Cellular Automata and Discrete Complex Systems and 3rd international symposium Journées Automates Cellulaires
320.Proceedings 11th International Workshop on Foundations of Coordination Languages and Self Adaptation
321.Proceedings First International Workshop on Hybrid Systems and Biology
322.Proceedings Seventh ACCAT Workshop on Applied and Computational Category Theory
323.Proceedings Sixth Workshop on Formal Languages and Analysis of Contract-Oriented Software
324.Proceedings 8th International Workshop on Quantum Physics and Logic
325.Proceedings Third International Symposium on Games, Automata, Logics and Formal Verification
326.Proceedings Fourth Workshop on Classical Logic and Computation
327.Proceedings 8th International Workshop on Automated Specification and Verification of Web Systems
328.Proceedings First Workshop on GRAPH Inspection and Traversal Engineering
329.Proceedings 6th Workshop on Membrane Computing and Biologically Inspired Process Calculi
330.Proceedings 2nd International Workshop on Linearity
331.Proceedings Seventh Conference on Systems Software Verification
332.Proceedings Quantities in Formal Methods
333.Proceedings Fifth Interaction and Concurrency Experience
334.Proceedings First International Workshop on Formal Techniques for Safety-Critical Systems
335.Proceedings First International Workshop on Trends in Functional Programming in Education
336.Proceedings 14th International Workshop on Verification of Infinite-State Systems
337.Proceedings 10th International Workshop on Formal Engineering Approaches to Software Components and Architectures
338.Proceedings Fifth Workshop on Programming Language Approaches to Concurrency- and Communication-cEntric Software
339.Proceedings 7th International Workshop on Computing with Terms and Graphs
340.Proceedings Eighth Workshop on Model-Based Testing
341.Proceedings 1st International Workshop on Strategic Reasoning
342.Proceedings Seventh Workshop on Logical and Semantic Frameworks, with Applications
343.“Proceedings International Workshop on the ACL2 Theorem Prover and its Applications
344.Proceedings 16th International Refinement Workshop
345.Proceedings Fourth International Workshop on Computational Models for Cell Processes
346.Proceedings 11th International Workshop on Quantitative Aspects of Programming Languages and Systems
347.Proceedings 10th International Workshop On User Interfaces for Theorem Provers
348.Proceedings Fourth International Symposium on Games, Automata, Logics and Formal Verification
349.Proceedings Combined 20th International Workshop on Expressiveness in Concurrency and 10th Workshop on Structural Operational Semantics
350.Proceedings Sixth Workshop on Intersection Types and Related Systems
351.Proceedings Fourth International Symposium on Symbolic Computation in Software Science
352.Proceedings 9th International Workshop on Automated Specification and Verification of Web Systems
353.Proceedings Third International Workshop on Hybrid Autonomous Systems
354.Proceedings Second International Workshop on Hybrid Systems and Biology
355.Proceedings Workshop on Fixed Points in Computer Science
356.Proceedings First Workshop on Control Operators and their Semantics
357.Proceedings Machines, Computations and Universality 2013
358.Semantics, Abstract Interpretation, and Reasoning about Programs: Essays Dedicated to David A. Schmidt on the Occasion of his Sixtieth Birthday
359.Wivace 2013 – Italian Workshop on Artificial Life and Evolutionary Computation
360.Proceedings 6th Interaction and Concurrency Experience
361.Proceedings Ninth International Workshop on Foundations of Mobile Computing
362.Proceedings 1st Workshop on Advances in Systems of Systems
363.Proceedings Second International Workshop on Trends in Tree Automata and Tree Transducers
364.Proceedings Sixth Transformation Tool Contest
365.Proceedings Second Workshop on Trends in Functional Programming In Education
366.Proceedings 5th Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software
367.Proceedings 2nd Workshop on GRAPH Inspection and Traversal Engineering
368.Proceedings First Latin American Workshop on Formal Methods
369.Proceedings 15th International Workshop on Verification of Infinite-State Systems
370.Proceedings Ninth Workshop on Model-Based Testing
371.Proceedings Second Workshop on Synthesis
372.Proceedings 8th International Workshop on Developments in Computational Models
373.Proceedings 9th International Workshop on Developments in Computational Models
374.Proceedings 1st International Workshop on Synthesis of Continuous Parameters
375.Proceedings 2nd International Workshop on Strategic Reasoning
376.Proceedings 11th International Workshop on Formal Engineering approaches to Software Components and Architectures
377.Proceedings First International Workshop on Graphical Models for Security
378.Proceedings 1st Workshop on Formal Integrated Development Environment
379.Proceedings Third International Workshop on Engineering Safety and Security Systems
380.Proceedings 14th International Conference on Automata and Formal Languages
381.Proceedings Twelfth International Workshop on the ACL2 Theorem Prover and its Applications
382.Proceedings 5th Workshop on Mathematically Structured Functional Programming
383.Proceedings Twelfth International Workshop on Quantitative Aspects of Programming Languages and Systems
384.Proceedings 7th Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software
385.Proceedings 2nd French Singaporean Workshop on Formal Methods and Applications
386.Proceedings 3rd Workshop on Synthesis
387.Proceedings 9th Workshop on Quantum Physics and Logic
388.Proceedings 3rd Workshop on GRAPH Inspection and Traversal Engineering
389.Proceedings Combined 21st International Workshop on Expressiveness in Concurrency and 11th Workshop on Structural Operational Semantics
390.Proceedings Fifth International Symposium on Games, Automata, Logics and Formal Verification
391.Proceedings Third Workshop on Behavioural Types
392.Proceedings 10th International Workshop on Automated Specification and Verification of Web Systems
393.Proceedings Fifth International Workshop on Classical Logic and Computation
394.Proceedings 2014 International Workshop on Advanced Intrusion Detection and Prevention
395.Proceedings 7th Interaction and Concurrency Experience
396.Proceedings Eleventh Workshop on User Interfaces for Theorem Provers
397.Proceedings First Workshop on Logics and Model-checking for Self-* Systems
398.Proceedings First Workshop on Horn Clauses for Verification and Synthesis
399.Proceedings 3rd International Workshop on Trends in Functional Programming in Education
400.Proceedings of the 10th International Workshop on Quantum Physics and Logic
401.Proceedings of the 11th workshop on Quantum Physics and Logic
402.Proceedings XIV Jornadas sobre Programación y Lenguajes
403.Proceedings 4th Workshop on Hybrid Autonomous Systems
404.Proceedings 13th International Workshop on Foundations of Coordination Languages and Self-Adaptive Systems
405.Proceedings Third International Workshop on Linearity
406.Proceedings Seventh Workshop on Intersection Types and Related Systems
407. Proceedings 12th International Workshop on Formal Engineering approaches to Software Components and Architectures
408.Proceedings Tenth International Workshop on Developments in Computational Models
409.Proceedings Tenth Workshop on Model Based Testing
410.Proceedings Graphs as Models
411.Proceedings 6th Workshop on Formal Methods and Analysis in SPL Engineering
412.Proceedings 8th International Workshop on Computing with Terms and Graphs
413.Proceedings 4th International Workshop on Engineering Safety and Security Systems
414.Proceedings Tenth International Workshop on Logical Frameworks and Meta Languages: Theory and Practice
415.Proceedings Fourth Workshop on Proof eXchange for Theorem Proving
416.Proceedings Second International Workshop on Formal Integrated Development Environment
417.Proceedings 11th International Workshop on Automated Specification and Verification of Web Systems
418.Proceedings 8th Interaction and Concurrency Experience
419.Proceedings of the Combined 22th International Workshop on Expressiveness in Concurrency and 12th Workshop on Structural Operational Semantics
420.Proceedings Tenth International Workshop on Fixed Points in Computer Science
421.Proceedings Thirteenth International Workshop on the ACL2 Theorem Prover and Its Applications
422.Proceedings Sixth International Symposium on Games, Automata, Logics and Formal Verification
423.Proceedings Thirteenth Workshop on Quantitative Aspects of Programming Languages and Systems
424.Proceedings of the 12th International Workshop on Quantum Physics and Logic
445.Proceedings Workshop on Models for Formal Analysis of Real Systems
446.Proceedings First International Workshop on Focusing
447.Proceedings ML Family/OCaml Users and Developers workshops
448.Proceedings of the Third International Workshop on Verification and Program Transformation
449.Proceedings XV Jornadas sobre Programación y Lenguajes
450.Proceedings 14th International Workshop on Foundations of Coordination Languages and Self-Adaptive Systems
451.Proceedings Fourth Workshop on Synthesis
452.Proceedings Eighth International Workshop on Programming Language Approaches to Concurrency- and Communication-cEntric Software
453.Proceedings of the Eleventh International Workshop on Developments in Computational Models
454.Proceedings of the 13th International Workshop on Formal Engineering Approaches to Software Components and Architectures
455.Proceedings 7th International Workshop on Formal Methods and Analysis in Software Product Line Engineering
456.Proceedings 6th Workshop on Mathematically Structured Functional Programming
457.Proceedings First Workshop on Pre- and Post-Deployment Verification Techniques
458.Proceedings 17th International Workshop on Refinement
459.Proceedings First International Workshop on Hammers for Type Theories
460.Proceedings of the Ninth workshop on Programming Language Approaches to Concurrency- and Communication-cEntric Software
461.Proceedings of the Workshop on Continuations
462.Proceedings Sixth International Workshop on Classical Logic and Computation
463.Proceedings of the 7th International Workshop on Physics and Computation
464.Proceedings Fifteenth Conference on Theoretical Aspects of Rationality and Knowledge
465.Proceedings of the Fourth International Workshop on Verification and Program Transformation
466.Proceedings of the Workshop on FORmal methods for the quantitative Evaluation of Collective Adaptive SysTems
467.Proceedings of the 4th International Workshop on Strategic Reasoning
468.Proceedings 3rd Workshop on Horn Clauses for Verification and Synthesis
469.Proceedings Cassting Workshop on Games for the Synthesis of Complex Systems and 3rd International Workshop on Synthesis of Complex Parameters
470.Proceedings of the 2016 Workshop on Semantic Spaces at the Intersection of NLP, Physics and Cognitive Science
471.Proceedings Combined 23rd International Workshop on Expressiveness in Concurrency and 13th Workshop on Structural Operational Semantics
472.Proceedings 9th Interaction and Concurrency Experience
473.Proceedings First Workshop on Causal Reasoning for Embedded and safety-critical Systems Technologies
474.Proceedings 9th International Workshop on Computing with Terms and Graphs
475.Proceedings of the Seventh International Symposium on Games, Automata, Logics and Formal Verification
476.Proceedings 14th International Workshop Quantitative Aspects of Programming Languages and Systems
477.Proceedings of the First International Workshop on Formal Methods for and on the Cloud
478.Proceedings Fifth Workshop on Synthesis
479.Proceedings of the 4th and 5th International Workshop on Trends in Functional Programming in Education
480.Proceedings Second Graphs as Models Workshop
481.Proceedings of the The First Workshop on Verification and Validation of Cyber-Physical Systems
482.Proceedings 11th Doctoral Workshop on Mathematical and Engineering Methods in Computer Science
483.Proceedings 29th and 30th Workshops on (Constraint) Logic Programming and 24th International Workshop on Functional and (Constraint) Logic Programming
484.Proceedings Third International Workshop on Rewriting Techniques for Program Transformations and Evaluation
485.Proceedings 13th International Conference on Quantum Physics and Logic
486.Proceedings XVI Jornadas sobre Programación y Lenguajes
487.Proceedings Fourth International Workshop on Linearity
488.Proceedings of the 12th Workshop on User Interfaces for Theorem Provers
489.Proceedings of the Third Workshop on Formal Integrated Development Environment
490.Proceedings ML Family / OCaml Users and Developers workshops
491.Proceedings Eighth Workshop on Intersection Types and Related Systems
492.Proceedings of the Ninth Workshop on Methods for Modalities
493.Proceedings 2nd Workshop on Models for Formal Analysis of Real Systems
494.Proceedings International Workshop on Formal Engineering approaches to Software Components and Architectures
495.Proceedings Tenth Workshop on Programming Language Approaches to Concurrency- and Communication-cEntric Software
496.Proceedings 3rd International Workshop on Symbolic and Numerical Methods for Reachability Analysis
497.Proceedings 8th Workshop on Developments in Implicit Computational complExity and 5th Workshop on FOundational and Practical Aspects of Resource Analysis
498.Proceedings 14th International Workshop on the ACL2 Theorem Prover and its Applications

XIII. International Institute of Social and Economic Sciences (IISES)
499.Proceedings of the 5th International Academic Conference, Buenos Aires, Argentina
500.Proceedings of the International Interdisciplinary Conference, Venice, Italy
501.Proceedings of the 6th International Academic Conference, Bergen, Norway
502.Proceedings of the 7th International Academic Conference, Prague, Czech Republic
503.Proceedings of the 8th International Academic Conference, Naples, Italy
504.Proceedings of the 9th International Academic Conference, Istanbul
505.Proceedings of the 10th International Academic Conference, Vienna
506.Proceedings of the 11th International Academic Conference, Reykjavik
507.“Proceedings of the 12th International Academic Conference, Prague
508.Proceedings of the 13th International Academic Conference, Antibes
509.Proceedings of the 14th International Academic Conference, Malta
510.Proceedings of the 15th International Academic Conference, Rome
511.Proceedings of the 16th International Academic Conference, Amsterdam
512.Proceedings of the 17th International Academic Conference, Vienna
513.Proceedings of the 18th International Academic Conference, London
514.Proceedings of the 19th International Academic Conference, Florence
515.Proceedings of the 20th International Academic Conference, Madrid
516.Proceedings of the 21st International Academic Conference, Miami
517.Proceedings of the 22nd International Academic Conference, Lisbon
518.Proceedings of the 23rd International Academic Conference, Venice
519.Proceedings of the 24th International Academic Conference, Barcelona
520.Proceedings of the 25th International Academic Conference, OECD Headquarters, Paris
521.Proceedings of the 26th and the 27th International Academic Conference (Istanbul, Prague)
522.Proceedings of the 28th International Academic Conference, Tel Aviv
523.Proceedings of the 29th International Academic Conference, Rome
524.Proceedings of the 30th International Academic Conference, Venice

Stored in Google Drive

1. Prosiding Seminar Teknik Informatika dan Sistem Informasi 2013 (Bandung,6 April 2013) 2. The 4th SEANES International Conference on Human Factors and Ergonomics in South-East Asia (Bandung, 28 November-1 Desember 2016) 3. The 2nd International Conference of Indonesian Society for Remote Sensing 2016 (Yogyakarta, 17-19 Oktober 2016) 4. The 16th Conference on Formal Methods in …

View page »

Leave a Reply

Your email address will not be published.

You may use these HTML tags and attributes: <a href="" title=""> <abbr title=""> <acronym title=""> <b> <blockquote cite=""> <cite> <code> <del datetime=""> <em> <i> <q cite=""> <strike> <strong>