tags to use : barcampbangalore6 and barcampbangalore; follow BCB6 Twitter Updates

From BarcampBangalore

[edit] About the Collective

This is a sub-collective for all the geeks who are passionate about design and evolution of programming languages. So if you are into this business or if it is you hobby, this forum is for you all. Lets all discuss our ideas of current languages, how we can enrich them with more libraries or is there any new way of profiling or what makes languages and what is the math behind them. Its a place to share all. We can discuss about how can contribute for language development and compilers by Bangalore community and simultaneously learn more about them.

[edit] Collective Coordinators

Please feel free to give me suggestion to make this collective a success and fruitful for all of us. I took up as the coordinator, so any one else wants to be the coordinator can also tell me.

1. Shakti Prasad Misra (shakti.pr.misra [at] gmail.com) I am in bangalore.
2. Suman (suman.karumuri [at] gmail.com)

[edit] Topics you'd like to hear about

[edit] Proposed Sessions

Please add your sessions to this list here:

1. A brief introduction to theory of language design. - "Shakti Misra" : This will give introduction and what is theory of language design.
2. Designing and implementing your dream language? - "Suman Karumuri" : I have designed a language called NPL for visualising software. In this talk I will present my experiences on designing and implementing NPL.
3. Parallel and concurrent language design. - "Kallol Borah" : This will be regarding the design of parallel and concurrent language.
4. Formal verification - "Srikanth Mujjiga" : Formal verification is the act of proving or disproving the correctness of algorithms used in a system with respect to a certain formal specification or property, using formal methods of mathematics. Proof checker, automatic theorm proving etc comes under it. Srikanth will be giving the session on compiled code verification or software model checking.

[edit] Collective Registration

Registrations have been closed and you if you have registered you can find your name here

Others who wish to attend this collective please go to the homepage and add your name on the waiting list! We hope you will get lucky by saturday!

[edit] Schedule

Schedule will be kind of ad-hoc. There won't be any compulsion. We will have discussions, talks. Talks will be first come basics, or any thing that all of us decide on that day it self. 28th will be the day we all will devote to this collective. Next day I guess we can participate in other collectives. If we have some more discussion for 29th we will schedule it that day it self.

28th 9-10 AM we will start off. 28th 4-6 We will conclude.

[edit] Resources Required

1. Computer
2. Projector
3. Mic

[edit] Thoughts

[edit] Suggestions

If you have any suggestions you can either directly email him or add them to the following list: Just write a mail to me (Shakti) shakti[dot]pr[dot]misra[at]gmail[dot]com